CSc 520 Principles of Programming Languages. β-reduction Introductory Example. 22: Lambda Calculus Reductions
|
|
- Rosalind Walters
- 6 years ago
- Views:
Transcription
1 Lambda Reductions CSc 520 Principles of Programming Languages 22: Lambda Calculus Reductions Christian Collberg To evaluate a lambda epression we reduce it until we can appl no more reduction rules. There are four principal reductions that we use: 1. α-reduction variable renaming to avoid name clashes in β-reductions. 2. β-reduction function application. 3. η-reduction formula simplification. 4. δ-reduction evaluation of predefined constants and functions. Department of Computer Science Universit of Arizona Copright c 2004 Christian Collberg [1] 520 [2] -reduction Introductor Eample β-reduction Introductor Eample Blindl appling β-reductions can lead to a problem known as variable capture. To prevent this we need a wa to change the name of a variable. Here s an eample of an α-reduction: ((λ.(λf.(f ))) ) α ((λz.(λf.(f ))) z) The equivalence of function application in a functional language is called β-reduction. Here s an eample of using β-reductions to evaluate a lambda epression: Twice (λf.(λ.(f (f )))) ((Twice (λn.(add n 1))) 5) (((λf.(λ.(f (f )))) (λn.(add n 1))) 5) β ((λ.((λn.(add n 1)) ((λn.(add n 1)) ))) 5) β ((λn.(add n 1)) ((λn.(add n 1)) 5)) β
2 reduction Introductor Eample... δ-reduction Introductor Eample ((Twice (λn.(add n 1))) 5) (((λf.(λ.(f (f )))) (λn.(add n 1))) 5) β ((λ.((λn.(add n 1)) ((λn.(add n 1)) ))) 5) β ((λn.(add n 1)) ((λn.(add n 1)) 5)) β (add ((λn.(add n 1)) 5) 1) β (add (add 5 1) 1) No further β-reductions can be made. A δ-reduction is used to evaluate non-pure lambda epression, i.e. those that contain predefined constants and functions (such as add, etc.). Without δ-reductions we couldn t evaluate the previous eample an further: ((Twice (λn.(add n 1))) 5) (add (add 5 1) 1) δ (add 6 1) δ 7 [5] 520 [6] Free Variable Substitution Free Variables To work with α-reductions we first need to define the concept of a variable substitution. The notation E[v M] means replace all free occurences of v with M in the epression E. Eample: (λv.(mul v))[ z] = (λv.(mul z v))
3 Free Variable Substitution... Free Variable Substitution A more traditional notation (used b Scott, for eample) for E[v M] is Eample: E[M\v] (λv.(mul v))[z\] = (λv.(mul z v)) Variable replacements aren t legal in E[v M] if a free variable in M becomes bound. For eample, the substitution (λ.(mul ))[ ] (λ.(mul )) is illegal because it causes a change in semantics: the new epression represents a squaring operation, the original doesn t. This is known as variable capture or a name clash. [9] 520 [10] Computing Free Variables Computing Free Variables Eample The free variables of an epression E, FV(E) is computed as 1. FV(c) = for an constant c. 2. FV() = {} for an variable. 3. FV((E 1 E 2 )) = FV(E 1 ) FV(E 2 ). 4. FV((λ.E)) = FV(E) {}. An epression that has no free variables (FV(E) = ) is called closed. FV((λ.( (λ.(( ) z))))) = FV(( (λ.(( ) z)))) {} = (FV() FV((λ.(( ) z)))) {} = ({} (FV((( ) z)) {})) {} = ({} ((FV(( )) FV(z)) {}) {} = ({} ((FV() FV()) {z}) {}) {} = ({} (({} {}) {z}) {}) {} = {, z}
4 Variable Substitution Algorithm Variable Substitution Eample a) v[v E 1 ] = E 1 for an variable v b) [v E 1 ] = for an variable v c) c[v E 1 ] = c for an constant c d) (E 1 E 2 )[v E 3 ] = (E 1 [v E 3 ] E 2 [v E 3 ]) e) (λv.e)[v E 1 ] = (λv.e) f) (λ.e)[v E 1 ] = (λ.e[v E 1 ]), when v and FV(E 1 ) g) (λ.e)[v E 1 ] = (λz.e[ z][v E 1 ]), when v and FV(E 1 ) where z v and z FV((E E 1 )) In g) the first substitution E[ z] replaces a bound variable b a new bound variable z. [13] 520 (λ.((λf.(f )) ))[ (f )] g) = (λz.((λf.(f )) )[ z][ (f )]) = (λz.((λf.(f )) z)[ (f )]) d) = (λz.((λf.(f ))[ (f )] z[ (f )])) b) = (λz.((λg.(g ))[ (f )] z)) d,b,a) = (λz.((λg.(g (f ))) z)) [14] Reductions Reductions The main rule for evaluating a lambda epression is called β-reduction. β-reduction is similar to function application in a functional language. To prevent variable capture (when a free variable in E 1 becomes bound during the subsitution E[v E 1 ]), we also need α-reductions. δ-reductions are used to evaluate predefined functions such as add. η-reductions are not strictl necessar but can be used to clean up mess epressions.
5 α-reductions β-reductions Scott calls this α-conversion. α-reduction sas that we can replace v b w in (λv.e) as long as w does not occur free in E. Formall, (λv.e) α (λw.e[v w]) where w does not occur free in E. Eample: Eample: (λ.((λf.(f )) )) α (λz.((λf.(f )) z)) (λz.((λf.(f )) z)) α (λz.((λg.(g )) z)) Let v be a variable and E and E 1 lambda epressions, then ((λv.e) E 1 ) β E[v E 1 ] provided E[v E 1 ] is carried out safel. The intuition is that the argument E 1 is passed to the function (λv.e) b substituting E 1 for the formal parameter v. An epression of the form ((λv.e) E 1 ) is called a β-rede (reduction epression), i.e. an epression that can be β-reduced. [17] 520 [18] η-reductions η-reductions... η-reductions allow us to get rid of etra lambda abstractions. For eample, we can sa (λ.(square )) η square square is a function that squares its argument, while (λ.(square )) is a function of that squares. (λ.(square )) reminds us that square takes an argument, but square is a bit less mess. If E is a lambda epression that denotes a function, and v has no free occurences in E, then The following reduction (λv.(e v)) η E (λ.(add )) η (add ) is invalid since (add ) has a free occurence of.
6 Termination Reduction Strategies Question: Can ever lambda epression be reduced to a normal form? Consider the epression which reduces to itself: ((λ.( )) (λ.( ))) ((λ.( )) (λ.( ))) β ((λ.( )) (λ.( ))) β Answer: No. [21] 520 Lambda calculus contains non-terminating reductions. [22] Paths Paths... Question: Is there more than one wa to reduce a lambda epression? Consider the epression (((λ.(λ.(add ((λz.(mul z)) 3)))) 7) 5) Let s tr reducing it in two different was, to see if we ll arrive at different normal forms. A lambda epression is in a normal form if we can appl no more β-reductions or δ-reductions. (((λ.(λ.(add ((λz.(mul z)) 3)))) 7) 5) = (((λ.(λ.(add ((λz.(mul z)) 3)))) 7) 5) β ((λ.(add ((λz.(mul 7 z)) 3))) 5) β (add 5 ((λz.(mul 7 z)) 3)) β (add 5 (mul 7 3)) δ (add 5 21) δ 26
7 Paths... Paths (((λ.(λ.(add ((λz.(mul z)) 3)))) 7) 5) = (((λ.(λ.(add ((λz.(mul z)) 3)))) 7) 5) β (((λ.(λ.(add (mul 3)))) 7) 5) β Question: Is there more than one wa to reduce a lambda epression? Answer: Yes. ((λ.(add (mul 7 3))) 5) δ ((λ.(add 21)) 5) δ (add 5 21) δ 26 [25] 520 [26] Application Order Application Order... Consider the epression ((λ.5) ((λ.( )) (λ.( )))) We can either reduce the leftmost rede first: ((λ.5) ((λ.( )) (λ.( )))) β 5 or, we can evaluate the rightmost rede ever time: ((λ.5) ((λ.( )) (λ.( )))) β ((λ.5) ((λ.( )) (λ.( )))) β The leftmost rede is that rede whose λ is tetuall to the left of all other redees within the epression. An outermost rede is defined to be a rede which is not contained within an other rede. An innermost rede is defined to be a rede which contains no other rede. A normal order reduction alwas reduces the leftmost outermost β-rede (or δ-rede) first. A applicative order reduction alwas reduces the leftmost innermost β-rede (or δ-rede) first. ((λ.5) ((λ.( )) (λ.( )))) β
8 Finding Redees Finding Redees... Remembering that a rede is an epression of the form ((λ.e) ), find the redees in this epression: (((λ.(λ.(add ))) ((λz.(succ z)) 5)) ((λw.(sqr w)) 7)) = (((λ.(λ.(add ))) ((λz.(succ z)) 5) ) ((λw.(sqr w)) 7)) = }{{} (((λ.(λ.(add ))) ((λz.(succ z)) 5) ) ((λw.(sqr w)) 7) }{{}}{{} ) = ( ((λ.(λ.(add { ))) }} ((λz.(succ z)) 5) { ) ((λw.(sqr w)) 7) }{{}}{{} ) If we have problems finding the redees of an epression, we can first draw it as an abstract snta tree. This is a tree that shows the structure of an epression, ignoring sntactic details. lamb (λ.) ( ) z z lamb z lamb ( ( z)) ((z ) ) ( (λ.z)) (λ.( z)) z [29] 520 stands for an application, lamb for an abstraction. [30] Finding Redees... During evaluation we look for a rede, a tree with the following structure: lamb E ((λ.e) ) I.e., a rede is an abstraction joined with another epression to be passed to the function. Finding Redees... Again, consider the epression: ( { ((λ.(λ.(add ))) }} ((λz.(succ z)) 5) { ) ((λw.(sqr w)) 7) }{{}}{{} ) Its abstract snta tree is given on the net slide. The leftmost outermost rede is ( ((λ.(λ.(add ))) ((λz.(succ z)) 5)) }{{} The leftmost innermost rede is ((λw.(sqr w)) 7)) (((λ.(λ.(add ))) ((λz.(succ z)) 5) ) ((λw.(sqr w)) 7)) }{{}
9 Finding Redees... Church-Rosser Theorem I lamb lamb add z lamb succ Outermost z 5 Innermost w lamb sqr w 7 Outermost and Innermost [33] 520 Question: If there is more than one reduction strateg, does each one lead to the same normal form epression? Theorem: For an lambda epressions E, F and G, if E F and E G, there is a lambda epression Z such that F Z and G Z. diamond propert confluence propert [34] F E Z G Church-Rosser Theorem I... Corollar: For an lambda epressions E, M and N, if E M and E N, where M and N are in normal form, M and N are variants of each other (ecept for changes in variables, using α-reductions). Answer: Yes, if a lambda epression is in normal form, it is unique, ecept for changes in bound variables. Church-Rosser Theorem II Question: Is there a reduction strateg that will guarantee that a normal form epression will be produced, if one eists? Theorem: For an lambda epressions E and N, if E N where N is in normal form, there is a normal order reduction from E to N. Answer: Yes, normal order reduction will produce a normal form lambda epression, if on eists.
10 Normal Order Reduction Church s Theses A normal-order reduction can have these outcomes: 1. A unique normal form lambda epression is reached (up to α-reduction). 2. The reduction never terminates. The effectivel computable functions on the positive integers are precisel those functions definable in the pure lambda calculus (and computable b Turing Machines). [37] 520 It can be shown that ever Turing Machine can be simulated b a lambda epression. It can be shown that ever lambda epression can can be realized b a Turing Machine. Hence, Turing Machines and lambda calculus are equivalent. Since it s not possible to determine whether a Turing Machine will terminate, it s not possible to determine whether a normal order reduction will terminate. [38] Alonzo Church People From hbe/church.pdf Born on June 14 (Flag Da), 1903, in Washington, D.C. His great-grandfather (also named Alonzo Church) was a professor of mathematics and astronom. His grandfather Alonzo Webster Church was at one time Librarian of the U.S. Senate. An airgun incident in high school left Church blind in one ee. Church enrolled at Princeton, where his uncles had attended college. He worked part-time in the dining hall to help pa his wa.
11 Alonzo Church... Haskell Curr He was an eceptional student; his first published paper was written while he was an undergraduate. He continued graduate work at Princeton, completing a Ph.D. in three ears While a graduate student, he married Mar Julia Kuczinski, who was training to be a nurse. (This in spite of the fact that his senior class had voted him the most likel to remain a bachelor. In the summer of 1924, Church stepped o the curb and was hit b a trolle car coming from his blind side; Mar was a nurse-trainee at the hospital. Mar was an ecellent cook; over the ears man a mathematician enjoed dining at the Church home. He and Mar had three children. Alonzo Church, Jr., was born in 1929, Mar Ann in 1933, and Mildred in (Mar Ann later married the logician John Addison.) Alonzo Church had the polite manners of a gentleman who had grown up in Virginia. He was never known to be rude, even with people with whom he had strong disagreements. A deepl religious person, he was a lifelong member of the Presbterian church. From histor/mathematicians/curr.html Haskell did not show particular interest in mathematics when at high school and when he graduated in 1916 he full intended to stud medicine. He entered Harvard College. A major influence on the direction that his studies took was the entr of the United States into World War I in the spring of Curr wanted to serve his countr, and decided that he would be more likel to see action if he had a mathematics training rather than if he continued the pre-medical course he was on. The war, however, ended shortl after this (in November) and on 9 December 1918 Curr left the arm. [41] 520 [42] Haskell Curr... Readings and References Curr now decided that he would look for a career in electrical engineering and he took a job with the General Electric Compan which allowed him to stud electrical engineering part-time at the Massachusetts Institute of Technolog. However he soon discovered that he had a different attitude to the others taking the courses, for he wanted to know wh a result was correct when for everone else it onl mattered that it was correct. Read pp , in Snta and Semantics of Programming Languages, b Ken Slonneger and Barr Kurtz, slonnegr/plf/book. Read pp , in Scott. If one imagines that from 1924 when Curr embarked on his doctorate in mathematics at Harvard he at last found the topic for him, then one would be mistaken. He was given a topic in the theor of differential equations b George Birkhoff but he began reading books on logic which seemed to him far more interesting that his research topic.
12 Acknowledgments Much of the material in this lecture on Lambda Calculus is taken from the book Snta and Semantics of Programming Languages, b Ken Slonneger and Barr Kurtz, slonnegr/plf/book. [45]
The Lambda Calculus. Stephen A. Edwards. Fall Columbia University
The Lambda Calculus Stephen A. Edwards Columbia University Fall 2014 Lambda Expressions Function application written in prefix form. Add four and five is (+ 4 5) Evaluation: select a redex and evaluate
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 13 CHAPTER 4 TURING MACHINES 1. The definition of Turing machine 2. Computing with Turing machines 3. Extensions of Turing
More informationCS 4110 Programming Languages & Logics. Lecture 16 Programming in the λ-calculus
CS 4110 Programming Languages & Logics Lecture 16 Programming in the λ-calculus 30 September 2016 Review: Church Booleans 2 We can encode TRUE, FALSE, and IF, as: TRUE λx. λy. x FALSE λx. λy. y IF λb.
More information8. BOOLEAN ALGEBRAS x x
8. BOOLEAN ALGEBRAS 8.1. Definition of a Boolean Algebra There are man sstems of interest to computing scientists that have a common underling structure. It makes sense to describe such a mathematical
More informationUnit 3 NOTES Honors Common Core Math 2 1. Day 1: Properties of Exponents
Unit NOTES Honors Common Core Math Da : Properties of Eponents Warm-Up: Before we begin toda s lesson, how much do ou remember about eponents? Use epanded form to write the rules for the eponents. OBJECTIVE
More information3.2 Introduction to Functions
8 CHAPTER Graphs and Functions Write each statement as an equation in two variables. Then graph each equation. 97. The -value is more than three times the -value. 98. The -value is - decreased b twice
More informationPropositions as Types
Propositions as Types Martin Pfeifhofer & Felix Schett May 25, 2016 Contents 1 Introduction 2 2 Content 3 2.1 Getting Started............................ 3 2.2 Effective Computability And The Various Definitions.......
More informationChapter 8 Notes SN AA U2C8
Chapter 8 Notes SN AA U2C8 Name Period Section 8-: Eploring Eponential Models Section 8-2: Properties of Eponential Functions In Chapter 7, we used properties of eponents to determine roots and some of
More informationFoundations of Databases
Foundations of Databases (Slides adapted from Thomas Eiter, Leonid Libkin and Werner Nutt) Foundations of Databases 1 Quer optimization: finding a good wa to evaluate a quer Queries are declarative, and
More informationA Common Notation System for the Lambda-Calculus and Combinatory Logic
A Common Notation System for the Lambda-Calculus and Combinatory Logic Masahiko Sato Graduate School of Informatics, Kyoto University Joint work with Takafumi Sakurai and Helmut Schwichtenberg IFIP WG
More information11.4 Polar Coordinates
11. Polar Coordinates 917 11. Polar Coordinates In Section 1.1, we introduced the Cartesian coordinates of a point in the plane as a means of assigning ordered pairs of numbers to points in the plane.
More informationOn Range and Reflecting Functions About the Line y = mx
On Range and Reflecting Functions About the Line = m Scott J. Beslin Brian K. Heck Jerem J. Becnel Dept.of Mathematics and Dept. of Mathematics and Dept. of Mathematics and Computer Science Computer Science
More informationNotes on a situation-free fragment for donkey anaphora Chris Barker, NYU, homepages.nyu.edu/ cb125 Introduction. These notes were produced at the
Notes on a situation-free fragment for donke anaphora Chris Barker, NYU, homepages.nu.edu/ cb125 Introduction. These notes were produced at the request of Chris Kenned, for the purpose of providing something
More informationThe key is that there are two disjoint populations, and everyone in the market is on either one side or the other
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 17 So... two-sided matching markets. First off, sources. I ve updated the syllabus for the next few lectures. As always, most of the papers
More informationLinear Equation Theory - 2
Algebra Module A46 Linear Equation Theor - Copright This publication The Northern Alberta Institute of Technolog 00. All Rights Reserved. LAST REVISED June., 009 Linear Equation Theor - Statement of Prerequisite
More informationReview. Principles of Programming Languages. Equality. The Diamond Property. The Church-Rosser Theorem. Corollaries. CSE 230: Winter 2007
CSE 230: Winter 2007 Principles of Programming Languages Lecture 12: The λ-calculus Ranjit Jhala UC San Diego Review The lambda calculus is a calculus of functions: e := x λx. e e 1 e 2 Several evaluation
More informationMATH 250 TOPIC 11 LIMITS. A. Basic Idea of a Limit and Limit Laws. Answers to Exercises and Problems
Math 5 T-Limits Page MATH 5 TOPIC LIMITS A. Basic Idea of a Limit and Limit Laws B. Limits of the form,, C. Limits as or as D. Summary for Evaluating Limits Answers to Eercises and Problems Math 5 T-Limits
More informationFundamentals of Computer Science
Fundamentals of Computer Science Chapter 8: Turing machines Henrik Björklund Umeå University February 17, 2014 The power of automata Finite automata have only finite memory. They recognize the regular
More informationRoberto s Notes on Integral Calculus Chapter 3: Basics of differential equations Section 3. Separable ODE s
Roberto s Notes on Integral Calculus Chapter 3: Basics of differential equations Section 3 Separable ODE s What ou need to know alread: What an ODE is and how to solve an eponential ODE. What ou can learn
More informationThe Church-Turing Thesis
The Church-Turing Thesis Huan Long Shanghai Jiao Tong University Acknowledgements Part of the slides comes from a similar course in Fudan University given by Prof. Yijia Chen. http://basics.sjtu.edu.cn/
More informationSection 2: Wave Functions and Probability Solutions
Phsics 43a: Quantum Mechanics I Section : Wave Functions and Probabilit Solutions Spring 5, Harvard Here is a summar of the most important points from the second week with a few of m own tidbits), relevant
More information15.2 Graphing Logarithmic
_ - - - - - - Locker LESSON 5. Graphing Logarithmic Functions Teas Math Standards The student is epected to: A.5.A Determine the effects on the ke attributes on the graphs of f () = b and f () = log b
More informationMA Game Theory 2005, LSE
MA. Game Theor, LSE Problem Set The problems in our third and final homework will serve two purposes. First, the will give ou practice in studing games with incomplete information. Second (unless indicated
More informationCONQUERING CALCULUS POST-SECONDARY PREPARATION SOLUTIONS TO ALL EXERCISES. Andrijana Burazin and Miroslav Lovrić
CONQUERING CALCULUS POST-SECONDARY PREPARATION SOLUTIONS TO ALL EXERCISES Andrijana Burazin and Miroslav Lovrić c 7 Miroslav Lovrić. This is an open-access document. You are allowed to download, print
More informationλ Slide 1 Content Exercises from last time λ-calculus COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification
Content COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein λ Slide 1 Intro & motivation, getting started [1] Foundations & Principles Lambda
More informationReview Topics for MATH 1400 Elements of Calculus Table of Contents
Math 1400 - Mano Table of Contents - Review - page 1 of 2 Review Topics for MATH 1400 Elements of Calculus Table of Contents MATH 1400 Elements of Calculus is one of the Marquette Core Courses for Mathematical
More informationLearning Outcomes and Assessment Standards
Lesson 5 CALCULUS (8) Rate of change Learning Outcomes and Assessment Standards Learning Outcome : Functions and Algebra Assessment standard 1..7(e) Solve practical problems involving optimisation and
More informationMathematics 309 Conic sections and their applicationsn. Chapter 2. Quadric figures. ai,j x i x j + b i x i + c =0. 1. Coordinate changes
Mathematics 309 Conic sections and their applicationsn Chapter 2. Quadric figures In this chapter want to outline quickl how to decide what figure associated in 2D and 3D to quadratic equations look like.
More informationAlgebra/Pre-calc Review
Algebra/Pre-calc Review The following pages contain various algebra and pre-calculus topics that are used in the stud of calculus. These pages were designed so that students can refresh their knowledge
More informationAnalytic Trigonometry
CHAPTER 5 Analtic Trigonometr 5. Fundamental Identities 5. Proving Trigonometric Identities 5.3 Sum and Difference Identities 5.4 Multiple-Angle Identities 5.5 The Law of Sines 5.6 The Law of Cosines It
More informationGauss and Gauss Jordan Elimination
Gauss and Gauss Jordan Elimination Row-echelon form: (,, ) A matri is said to be in row echelon form if it has the following three properties. () All row consisting entirel of zeros occur at the bottom
More informationUnit 3: Relations and Functions
Unit 3: Relations and Functions 5-1: Binar Relations Binar Relation: - a set ordered pairs (coordinates) that include two variables (elements). (, ) = horizontal = vertical Domain: - all the -values (first
More informationRegular Languages and Finite Automata
Regular Languages and Finite Automata 1 Introduction Hing Leung Department of Computer Science New Mexico State University In 1943, McCulloch and Pitts [4] published a pioneering work on a model for studying
More information15.2 Graphing Logarithmic
Name Class Date 15. Graphing Logarithmic Functions Essential Question: How is the graph of g () = a log b ( h) + k where b > and b 1 related to the graph of f () = log b? Resource Locker Eplore 1 Graphing
More informationIn everyday speech, a continuous. Limits and Continuity. Critical Thinking Exercises
062 Chapter Introduction to Calculus Critical Thinking Eercises Make Sense? In Eercises 74 77, determine whether each statement makes sense or does not make sense, and eplain our reasoning. 74. I evaluated
More information6.080 / Great Ideas in Theoretical Computer Science Spring 2008
MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More informationIntroduction to lambda calculus Part 2
Introduction to lambda calculus Part 2 Antti-Juhani Kaijanaho 2017-01-24... 1 Untyped lambda calculus 1.1 Syntax... x, y, z Var t, u Term t, u ::= x t u λx t... In this document, I will be using the following
More information8.4. If we let x denote the number of gallons pumped, then the price y in dollars can $ $1.70 $ $1.70 $ $1.70 $ $1.
8.4 An Introduction to Functions: Linear Functions, Applications, and Models We often describe one quantit in terms of another; for eample, the growth of a plant is related to the amount of light it receives,
More informationSystems of Linear Equations: Solving by Graphing
8.1 Sstems of Linear Equations: Solving b Graphing 8.1 OBJECTIVE 1. Find the solution(s) for a set of linear equations b graphing NOTE There is no other ordered pair that satisfies both equations. From
More informationHigher. Polynomials and Quadratics. Polynomials and Quadratics 1
Higher Mathematics Contents 1 1 Quadratics EF 1 The Discriminant EF 3 3 Completing the Square EF 4 4 Sketching Parabolas EF 7 5 Determining the Equation of a Parabola RC 9 6 Solving Quadratic Inequalities
More informationP.4 Lines in the Plane
28 CHAPTER P Prerequisites P.4 Lines in the Plane What ou ll learn about Slope of a Line Point-Slope Form Equation of a Line Slope-Intercept Form Equation of a Line Graphing Linear Equations in Two Variables
More information2.5 CONTINUITY. a x. Notice that Definition l implicitly requires three things if f is continuous at a:
SECTION.5 CONTINUITY 9.5 CONTINUITY We noticed in Section.3 that the it of a function as approaches a can often be found simpl b calculating the value of the function at a. Functions with this propert
More informationA. Real numbers greater than 2 B. Real numbers less than or equal to 2. C. Real numbers between 1 and 3 D. Real numbers greater than or equal to 2
39 CHAPTER 9 DAY 0 DAY 0 Opportunities To Learn You are what ou are when nobod Is looking. - Ann Landers 6. Match the graph with its description. A. Real numbers greater than B. Real numbers less than
More informationProperties of Limits
33460_003qd //04 :3 PM Page 59 SECTION 3 Evaluating Limits Analticall 59 Section 3 Evaluating Limits Analticall Evaluate a it using properties of its Develop and use a strateg for finding its Evaluate
More informationAlgebra II Notes Unit Six: Polynomials Syllabus Objectives: 6.2 The student will simplify polynomial expressions.
Algebra II Notes Unit Si: Polnomials Sllabus Objectives: 6. The student will simplif polnomial epressions. Review: Properties of Eponents (Allow students to come up with these on their own.) Let a and
More informationProgramming Languages
CSE 230: Winter 2010 Principles of Programming Languages Lecture 10: Programming in λ-calculusc l l Ranjit Jhala UC San Diego Review The lambda calculus is a calculus of functions: e := x λx. e e 1 e 2
More informationRealisability methods of proof and semantics with application to expansion
Realisability methods of proof and semantics with application to expansion First Year Examination Supervisors : Professor Fairouz Kamareddine and Doctor Joe B. Wells Student : Vincent Rahli ULTRA group,
More informationPhysics Gravitational force. 2. Strong or color force. 3. Electroweak force
Phsics 360 Notes on Griffths - pluses and minuses No tetbook is perfect, and Griffithsisnoeception. Themajorplusisthat it is prett readable. For minuses, see below. Much of what G sas about the del operator
More informationWhat is the limit of a function? Intuitively, we want the limit to say that as x gets closer to some value a,
Limits The notion of a limit is fundamental to the stud of calculus. It is one of the primar concepts that distinguishes calculus from mathematical subjects that ou saw prior to calculus, such as algebra
More informationUnit 26 Solving Inequalities Inequalities on a Number Line Solution of Linear Inequalities (Inequations)
UNIT Solving Inequalities: Student Tet Contents STRAND G: Algebra Unit Solving Inequalities Student Tet Contents Section. Inequalities on a Number Line. of Linear Inequalities (Inequations). Inequalities
More informationEigenvectors and Eigenvalues 1
Ma 2015 page 1 Eigenvectors and Eigenvalues 1 In this handout, we will eplore eigenvectors and eigenvalues. We will begin with an eploration, then provide some direct eplanation and worked eamples, and
More information1.5. Analyzing Graphs of Functions. The Graph of a Function. What you should learn. Why you should learn it. 54 Chapter 1 Functions and Their Graphs
0_005.qd /7/05 8: AM Page 5 5 Chapter Functions and Their Graphs.5 Analzing Graphs of Functions What ou should learn Use the Vertical Line Test for functions. Find the zeros of functions. Determine intervals
More information2-3. Linear Regression and Correlation. Vocabulary
Chapter 2 Lesson 2-3 Linear Regression and Correlation BIG IDEA The regression line is the line of best fi t to data. The correlation coeffi cient measures the strength and direction of a linear pattern
More informationIntroduction to Vector Spaces Linear Algebra, Spring 2011
Introduction to Vector Spaces Linear Algebra, Spring 2011 You probabl have heard the word vector before, perhaps in the contet of Calculus III or phsics. You probabl think of a vector like this: 5 3 or
More information3.2 Understanding Relations and Functions-NOTES
Name Class Date. Understanding Relations and Functions-NOTES Essential Question: How do ou represent relations and functions? Eplore A1.1.A decide whether relations represented verball, tabularl, graphicall,
More informationChapter 18 Quadratic Function 2
Chapter 18 Quadratic Function Completed Square Form 1 Consider this special set of numbers - the square numbers or the set of perfect squares. 4 = = 9 = 3 = 16 = 4 = 5 = 5 = Numbers like 5, 11, 15 are
More informationChapter 6. Self-Adjusting Data Structures
Chapter 6 Self-Adjusting Data Structures Chapter 5 describes a data structure that is able to achieve an epected quer time that is proportional to the entrop of the quer distribution. The most interesting
More informationSimplification of State Machines
T3 Lecture Notes State Reduction hapter 9 - of Simplification of State Machines This semester has been spent developing the techniques needed to design digital circuits. Now we can compile a list of just
More informationType Systems. Today. 1. What is the Lambda Calculus. 1. What is the Lambda Calculus. Lecture 2 Oct. 27th, 2004 Sebastian Maneth
Today 1. What is the Lambda Calculus? Type Systems 2. Its Syntax and Semantics 3. Church Booleans and Church Numerals 4. Lazy vs. Eager Evaluation (call-by-name vs. call-by-value) Lecture 2 Oct. 27th,
More informationType Systems. Lecture 2 Oct. 27th, 2004 Sebastian Maneth.
Type Systems Lecture 2 Oct. 27th, 2004 Sebastian Maneth http://lampwww.epfl.ch/teaching/typesystems/2004 Today 1. What is the Lambda Calculus? 2. Its Syntax and Semantics 3. Church Booleans and Church
More information1Write and graph. 2Solve problems. Now. Then. Why? New Vocabulary
Direct Variation Then You found rates of change of linear functions. (Lesson -) Now Write and graph direct variation equations. Solve problems involving direct variation. Wh? Bianca is saving her mone
More informationSummer Review For Students Entering Algebra 2
Summer Review For Students Entering Algebra Teachers and administrators at Tuscarora High School activel encourage parents and communit members to engage in children s learning. This Summer Review For
More informationIntermediate Algebra. Gregg Waterman Oregon Institute of Technology
Intermediate Algebra Gregg Waterman Oregon Institute of Technolog c 2017 Gregg Waterman This work is licensed under the Creative Commons Attribution 4.0 International license. The essence of the license
More informationModels. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation
Turing Computation /0/ Models of Computation, Turing Machines, and the Limits of Turing Computation Bruce MacLennan Models A model is a tool intended to address a class of questions about some domain of
More informationFeatured Alumna Sarah Caudill ( 06)
Featured Alumna Sarah Caudill ( 06) As a high school student applying to colleges, I had a choice between Stetson and the University of Florida. I reasoned that I would receive a more personalized education
More information15.2 Graphing Logarithmic
Name Class Date 15. Graphing Logarithmic Functions Essential Question: How is the graph of g () = a log b ( h) + k where b > 0 and b 1 related to the graph of f () = log b? Resource Locker A.5.A Determine
More informationRising HONORS Algebra 2 TRIG student Summer Packet for 2016 (school year )
Rising HONORS Algebra TRIG student Summer Packet for 016 (school ear 016-17) Welcome to Algebra TRIG! To be successful in Algebra Trig, ou must be proficient at solving and simplifing each tpe of problem
More information0.24 adults 2. (c) Prove that, regardless of the possible values of and, the covariance between X and Y is equal to zero. Show all work.
1 A socioeconomic stud analzes two discrete random variables in a certain population of households = number of adult residents and = number of child residents It is found that their joint probabilit mass
More informationMATH GRADE 8 UNIT 4 LINEAR RELATIONSHIPS ANSWERS FOR EXERCISES. Copyright 2015 Pearson Education, Inc. 51
MATH GRADE 8 UNIT LINEAR RELATIONSHIPS FOR EXERCISES Copright Pearson Education, Inc. Grade 8 Unit : Linear Relationships LESSON : MODELING RUNNING SPEEDS 8.EE.. A Runner A 8.EE.. D sec 8.EE.. D. m/sec
More informationRational Equations. You can use a rational function to model the intensity of sound.
UNIT Rational Equations You can use a rational function to model the intensit of sound. Copright 009, K Inc. All rights reserved. This material ma not be reproduced in whole or in part, including illustrations,
More information1.7 Inverse Functions
71_0107.qd 1/7/0 10: AM Page 17 Section 1.7 Inverse Functions 17 1.7 Inverse Functions Inverse Functions Recall from Section 1. that a function can be represented b a set of ordered pairs. For instance,
More informationMathematics. Polynomials and Quadratics. hsn.uk.net. Higher. Contents. Polynomials and Quadratics 1. CfE Edition
Higher Mathematics Contents 1 1 Quadratics EF 1 The Discriminant EF 3 3 Completing the Square EF 4 4 Sketching Parabolas EF 7 5 Determining the Equation of a Parabola RC 9 6 Solving Quadratic Inequalities
More informationSolve each system by graphing. Check your solution. y =-3x x + y = 5 y =-7
Practice Solving Sstems b Graphing Solve each sstem b graphing. Check our solution. 1. =- + 3 = - (1, ). = 1 - (, 1) =-3 + 5 3. = 3 + + = 1 (, 3). =-5 = - 7. = 3-5 3 - = 0 (1, 5) 5. -3 + = 5 =-7 (, 7).
More informationTABLE OF CONTENTS - UNIT 1 CHARACTERISTICS OF FUNCTIONS
TABLE OF CONTENTS - UNIT CHARACTERISTICS OF FUNCTIONS TABLE OF CONTENTS - UNIT CHARACTERISTICS OF FUNCTIONS INTRODUCTION TO FUNCTIONS RELATIONS AND FUNCTIONS EXAMPLES OF FUNCTIONS 4 VIEWING RELATIONS AND
More informationAlgebra I. Slide 1 / 176 Slide 2 / 176. Slide 3 / 176. Slide 4 / 176. Slide 6 / 176. Slide 5 / 176. System of Linear Equations.
Slide 1 / 176 Slide 2 / 176 Algebra I Sstem of Linear Equations 21-11-2 www.njctl.org Slide 3 / 176 Slide 4 / 176 Table of Contents Solving Sstems b Graphing Solving Sstems b Substitution Solving Sstems
More informationThe American School of Marrakesh. Algebra 2 Algebra 2 Summer Preparation Packet
The American School of Marrakesh Algebra Algebra Summer Preparation Packet Summer 016 Algebra Summer Preparation Packet This summer packet contains eciting math problems designed to ensure our readiness
More informationChapter 5: Systems of Equations
Chapter : Sstems of Equations Section.: Sstems in Two Variables... 0 Section. Eercises... 9 Section.: Sstems in Three Variables... Section. Eercises... Section.: Linear Inequalities... Section.: Eercises.
More information8.4 Inverse Functions
Section 8. Inverse Functions 803 8. Inverse Functions As we saw in the last section, in order to solve application problems involving eponential unctions, we will need to be able to solve eponential equations
More informationAnalytic Geometry 300 UNIT 9 ANALYTIC GEOMETRY. An air traffi c controller uses algebra and geometry to help airplanes get from one point to another.
UNIT 9 Analtic Geometr An air traffi c controller uses algebra and geometr to help airplanes get from one point to another. 00 UNIT 9 ANALYTIC GEOMETRY Copright 00, K Inc. All rights reserved. This material
More informationMORE TRIGONOMETRY
MORE TRIGONOMETRY 5.1.1 5.1.3 We net introduce two more trigonometric ratios: sine and cosine. Both of them are used with acute angles of right triangles, just as the tangent ratio is. Using the diagram
More informationP1 Chapter 4 :: Graphs & Transformations
P1 Chapter 4 :: Graphs & Transformations jfrost@tiffin.kingston.sch.uk www.drfrostmaths.com @DrFrostMaths Last modified: 14 th September 2017 Use of DrFrostMaths for practice Register for free at: www.drfrostmaths.com/homework
More informationAnswer Explanations. The SAT Subject Tests. Mathematics Level 1 & 2 TO PRACTICE QUESTIONS FROM THE SAT SUBJECT TESTS STUDENT GUIDE
The SAT Subject Tests Answer Eplanations TO PRACTICE QUESTIONS FROM THE SAT SUBJECT TESTS STUDENT GUIDE Mathematics Level & Visit sat.org/stpractice to get more practice and stud tips for the Subject Test
More informationDecimal Operations No Calculators!!! Directions: Perform the indicated operation. Show all work. Use extra paper if necessary.
Decimal Operations No Calculators!!! Directions: Perform the indicated operation. Show all work. Use etra paper if necessar. Find.8 +.9...09 +. + 0.06 =. 6.08 + 6.8 + 00. =. 8. 6.09 =. 00.908. = Find.
More informationToda s Theorem: PH P #P
CS254: Computational Compleit Theor Prof. Luca Trevisan Final Project Ananth Raghunathan 1 Introduction Toda s Theorem: PH P #P The class NP captures the difficult of finding certificates. However, in
More informationTOPIC 1 Domain and Range
TOPIC 1 Domain and Range NEED HELP? Tr this... Determine the Domain and Range for each of the following: 1. {(3, 4), (-5, -2), (7, 6), (6, 5), (-8, 6)} 2. 3. 4. The DeWind famil lives in a rectangular
More informationFinite Automata. Mahesh Viswanathan
Finite Automata Mahesh Viswanathan In this lecture, we will consider different models of finite state machines and study their relative power. These notes assume that the reader is familiar with DFAs,
More information( 3x. Chapter Review. Review Key Vocabulary. Review Examples and Exercises 6.1 Properties of Square Roots (pp )
6 Chapter Review Review Ke Vocabular closed, p. 266 nth root, p. 278 eponential function, p. 286 eponential growth, p. 296 eponential growth function, p. 296 compound interest, p. 297 Vocabular Help eponential
More informationExperimental Uncertainty Review. Abstract. References. Measurement Uncertainties and Uncertainty Propagation
Experimental Uncertaint Review Abstract This is intended as a brief summar of the basic elements of uncertaint analsis, and a hand reference for laborator use. It provides some elementar "rules-of-thumb"
More informationCross-validation for detecting and preventing overfitting
Cross-validation for detecting and preventing overfitting A Regression Problem = f() + noise Can we learn f from this data? Note to other teachers and users of these slides. Andrew would be delighted if
More informationFinite Automata. Warren McCulloch ( ) and Walter Pitts ( )
2 C H A P T E R Finite Automata Warren McCulloch (898 968) and Walter Pitts (923 969) Warren S. McCulloch was an American psychiatrist and neurophysiologist who co-founded Cybernetics. His greatest contributions
More informationTangent Lines. Limits 1
Limits Tangent Lines The concept of the tangent line to a circle dates back at least to the earl das of Greek geometr, that is, at least 5 ears. The tangent line to a circle with centre O at a point A
More information4.2 Mean Value Theorem Calculus
4. MEAN VALUE THEOREM The Mean Value Theorem is considered b some to be the most important theorem in all of calculus. It is used to prove man of the theorems in calculus that we use in this course as
More informationwhere a 0 and the base b is a positive number other
7. Graph Eponential growth functions No graphing calculators!!!! EXPONENTIAL FUNCTION A function of the form than one. a b where a 0 and the base b is a positive number other a = b = HA = Horizontal Asmptote:
More informationReview of Essential Skills and Knowledge
Review of Essential Skills and Knowledge R Eponent Laws...50 R Epanding and Simplifing Polnomial Epressions...5 R 3 Factoring Polnomial Epressions...5 R Working with Rational Epressions...55 R 5 Slope
More informationDiary of Mathematical Musings. Patrick Stein
Diary of Mathematical Musings Patrick Stein Contents Chapter 1. 2002-08 5 2002-08-15 08:48:06 P = NP 5 2002-08-15 10:05:38 Well-ordering the reals with the surreals 6 2002-08-16 01:36:40 Prime Certification
More informationFinding Limits Graphically and Numerically. An Introduction to Limits
8 CHAPTER Limits and Their Properties Section Finding Limits Graphicall and Numericall Estimate a it using a numerical or graphical approach Learn different was that a it can fail to eist Stud and use
More informationRolle s Theorem. THEOREM 3 Rolle s Theorem. x x. then there is at least one number c in (a, b) at which ƒ scd = 0.
4.2 The Mean Value Theorem 255 4.2 The Mean Value Theorem f '(c) 0 f() We know that constant functions have zero derivatives, ut could there e a complicated function, with man terms, the derivatives of
More informationUse Properties of Exponents
4. Georgia Performance Standard(s) MMAa Your Notes Use Properties of Eponents Goal p Simplif epressions involving powers. VOCABULARY Scientific notation PROPERTIES OF EXPONENTS Let a and b be real numbers
More informationSummer Math Packet (revised 2017)
Summer Math Packet (revised 07) In preparation for Honors Math III, we have prepared a packet of concepts that students should know how to do as these concepts have been taught in previous math classes.
More informationLimits. Calculus Module C06. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
e Calculus Module C Limits Copright This publication The Northern Alberta Institute of Technolog. All Rights Reserved. LAST REVISED March, Introduction to Limits Statement of Prerequisite Skills Complete
More information