COMP4630: λ-calculus
|
|
- Lesley Hudson
- 5 years ago
- Views:
Transcription
1 COMP4630: λ-calculus 4. Standardsaton Mcael Norrs Canberra Researc Lab., NICTA Semester 2, 2015
2 Last Tme Confluence Te property tat dvergent evaluatons can rejon one anoter Proof Damond propertes Uses parallel reducton (= β ); and Many nductons Consequences Soundness of λ (Wt an analogous proof) Soundness of λη Incompleteness of λ (See end of lecture 2)
3 Today Introducton Head Reducton Weak Head Reducton Te Proof Falng Approaces Te Rgt Approac Consequences Concluson
4 Objectve From last tme, we know tat a term M as at most one normal form. Unfortunately, we also know tat not all evaluaton strateges wll lead to tat normal form. Ts s not nconsstent wt confluence. Wy? Introducton 4/27
5 Evaluaton Strateges An evaluaton strategy s bascally a way of answerng te queston: Were (.e., n wc sub-term) sould I do my next reducton? Or: Were sould I do te next bt of work? Some languages (e.g., Java) do not allow for coces to be made at all. Tey specfy a precse evaluaton order. Wy would tey do tat? Introducton 5/27
6 Evaluaton Strategy #1: Applcatve Order Evaluate everytng from te bottom up. I.e., n (λv. M) N work wll start wt M, passng to N and performng te top-level β-reducton last A functon s arguments (and te functon tself) wll be evaluated before te argument s passed to te functon. Also known as strct evaluaton. (Used n Fortran, C, Pascal, Ada, SML, Java... ) Causes (λx. y) Ω to go nto an nfnte loop. Introducton 6/27
7 Evaluaton Strategy #2: Normal Order Evaluate top-down, left-to-rgt. Wt (λv. M) N, start by performng te β-reducton, producng M[v := N] Fnd te top-most, left-most β-redex and reduce t. Keep gong Ts strategy s bend te lazy evaluaton of languages lke Haskell. Normal order evaluaton wll always termnate wt a normal form f a term as one. (Proof to come... ) Introducton 7/27
8 Evaluaton Strategy Trade-offs An evaluaton strategy mgt 1. be guaranteed to fnd normal forms; or 2. am to perform te least number of β-reductons Naïvely, normal order reducton does 1; applcatve order sort of aceves 2, but gves up on 1 (In fact, optmal reducton s very dffcult to get rgt.) Introducton 8/27
9 Provng Normal Order Evaluaton Our focus s n sowng tat normal order evaluaton s guaranteed to fnd normal forms. (Tat s wy t s called normal order... ) Here are te rules: (λv. M) N n M[v := N] M n M (λv. M) n (λv. M ) M n M M not an abstracton M N n M N N n N M not an abstracton M n β-nf M N n M N Introducton 9/27
10 Head Reducton We can dvde normal order reducton nto two dfferent sorts of reducton. Frst, normal order reducton: (λv. M) N n M[v := N] M n M (λv. M) n (λv. M ) M n M M not an abstracton M N n M N N n N M not an abstracton M n β-nf M N n M N Head Reducton 10/27
11 Head Reducton We can dvde normal order reducton nto two dfferent sorts of reducton. Ten, ead reducton: (λv. M) N M[v := N] M M (λv. M) (λv. M ) M M M not an abstracton M N M N N N M not an abstracton M n β-nf M N M N Wen ead reducng, you never reduce to te rgt of an applcaton Head Reducton 10/27
12 Hence, Head Normal Forms Head Normal Form s a reasonable stoppng place. Rules agan: (λv. M) N M[v := N] M M (λv. M) (λv. M ) Examples: v s n nf (λv. v) s n nf M M M not an abstracton M N M N (λv w. v (λu. M) N) s n nf (λu w z. v ((λu. M) N)) s n nf Head Reducton 11/27
13 Head Normal Forms, Generally If term M s n nf, ten t wll look lke: (λ v. u M 1 M n ) Te vector v may be empty, u may be free or bound, and te number of extra arguments, n, may be 0. Once a term s n nf, ts top-level structure can t cange. Head Reducton 12/27
14 After Head Reductons Once a term s n nf, ts top-level structure can t cange. Any furter reductons (of any sort) nsde wll be reductons wtn an M. (λ v. u M 1 M n ) Eac argument wll evolve ndependently, and te number of arguments can t cange. Tese are nternal reductons. If te term s (λ v. (λu. M) N 1 N 2... ) (not n nf) and M reduces, ten tat s an nternal reducton too All reductons are eter ead or nternal Head Reducton 13/27
15 Normal Order Reducton Splts n Two Te last rule of normal order reducton (wc we deleted to get ead reducton): N n N M not an abstracton M n β-nf M N n M N If M n N, and te reductons aren t all ead, ten tere must be a frst ead normal form P, suc tat M P N We want to sow te same sort of splt for arbtrary β-reducton ( β ) Head Reducton 14/27
16 Interlude: Weak Head Reducton Tanks to: M M (λv. M) (λv. M ) ead reducton proceeds nsde functon bodes. If you take ts rule out, you get weak ead reducton. Weak ead normal forms are ead normal forms, or abstractons. Weak ead reducton s used n mplementatons of functonal programmng languages. Head Reducton Weak Head Reducton 15/27
17 Basc Strategy We want to know tat, f by some pat: M β N wt N a normal form, ten normal order reducton wll take M to N too. Wll do ts by sowng a more general result. Tat for any N, f M β N, ten tere exsts a P suc tat M P N Te Proof 16/27
18 We Want to Commute Steps If we ad M N P Te Proof Falng Approaces 17/27
19 We Want to Commute Steps If we ad M N N P we d lke to know tat tere was a N tat we could get to va ead reducton, and from wc we could make nternal reductons to get to P Te Proof Falng Approaces 17/27
20 We Want to Commute Steps If we ad M N N P we d lke to know tat tere was a N tat we could get to va ead reducton, and from wc we could make nternal reductons to get to P (maybe wt multple steps?). Te Proof Falng Approaces 17/27
21 We Want to Commute Steps If we ad M N N P we d lke to know tat tere was a N tat we could get to va ead reducton, and from wc we could make nternal reductons to get to P (maybe wt multple steps?). Maybe ts would allow ead and nternal steps to be bubble-sorted so tat all ead steps came frst. Te Proof Falng Approaces 17/27
22 But Drect Commutng s Hard Commutng does requre multple steps: (λx. f x x) ((λy. y z) u) (λx. f x x) (u z) f ((λy. y z) u) ((λy. y z) u) f (u z) (u z) f (u z) ((λy. y z) u) f ((λy. y z) u) (u z) f (u z) (u z) f (u z) (u z) Ts example requres multple (2) nternal reductons. Te Proof Falng Approaces 18/27
23 But Drect Commutng s Hard Commutng does requre multple steps: (λu. (λv. v u z) f) N (λu. f u z) N (λv. v N z) f f N z f N z Ts example requres multple ead reductons (and no nternals). Te Proof Falng Approaces 18/27
24 Commutng wt Multple Steps Isn t Good Enoug Ts s a teorem: But t s not good enoug. M N P = N. M N P Our examples sow us tat we can ave 2 2 Te Proof Falng Approaces 19/27
25 Te Bubble-Sort Tat Never Ends Our examples sow us tat we can ave 2 2 Start wt a reducton sequence : Ts s not progress: we stll ave two ead reductons tat aven t been sorted to te start of te sequence. Te Proof Falng Approaces 20/27
26 A Better Lemma Toug commutng nternal and ead reductons can result n multple nternal reductons, te latter are all parallel (wrte So, prove nstead: = ). M P N If a nternal parallel reducton s followed by a ead reducton, Te Proof Te Rgt Approac 21/27
27 A Better Lemma Toug commutng nternal and ead reductons can result n multple nternal reductons, te latter are all parallel (wrte So, prove nstead: = ). M P P N If a nternal parallel reducton s followed by a ead reducton, tere s an alternatve route were ead reductons come frst, and tere s one nternal parallel reducton afterwards. Te Proof Te Rgt Approac 21/27
28 Proof n More Detal Have M = P N As P ead-reduces t s (λ v. (λu. P 0 ) P 1 P 2 P n ), wt n 1 And M s of form (λ v. (λu. M 0 ) M 1 M 2 M n ), wt M = β P Te Proof Te Rgt Approac 22/27
29 Proof n More Detal Have M = P N As P ead-reduces t s (λ v. (λu. P 0 ) P 1 P 2 P n ), wt n 1 And M s of form (λ v. (λu. M 0 ) M 1 M 2 M n ), wt M = β P So M (λ v. M 0 [u := M 1 ] M 2 M n ) Te Proof Te Rgt Approac 22/27
30 Proof n More Detal Have M = P N As P ead-reduces t s (λ v. (λu. P 0 ) P 1 P 2 P n ), wt n 1 And M s of form (λ v. (λu. M 0 ) M 1 M 2 M n ), wt M = β P So M Last transton s = β, not at top level, makng t ead. (λ v. M 0 [u := M 1 ] M 2 M n ) = β N = because M 0 s reducton may be A lttle more work s stll requred (decomposng = β nto ead and nternal parts). Te Proof Te Rgt Approac 22/27
31 Te Last Bg Lemma If M = β N, ten tere are M suc tat M M 1 M 2 M n = N and eac M = β N Ts gves: P M β N Te Proof Te Rgt Approac 23/27
32 Puttng te Lemmas Togeter Provng: M β N = P. M P Have M β N, and so also M = β N. (Base case of zero steps trval.) N Te Proof Te Rgt Approac 24/27
33 Puttng te Lemmas Togeter Provng: M β N = P. M P Have M β N, and so also M = β N. So, assume M = β M = β N. N Te Proof Te Rgt Approac 24/27
34 Puttng te Lemmas Togeter Provng: M β N = P. M P Have M β N, and so also M = β N. So, assume M = β M = β N. By Last Bg Lemma, also ave P 1 s.t. M N P 1 = M Te Proof Te Rgt Approac 24/27
35 Puttng te Lemmas Togeter Provng: M β N = P. M P Have M β N, and so also M = β N. So, assume M = β M = β N. By Last Bg Lemma, also ave P 1 s.t. M By nductve ypotess, ave P 2 s.t. M I.e., M P 1 = M P 2 N P 1 = M P 2 N N Te Proof Te Rgt Approac 24/27
36 Puttng te Lemmas Togeter Provng: M β N = P. M P Have M β N, and so also M = β N. So, assume M = β M = β N. By Last Bg Lemma, also ave P 1 s.t. M By nductve ypotess, ave P 2 s.t. M I.e., M P 1 = M P 2 N P 1 = M P 2 N N Now, we can bubble ead reductons after M up over te usng te Better Lemma. =, Te Proof Te Rgt Approac 24/27
37 Consequences: Standardsaton Have sown: M β N = P. M P N It s obvously possble to order te nternal reductons so tat tey occur left-to-rgt. By nducton. Te nternal terms wtn N are all smaller tan N tself, so te nternal reductons wtn eac N can temselves be sorted approprately. Gves Standardsaton: If M β N s possble, ten N can be reaced from M n a standard way (dong reductons n left to rgt order) Te Proof Consequences 25/27
38 Consequences: Normal Order Evaluaton Works Recall tat normal order evaluaton s a standard evaluaton strategy tat does all possble reductons. Te Proof Consequences 26/27
39 Consequences: Normal Order Evaluaton Works Recall tat normal order evaluaton s a standard evaluaton strategy tat does all possble reductons. If M can reduce to N, a β-normal form, ten tere s a standard reducton tat does te same. Te Proof Consequences 26/27
40 Consequences: Normal Order Evaluaton Works Recall tat normal order evaluaton s a standard evaluaton strategy tat does all possble reductons. If M can reduce to N, a β-normal form, ten tere s a standard reducton tat does te same. If a standard reducton termnates n a β-normal form, t as done all possble reductons. Te Proof Consequences 26/27
41 Consequences: Normal Order Evaluaton Works Recall tat normal order evaluaton s a standard evaluaton strategy tat does all possble reductons. If M can reduce to N, a β-normal form, ten tere s a standard reducton tat does te same. If a standard reducton termnates n a β-normal form, t as done all possble reductons. And so tat standard reducton was a normal order reducton. Te Proof Consequences 26/27
42 Consequences: Normal Order Evaluaton Works Recall tat normal order evaluaton s a standard evaluaton strategy tat does all possble reductons. If M can reduce to N, a β-normal form, ten tere s a standard reducton tat does te same. If a standard reducton termnates n a β-normal form, t as done all possble reductons. And so tat standard reducton was a normal order reducton. So, normal order evaluaton fnds normal forms f tey exst. Te Proof Consequences 26/27
43 Summary An nvolved proof. Lesson #1: Te λ-calculus s a plausble programmng language tere s an algortm for turnng λ-terms nto values (wen tose terms ave values at all) Lesson #2: Evaluaton Orders are a Desgn Queston Do you want to guarantee as muc termnaton as possble? Use normal order Or, do you want more speed, and unnecessary non-termnatons? Use applcatve order (lke C, Java etc) Next tme: addng plausblty. Numbers, Pars and Lsts for te λ-calculus. Concluson 27/27
Stanford University CS254: Computational Complexity Notes 7 Luca Trevisan January 29, Notes for Lecture 7
Stanford Unversty CS54: Computatonal Complexty Notes 7 Luca Trevsan January 9, 014 Notes for Lecture 7 1 Approxmate Countng wt an N oracle We complete te proof of te followng result: Teorem 1 For every
More informationCOMP6463: λ-calculus
COMP6463: λ-calculus 1. Basics Michael Norrish Michael.Norrish@nicta.com.au Canberra Research Lab., NICTA Semester 2, 2015 Outline Introduction Lambda Calculus Terms Alpha Equivalence Substitution Dynamics
More informationOn Pfaff s solution of the Pfaff problem
Zur Pfaff scen Lösung des Pfaff scen Probles Mat. Ann. 7 (880) 53-530. On Pfaff s soluton of te Pfaff proble By A. MAYER n Lepzg Translated by D. H. Delpenc Te way tat Pfaff adopted for te ntegraton of
More informationLECTURE 5: FIBRATIONS AND HOMOTOPY FIBERS
LECTURE 5: FIBRATIONS AND HOMOTOPY FIBERS In ts lecture we wll ntroduce two mortant classes of mas of saces, namely te Hurewcz fbratons and te more general Serre fbratons, wc are bot obtaned by mosng certan
More informationNUMERICAL DIFFERENTIATION. James T. Smith San Francisco State University. In calculus classes, you compute derivatives algebraically: for example,
NUMERICAL DIFFERENTIATION James T Smit San Francisco State University In calculus classes, you compute derivatives algebraically: for example, f( x) = x + x f ( x) = x x Tis tecnique requires your knowing
More informationMVT and Rolle s Theorem
AP Calculus CHAPTER 4 WORKSHEET APPLICATIONS OF DIFFERENTIATION MVT and Rolle s Teorem Name Seat # Date UNLESS INDICATED, DO NOT USE YOUR CALCULATOR FOR ANY OF THESE QUESTIONS In problems 1 and, state
More informationMultigrid Methods and Applications in CFD
Multgrd Metods and Applcatons n CFD Mcael Wurst 0 May 009 Contents Introducton Typcal desgn of CFD solvers 3 Basc metods and ter propertes for solvng lnear systems of equatons 4 Geometrc Multgrd 3 5 Algebrac
More informationMultivariate Ratio Estimator of the Population Total under Stratified Random Sampling
Open Journal of Statstcs, 0,, 300-304 ttp://dx.do.org/0.436/ojs.0.3036 Publsed Onlne July 0 (ttp://www.scrp.org/journal/ojs) Multvarate Rato Estmator of te Populaton Total under Stratfed Random Samplng
More informationREVIEW LAB ANSWER KEY
REVIEW LAB ANSWER KEY. Witout using SN, find te derivative of eac of te following (you do not need to simplify your answers): a. f x 3x 3 5x x 6 f x 3 3x 5 x 0 b. g x 4 x x x notice te trick ere! x x g
More informationY = X + " E [X 0 "] = 0 K E ["" 0 ] = = 2 I N : 2. So, you get an estimated parameter vector ^ OLS = (X 0 X) 1 X 0 Y:
1 Ecent OLS 1. Consder te model Y = X + " E [X 0 "] = 0 K E ["" 0 ] = = 2 I N : Ts s OLS appyland! OLS s BLUE ere. 2. So, you get an estmated parameter vector ^ OLS = (X 0 X) 1 X 0 Y: 3. You know tat t
More informationPreface. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.
Preface Here are my online notes for my course tat I teac ere at Lamar University. Despite te fact tat tese are my class notes, tey sould be accessible to anyone wanting to learn or needing a refreser
More information3.4 Worksheet: Proof of the Chain Rule NAME
Mat 1170 3.4 Workseet: Proof of te Cain Rule NAME Te Cain Rule So far we are able to differentiate all types of functions. For example: polynomials, rational, root, and trigonometric functions. We are
More information2.3 Product and Quotient Rules
.3. PRODUCT AND QUOTIENT RULES 75.3 Product and Quotient Rules.3.1 Product rule Suppose tat f and g are two di erentiable functions. Ten ( g (x)) 0 = f 0 (x) g (x) + g 0 (x) See.3.5 on page 77 for a proof.
More informationTR/95 February Splines G. H. BEHFOROOZ* & N. PAPAMICHAEL
TR/9 February 980 End Condtons for Interpolatory Quntc Splnes by G. H. BEHFOROOZ* & N. PAPAMICHAEL *Present address: Dept of Matematcs Unversty of Tabrz Tabrz Iran. W9609 A B S T R A C T Accurate end condtons
More informationTHE IDEA OF DIFFERENTIABILITY FOR FUNCTIONS OF SEVERAL VARIABLES Math 225
THE IDEA OF DIFFERENTIABILITY FOR FUNCTIONS OF SEVERAL VARIABLES Mat 225 As we ave seen, te definition of derivative for a Mat 111 function g : R R and for acurveγ : R E n are te same, except for interpretation:
More informationPubH 7405: REGRESSION ANALYSIS. SLR: INFERENCES, Part II
PubH 7405: REGRESSION ANALSIS SLR: INFERENCES, Part II We cover te topc of nference n two sessons; te frst sesson focused on nferences concernng te slope and te ntercept; ts s a contnuaton on estmatng
More informationEfficient algorithms for for clone items detection
Efficient algoritms for for clone items detection Raoul Medina, Caroline Noyer, and Olivier Raynaud Raoul Medina, Caroline Noyer and Olivier Raynaud LIMOS - Université Blaise Pascal, Campus universitaire
More informationCompetitive Experimentation and Private Information
Compettve Expermentaton an Prvate Informaton Guseppe Moscarn an Francesco Squntan Omtte Analyss not Submtte for Publcaton Dervatons for te Gamma-Exponental Moel Dervaton of expecte azar rates. By Bayes
More informationf a h f a h h lim lim
Te Derivative Te derivative of a function f at a (denoted f a) is f a if tis it exists. An alternative way of defining f a is f a x a fa fa fx fa x a Note tat te tangent line to te grap of f at te point
More information1 The concept of limits (p.217 p.229, p.242 p.249, p.255 p.256) 1.1 Limits Consider the function determined by the formula 3. x since at this point
MA00 Capter 6 Calculus and Basic Linear Algebra I Limits, Continuity and Differentiability Te concept of its (p.7 p.9, p.4 p.49, p.55 p.56). Limits Consider te function determined by te formula f Note
More informationExercises for numerical differentiation. Øyvind Ryan
Exercises for numerical differentiation Øyvind Ryan February 25, 2013 1. Mark eac of te following statements as true or false. a. Wen we use te approximation f (a) (f (a +) f (a))/ on a computer, we can
More informationDifferentiation in higher dimensions
Capter 2 Differentiation in iger dimensions 2.1 Te Total Derivative Recall tat if f : R R is a 1-variable function, and a R, we say tat f is differentiable at x = a if and only if te ratio f(a+) f(a) tends
More informationCopyright c 2008 Kevin Long
Lecture 4 Numerical solution of initial value problems Te metods you ve learned so far ave obtained closed-form solutions to initial value problems. A closedform solution is an explicit algebriac formula
More informationLecture XVII. Abstract We introduce the concept of directional derivative of a scalar function and discuss its relation with the gradient operator.
Lecture XVII Abstract We introduce te concept of directional derivative of a scalar function and discuss its relation wit te gradient operator. Directional derivative and gradient Te directional derivative
More informationA PROOF OF THE STANDARD REDUCTION THEOREM IN THE LAMBDA CALCULUS
A PROOF OF THE STANDARD REDUCTION THEOREM IN THE LAMBDA CALCULUS WILLIAM RICHTER ABSTRACT. Fellesen s Standard Reducton Theorem for the λ v Calculus yelds an algorthm that models the Scheme nterpreter.
More informationDifferential Calculus (The basics) Prepared by Mr. C. Hull
Differential Calculus Te basics) A : Limits In tis work on limits, we will deal only wit functions i.e. tose relationsips in wic an input variable ) defines a unique output variable y). Wen we work wit
More informationTalk at ANZMC Ã ICIAM. Categorical and Combinatorial Aspects of Descent Theory
Talk at ANZMC Ã CAM Ross Street 11am 11 July 2003 UTS Rm UB112 egorcal and Combnatoral Aspects of Descent Teory Descent Teory =.. Teory of Stacks An n-stack s a weak morpsm from a weak n-category to te
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
More informationPrecalculus Test 2 Practice Questions Page 1. Note: You can expect other types of questions on the test than the ones presented here!
Precalculus Test 2 Practice Questions Page Note: You can expect oter types of questions on te test tan te ones presented ere! Questions Example. Find te vertex of te quadratic f(x) = 4x 2 x. Example 2.
More informationHow to Find the Derivative of a Function: Calculus 1
Introduction How to Find te Derivative of a Function: Calculus 1 Calculus is not an easy matematics course Te fact tat you ave enrolled in suc a difficult subject indicates tat you are interested in te
More informationLab 6 Derivatives and Mutant Bacteria
Lab 6 Derivatives and Mutant Bacteria Date: September 27, 20 Assignment Due Date: October 4, 20 Goal: In tis lab you will furter explore te concept of a derivative using R. You will use your knowledge
More informationLinear discriminants. Nuno Vasconcelos ECE Department, UCSD
Lnear dscrmnants Nuno Vasconcelos ECE Department UCSD Classfcaton a classfcaton problem as to tpes of varables e.g. X - vector of observatons features n te orld Y - state class of te orld X R 2 fever blood
More information232 Calculus and Structures
3 Calculus and Structures CHAPTER 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS FOR EVALUATING BEAMS Calculus and Structures 33 Copyrigt Capter 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS 17.1 THE
More informationThe derivative function
Roberto s Notes on Differential Calculus Capter : Definition of derivative Section Te derivative function Wat you need to know already: f is at a point on its grap and ow to compute it. Wat te derivative
More informationOptimal Slack-Driven Block Shaping Algorithm in Fixed-Outline Floorplanning
Optmal Slack-Drven Block Sapng Algortm n Fxed-Outlne Floorplannng Jackey Z. Yan Placement Tec. Group Cadence Desgn Systems San Jose, CA 95134, U.S.A. Crs Cu Department of ECE Iowa State Unversty Ames,
More informationLecture 10: May 6, 2013
TTIC/CMSC 31150 Mathematcal Toolkt Sprng 013 Madhur Tulsan Lecture 10: May 6, 013 Scrbe: Wenje Luo In today s lecture, we manly talked about random walk on graphs and ntroduce the concept of graph expander,
More informationContinuity and Differentiability Worksheet
Continuity and Differentiability Workseet (Be sure tat you can also do te grapical eercises from te tet- Tese were not included below! Typical problems are like problems -3, p. 6; -3, p. 7; 33-34, p. 7;
More informationTHE CARTIER ISOMORPHISM. These are the detailed notes for a talk I gave at the Kleine AG 1 in April Frobenius
THE CARTIER ISOMORPHISM LARS KINDLER Tese are te detaled notes for a talk I gave at te Klene AG 1 n Aprl 2010. 1. Frobenus Defnton 1.1. Let f : S be a morpsm of scemes and p a prme. We say tat S s of caracterstc
More information5.1 We will begin this section with the definition of a rational expression. We
Basic Properties and Reducing to Lowest Terms 5.1 We will begin tis section wit te definition of a rational epression. We will ten state te two basic properties associated wit rational epressions and go
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More information2.11 That s So Derivative
2.11 Tat s So Derivative Introduction to Differential Calculus Just as one defines instantaneous velocity in terms of average velocity, we now define te instantaneous rate of cange of a function at a point
More informationSolution. Solution. f (x) = (cos x)2 cos(2x) 2 sin(2x) 2 cos x ( sin x) (cos x) 4. f (π/4) = ( 2/2) ( 2/2) ( 2/2) ( 2/2) 4.
December 09, 20 Calculus PracticeTest s Name: (4 points) Find te absolute extrema of f(x) = x 3 0 on te interval [0, 4] Te derivative of f(x) is f (x) = 3x 2, wic is zero only at x = 0 Tus we only need
More informationPre-Calculus Review Preemptive Strike
Pre-Calculus Review Preemptive Strike Attaced are some notes and one assignment wit tree parts. Tese are due on te day tat we start te pre-calculus review. I strongly suggest reading troug te notes torougly
More informationShuai Dong. Isaac Newton. Gottfried Leibniz
Computatonal pyscs Sua Dong Isaac Newton Gottred Lebnz Numercal calculus poston dervatve ntegral v velocty dervatve ntegral a acceleraton Numercal calculus Numercal derentaton Numercal ntegraton Roots
More informationPoisson Equation in Sobolev Spaces
Poisson Equation in Sobolev Spaces OcMountain Dayligt Time. 6, 011 Today we discuss te Poisson equation in Sobolev spaces. It s existence, uniqueness, and regularity. Weak Solution. u = f in, u = g on
More information7.1 Using Antiderivatives to find Area
7.1 Using Antiderivatives to find Area Introduction finding te area under te grap of a nonnegative, continuous function f In tis section a formula is obtained for finding te area of te region bounded between
More informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
More informationlecture 26: Richardson extrapolation
43 lecture 26: Ricardson extrapolation 35 Ricardson extrapolation, Romberg integration Trougout numerical analysis, one encounters procedures tat apply some simple approximation (eg, linear interpolation)
More informationContinuity. Example 1
Continuity MATH 1003 Calculus and Linear Algebra (Lecture 13.5) Maoseng Xiong Department of Matematics, HKUST A function f : (a, b) R is continuous at a point c (a, b) if 1. x c f (x) exists, 2. f (c)
More informationCalculus I Homework: The Derivative as a Function Page 1
Calculus I Homework: Te Derivative as a Function Page 1 Example (2.9.16) Make a careful sketc of te grap of f(x) = sin x and below it sketc te grap of f (x). Try to guess te formula of f (x) from its grap.
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationMaterial for Difference Quotient
Material for Difference Quotient Prepared by Stepanie Quintal, graduate student and Marvin Stick, professor Dept. of Matematical Sciences, UMass Lowell Summer 05 Preface Te following difference quotient
More information5 The Laplace Equation in a convex polygon
5 Te Laplace Equaton n a convex polygon Te most mportant ellptc PDEs are te Laplace, te modfed Helmoltz and te Helmoltz equatons. Te Laplace equaton s u xx + u yy =. (5.) Te real and magnary parts of an
More information3. Using your answers to the two previous questions, evaluate the Mratio
MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF MECHANICAL ENGINEERING CAMBRIDGE, MASSACHUSETTS 0219 2.002 MECHANICS AND MATERIALS II HOMEWORK NO. 4 Distributed: Friday, April 2, 2004 Due: Friday,
More information, rst we solve te PDE's L ad L ad n g g (x) = ; = ; ; ; n () (x) = () Ten, we nd te uncton (x), te lnearzng eedbac and coordnates transormaton are gve
Freedom n Coordnates Transormaton or Exact Lnearzaton and ts Applcaton to Transent Beavor Improvement Kenj Fujmoto and Tosaru Suge Dvson o Appled Systems Scence, Kyoto Unversty, Uj, Kyoto, Japan suge@robotuassyoto-uacjp
More informationNumerical Differentiation
Numerical Differentiation Finite Difference Formulas for te first derivative (Using Taylor Expansion tecnique) (section 8.3.) Suppose tat f() = g() is a function of te variable, and tat as 0 te function
More informationGraviton Induced Nuclear Fission through Electromagnetic Wave Flux Phil Russell, * Jerry Montgomery
Graviton Induced Nuclear Fission troug Electromagnetic Wave Flux Pil Russell, * Jerry Montgomery Nort Carolina Central University, Duram, NC 27707 Willowstick Tecnologies LLC, Draper, UT 84020 (Dated:
More informationMA119-A Applied Calculus for Business Fall Homework 4 Solutions Due 9/29/ :30AM
MA9-A Applied Calculus for Business 006 Fall Homework Solutions Due 9/9/006 0:0AM. #0 Find te it 5 0 + +.. #8 Find te it. #6 Find te it 5 0 + + = (0) 5 0 (0) + (0) + =.!! r + +. r s r + + = () + 0 () +
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationIntroduction to Derivatives
Introduction to Derivatives 5-Minute Review: Instantaneous Rates and Tangent Slope Recall te analogy tat we developed earlier First we saw tat te secant slope of te line troug te two points (a, f (a))
More informationLecture 4: Universal Hash Functions/Streaming Cont d
CSE 5: Desgn and Analyss of Algorthms I Sprng 06 Lecture 4: Unversal Hash Functons/Streamng Cont d Lecturer: Shayan Oves Gharan Aprl 6th Scrbe: Jacob Schreber Dsclamer: These notes have not been subjected
More information3.1 Extreme Values of a Function
.1 Etreme Values of a Function Section.1 Notes Page 1 One application of te derivative is finding minimum and maimum values off a grap. In precalculus we were only able to do tis wit quadratics by find
More informationThe Krewe of Caesar Problem. David Gurney. Southeastern Louisiana University. SLU 10541, 500 Western Avenue. Hammond, LA
Te Krewe of Caesar Problem David Gurney Souteastern Louisiana University SLU 10541, 500 Western Avenue Hammond, LA 7040 June 19, 00 Krewe of Caesar 1 ABSTRACT Tis paper provides an alternative to te usual
More informationMath 212-Lecture 9. For a single-variable function z = f(x), the derivative is f (x) = lim h 0
3.4: Partial Derivatives Definition Mat 22-Lecture 9 For a single-variable function z = f(x), te derivative is f (x) = lim 0 f(x+) f(x). For a function z = f(x, y) of two variables, to define te derivatives,
More informationIranian Journal of Mathematical Chemistry, Vol. 5, No.2, November 2014, pp
Iranan Journal of Matematcal Cemstry, Vol. 5, No.2, November 204, pp. 85 90 IJMC Altan dervatves of a grap I. GUTMAN (COMMUNICATED BY ALI REZA ASHRAFI) Faculty of Scence, Unversty of Kragujevac, P. O.
More informationMath 1210 Midterm 1 January 31st, 2014
Mat 110 Midterm 1 January 1st, 01 Tis exam consists of sections, A and B. Section A is conceptual, wereas section B is more computational. Te value of every question is indicated at te beginning of it.
More informationFunction Composition and Chain Rules
Function Composition and s James K. Peterson Department of Biological Sciences and Department of Matematical Sciences Clemson University Marc 8, 2017 Outline 1 Function Composition and Continuity 2 Function
More informationNot-for-Publication Appendix to Optimal Asymptotic Least Aquares Estimation in a Singular Set-up
Not-for-Publcaton Aendx to Otmal Asymtotc Least Aquares Estmaton n a Sngular Set-u Antono Dez de los Ros Bank of Canada dezbankofcanada.ca December 214 A Proof of Proostons A.1 Proof of Prooston 1 Ts roof
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationHomework 9 Solutions. 1. (Exercises from the book, 6 th edition, 6.6, 1-3.) Determine the number of distinct orderings of the letters given:
Homework 9 Solutons PROBLEM ONE 1 (Exercses from the book, th edton,, 1-) Determne the number of dstnct orderngs of the letters gven: (a) GUIDE Soluton: 5! (b) SCHOOL Soluton:! (c) SALESPERSONS Soluton:
More information158 Calculus and Structures
58 Calculus and Structures CHAPTER PROPERTIES OF DERIVATIVES AND DIFFERENTIATION BY THE EASY WAY. Calculus and Structures 59 Copyrigt Capter PROPERTIES OF DERIVATIVES. INTRODUCTION In te last capter you
More informationCase A. P k = Ni ( 2L i k 1 ) + (# big cells) 10d 2 P k.
THE CELLULAR METHOD In ths lecture, we ntroduce the cellular method as an approach to ncdence geometry theorems lke the Szemeréd-Trotter theorem. The method was ntroduced n the paper Combnatoral complexty
More informationHOMEWORK HELP 2 FOR MATH 151
HOMEWORK HELP 2 FOR MATH 151 Here we go; te second round of omework elp. If tere are oters you would like to see, let me know! 2.4, 43 and 44 At wat points are te functions f(x) and g(x) = xf(x)continuous,
More informationMath Spring 2013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, (1/z) 2 (1/z 1) 2 = lim
Mat 311 - Spring 013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, 013 Question 1. [p 56, #10 (a)] 4z Use te teorem of Sec. 17 to sow tat z (z 1) = 4. We ave z 4z (z 1) = z 0 4 (1/z) (1/z
More informationSome Consequences. Example of Extended Euclidean Algorithm. The Fundamental Theorem of Arithmetic, II. Characterizing the GCD and LCM
Example of Extended Eucldean Algorthm Recall that gcd(84, 33) = gcd(33, 18) = gcd(18, 15) = gcd(15, 3) = gcd(3, 0) = 3 We work backwards to wrte 3 as a lnear combnaton of 84 and 33: 3 = 18 15 [Now 3 s
More informationWalrasian Equilibrium in an exchange economy
Microeconomic Teory -1- Walrasian equilibrium Walrasian Equilibrium in an ecange economy 1. Homotetic preferences 2 2. Walrasian equilibrium in an ecange economy 11 3. Te market value of attributes 18
More informationLIMITS AND DERIVATIVES CONDITIONS FOR THE EXISTENCE OF A LIMIT
LIMITS AND DERIVATIVES Te limit of a function is defined as te value of y tat te curve approaces, as x approaces a particular value. Te limit of f (x) as x approaces a is written as f (x) approaces, as
More informationNote on EM-training of IBM-model 1
Note on EM-tranng of IBM-model INF58 Language Technologcal Applcatons, Fall The sldes on ths subject (nf58 6.pdf) ncludng the example seem nsuffcent to gve a good grasp of what s gong on. Hence here are
More information1. Questions (a) through (e) refer to the graph of the function f given below. (A) 0 (B) 1 (C) 2 (D) 4 (E) does not exist
Mat 1120 Calculus Test 2. October 18, 2001 Your name Te multiple coice problems count 4 points eac. In te multiple coice section, circle te correct coice (or coices). You must sow your work on te oter
More informationGraphical Analysis of a BJT Amplifier
4/6/2011 A Graphcal Analyss of a BJT Amplfer lecture 1/18 Graphcal Analyss of a BJT Amplfer onsder agan ths smple BJT amplfer: ( t) = + ( t) O O o B + We note that for ths amplfer, the output oltage s
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationPhysically Based Modeling: Principles and Practice Implicit Methods for Differential Equations
Pysically Based Modeling: Principles and Practice Implicit Metods for Differential Equations David Baraff Robotics Institute Carnegie Mellon University Please note: Tis document is 997 by David Baraff
More informationThe Finite Element Method: A Short Introduction
Te Fnte Element Metod: A Sort ntroducton Wat s FEM? Te Fnte Element Metod (FEM) ntroduced by engneers n late 50 s and 60 s s a numercal tecnque for solvng problems wc are descrbed by Ordnary Dfferental
More informationTime (hours) Morphine sulfate (mg)
Mat Xa Fall 2002 Review Notes Limits and Definition of Derivative Important Information: 1 According to te most recent information from te Registrar, te Xa final exam will be eld from 9:15 am to 12:15
More informationOn a nonlinear compactness lemma in L p (0, T ; B).
On a nonlnear compactness lemma n L p (, T ; B). Emmanuel Matre Laboratore de Matématques et Applcatons Unversté de Haute-Alsace 4, rue des Frères Lumère 6893 Mulouse E.Matre@ua.fr 3t February 22 Abstract
More informationSection 2.7 Derivatives and Rates of Change Part II Section 2.8 The Derivative as a Function. at the point a, to be. = at time t = a is
Mat 180 www.timetodare.com Section.7 Derivatives and Rates of Cange Part II Section.8 Te Derivative as a Function Derivatives ( ) In te previous section we defined te slope of te tangent to a curve wit
More informationExam 1 Solutions. x(x 2) (x + 1)(x 2) = x
Eam Solutions Question (0%) Consider f() = 2 2 2 2. (a) By calculating relevant its, determine te equations of all vertical asymptotes of te grap of f(). If tere are none, say so. f() = ( 2) ( + )( 2)
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationSE Story Shear Frame. Final Project. 2 Story Bending Beam. m 2. u 2. m 1. u 1. m 3. u 3 L 3. Given: L 1 L 2. EI ω 1 ω 2 Solve for m 2.
SE 8 Fnal Project Story Sear Frame Gven: EI ω ω Solve for Story Bendng Beam Gven: EI ω ω 3 Story Sear Frame Gven: L 3 EI ω ω ω 3 3 m 3 L 3 Solve for Solve for m 3 3 4 3 Story Bendng Beam Part : Determnng
More informationExam 1 Review Solutions
Exam Review Solutions Please also review te old quizzes, and be sure tat you understand te omework problems. General notes: () Always give an algebraic reason for your answer (graps are not sufficient),
More informationMoments of Inertia. and reminds us of the analogous equation for linear momentum p= mv, which is of the form. The kinetic energy of the body is.
Moments of Inerta Suppose a body s movng on a crcular path wth constant speed Let s consder two quanttes: the body s angular momentum L about the center of the crcle, and ts knetc energy T How are these
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationUNIVERSITY OF BOLTON RAK ACADEMIC CENTRE BENG(HONS) MECHANICAL ENGINEERING SEMESTER TWO EXAMINATION 2017/2018 FINITE ELEMENT AND DIFFERENCE SOLUTIONS
OCD0 UNIVERSITY OF BOLTON RAK ACADEMIC CENTRE BENG(HONS) MECHANICAL ENGINEERING SEMESTER TWO EXAMINATION 07/08 FINITE ELEMENT AND DIFFERENCE SOLUTIONS MODULE NO. AME6006 Date: Wednesda 0 Ma 08 Tme: 0:00
More informationExercises. 18 Algorithms
18 Algorthms Exercses 0.1. In each of the followng stuatons, ndcate whether f = O(g), or f = Ω(g), or both (n whch case f = Θ(g)). f(n) g(n) (a) n 100 n 200 (b) n 1/2 n 2/3 (c) 100n + log n n + (log n)
More informationSECTION 1.10: DIFFERENCE QUOTIENTS LEARNING OBJECTIVES
(Section.0: Difference Quotients).0. SECTION.0: DIFFERENCE QUOTIENTS LEARNING OBJECTIVES Define average rate of cange (and average velocity) algebraically and grapically. Be able to identify, construct,
More information2.3 More Differentiation Patterns
144 te derivative 2.3 More Differentiation Patterns Polynomials are very useful, but tey are not te only functions we need. Tis section uses te ideas of te two previous sections to develop tecniques for
More informationCubic Functions: Local Analysis
Cubic function cubing coefficient Capter 13 Cubic Functions: Local Analysis Input-Output Pairs, 378 Normalized Input-Output Rule, 380 Local I-O Rule Near, 382 Local Grap Near, 384 Types of Local Graps
More information(4.2) -Richardson Extrapolation
(.) -Ricardson Extrapolation. Small-O Notation: Recall tat te big-o notation used to define te rate of convergence in Section.: Suppose tat lim G 0 and lim F L. Te function F is said to converge to L as
More informationDerivatives of Exponentials
mat 0 more on derivatives: day 0 Derivatives of Eponentials Recall tat DEFINITION... An eponential function as te form f () =a, were te base is a real number a > 0. Te domain of an eponential function
More information