THE STERN-BROCOT TREE
|
|
- Esther Jacobs
- 5 years ago
- Views:
Transcription
1 THE STER-BROCOT TREE This is smple (drt) chpter rom: MATHEMATICAL OUTPOURIGS ewsletters nd Musings rom the St. Mr s Institute o Mthemtics Jmes Tnton This mteril ws nd cn still e used s the sis o successul MATH CIRCLE ctivity. Jmes Tnton 2
2 STER-BROCOT TREE: ewsletter Jnury 2 JAUARY 2 PUZZLER: A CURIOUS FRACTIO TREE Here is something un to thin out. Consider the ollowing rction tree: c) Might the rction 3 pper twice in the 2 tree? d) Will the rction the tree? Might it pper twice? eventully pper in e) Are ll the rctions tht pper in the tree in reduced orm? (For exmple, I see the rction 2 / 3, ut I don t see its equivlents 4 / 6 or 2 / 8.) ) Let me give things wy: Prove tht this tree produces ll possile positive rctions, written in reduced orm, with no rction ever ppering more thn once. It is constructed y the ollowing rule: Ech rction hs two children: let child, rction lwys smller thn, nd right child lwys lrger thn. ) Continue drwing the rction tree or nother two rows. ) Explin why the rction 3 2 will eventully pper in the tree. (It might e esier to irst igure wht should e the prent o 3 nd its grndprent, nd so 2 on.) THE EUCLIDEA ALGORITHM: I two numers nd re multiples o three, then so too will e their dierence:. In ct, it is not too hrd to see tht i one lists ll the common ctors o nd nd then lists ll the common ctors o nd, the two lists will e the sme. [For exmple, with = 84 nd 2 84,2 hs common = the pir ( ) ctors:, 2, 3, 4, 6, nd 2, nd the pir 84,36 hs common ctors:, 2, 3, 4, 6, ( ) nd 2!] Gree geometer Euclid (c. 3 B.C.E) noticed this too nd went urther to oserve tht i we ply the gme o repetedly sutrcting the smller numer rom the lrger rom pir o numers to produce new pirs, the lists o common ctors cnnot chnge: 84,2 84,36 48,36 ( ) ( ) ( ) ( 2, 36) ( 2, 24) ( 2,2) All pirs hve common ctors:, 2, 3, 4, 6 nd 2.
3 As the numers in the pirs re decresing in size (we do not llow ourselves to go to zero), this process must stop nd do so when there is no smller vlue to sutrct rom lrger. Tht is, this process must stop y reching pir with common vlue: d, d. But the pir o numers d nd d ( ) hs the sme list o common ctors s do the originl pir nd. Since d is clerly the lrgest common ctor o d nd d, we must hve tht this inl numer d is the lrgest common ctor o nd. EUCLID S ALGORITHM: To ind the gretest common ctor o two numers, repetedly sutrct the smller rom the lrger until common vlue ppers. This common vlue is the gretest common ctor! For exmple, consider 2 nd 7. The lgorithm gives: 2,7 2, 68 34, 68 34,34 ( ) ( ) ( ) ( ) Their gretest common ctor is 34. EXERCISE: Find the gretest common ctor o 457 nd 777. COECTIOS TO THE FRACTIO TREE: Strt t pex o the rction tree nd ollow pth down s r s you plese nd stop t some rction. Do you see tht this pth is just the Eucliden lgorithm conducted in reverse? In ct, strting t / nd ollowing your pth c to / is precisely the pth o Euclid s lgorithm,. As this reverse pplied to the pir ( ) pth yields the inl pir (, ), the rction / hs gretest common ctor etween its numertor nd denomintor. Tht is, / must e in reduced orm. Moreover, every reduced rction must pper in the tree: just pply the Eucliden lgorithm to the numertor nd denomintor to see where it lies in the tree. Finlly, no rction ppers twice in the tree. I one did, then its prent too would pper O REFLECTIO: ewsletter Jnury 2 twice, s would its grndprent, gret grnd prent, nd so on, ll the wy down to / ppering twice, which does not! COMMET: I we red the rctions let to right cross the rows o the tree we otin the sequence:,, 2,, 3, 2, 3,, 4, This list contins ll the positive rctions. The ct tht one cn list the rtionls ws irst discovered y Georg Cntor in the 8s. He ccomplished this et dierent wy. CHALLEGE: Put ll the rtionls, oth the positive nd negtive rctions, including zero, into single list. SOME MYSTERIES: Loo t the numertors tht pper in the rction tree, reding cross the tree y its rows. We otin the sequence: (The denomintors ollow the sme sequence oset y one.) ) Pluc out every second entry, the ones in even positions. This gives,, 2,, 3, 2, 3,,, the originl sequence! ) Ech entry in n odd position (ter the irst) is the sum o its two neighours! 2=, 3= 2, 3= 2, 4= 3, 5= 3 2, c) Every third entry is even. All other entries re odd. d) The entries etween the ones re plindromes: The digits o ech o these plindromes dd to one less thn power o three. RESEARCH CORER: Prove these clims. Discover more remrle properties o this sequence. Cn you push the sequence cwrds? For instnce, ) sys tht the entry to the let o the irst must e zero. Wht s next on the let? 2 Jmes Tnton St. Mr s Institute o Mthemtics. mthinstitute@stmrsschool.org
4 STER-BROCOT TREE: Commentry STER-BROCOT TREE Jnury 2 COMMETARY, SOLUTIOS nd THOUGHTS This remrle rction tree is nown s the Stern-Brocot tree nd it ppers in [GRAHAM, KUTH nd PATASHIK]. A similr construct, nown s the Clin-Wil tree, is given y very similr lgorithm: ech reduced rction hs let child ut right child. Its properties, in to wht we hve outlined in the newsletter, re presented in [CALKI nd WILF]. The content o this newsletter lso ppers in [TATO]. In the Fll o 29, young students o the St. Mr s Institute o Mthemtics reserch clss lso explored the properties o the Stern-Brocot tree: They sed the ollowing question: I we enumerte the rctions reding cross the rows o the tree we otin the ollowing sequence o ll positive rtionls: ,,,,,,,,,,,,,,,,,, Wht is the th rction in this list? The 4,3 rd rction? Is it possile to determine the -th rction in this list without hving to enumerte entire rows o this tree? Here is their result: 2 Jmes Tnton
5 STER-BROCOT TREE: Commentry Theorem : Write in se two nd te note o the count o digits tht pper in ech loc o s nd s in its representtion. Suppose 2 = (with set equl to zero i is even). Then the -th rction in the Stern-Brocot sequence is the continued rction: = [,, 2,, ] = 2. For exmple, the numer one-hundred in se two is nd so 7 = = nd 43 in se two is nd so = [2,5,,,,, 2, 4, 2] =. 73 Proo: Construct tree o similr shpe using the counting numers: We see tht it ollows the rule: 2 Jmes Tnton
6 STER-BROCOT TREE: Commentry For numers written in inry, this hs nice interprettion: To crete the let child o counting numer, ppend zero t the end o its inry representtion. To crete right child, ppend one. Thus ech digit in inry representtion o numer represents let down-step in the tree nd ech (ter the irst) right down-step in the tree. The numer ourteen, or exmple, with inry code cn e interpreted s RRL which mens: Strt t. Step right. Step right. Step let. 2 In terms o locs, i = hs locs,,,, (with possily zero), then its let child, ddend zero, hs locs,,,,,, i nd locs,,,, i =, nd its right child, ddend, hs locs.,,,, The rctions in the Stern-Brocot tree ollow the sme pttern! I = 2 then its let child is: = = / 2 (which equls = = / 2 i = ), nd its right child is = = ( ) 2 This estlishes the proo. 2 Jmes Tnton
7 STER-BROCOT TREE: Commentry Students went urther nd ound the ollowing dditionl curiosity: Theorem 2: For,, 2,, 3, 2, 3,, 4, 3, 5, 2, 5, 3, 4,, 5, 4,, the sum o ny rction in the sequence nd the reciprocl o its next term is lwys n odd integer. Precisely, 2 = where re the numer o zeros t the til end o the inry representtion o. This provides swit mens or computing the -th rction i is lredy nown. THE UMERATORS I THE FRACTIO TREE Agin let denote the -th rction in the Stern-Brocot tree in reding let to right cross its rows. Given the construct o the tree, it is not diicult to see tht the denomintor o lwys mtches the numertor o. Thus i e denotes the numertor o we hve: = e e with the sequence o numertors eginning,, 2,, 3, 2, 3,,. Also, given the construct o the tree: we see e 2 = e e = e e 2 This shows tht the even terms the sequence { e } mtch the originl sequence nd tht the odd terms stisy e2 = e e = e2 e2 2 s climed in the newsletter. The plindromic properties o the sequence ollow s consequence o these reltions. (The sequence strts with the plindromes nd 2 nd these represent the next ew even terms o the sequence perpetuting the symmetry. The odd terms, eing the sums o neighoring terms, preserve this symmetry too.) 2 Jmes Tnton
8 STER-BROCOT TREE: Commentry AOTHER BIARY COECTIO Every positive integer hs unique inry representtion using the digits nd. But i we permit use o the digit 2 s well, numer my e expressed in se two in more thn one wy. For exmple, the numer ten now hs ive possile representtions: I present this to young students s weighing puzzle: I hve two rocs ech weighing pound, two rocs ech weighing 2 pounds, two ech weighing 4 pounds, two ech weighing 8 pounds, nd so on. In how mny wys cn I me ten pounds? Let ( ) denote the count o wys o ming weight o pounds. This gives the sequence ( ) nown s Stern s ditomic sequence [SLOAE, A2487]. { } I is odd, then we must use precisely one pound roc nd we re let trying to me weight o pounds using rocs o weights 2, 4, 8, 6. Dividing through y two we see tht this is equivlent to computing. Thus we hve: 2 ( 2 ) = ( ) I is even, we cn either use two pound rocs nd mtch weight o 2 pounds with the 2 remining rocs (nd there re wys to do this) or we cn use no - pound weights 2 nd mtch pounds with the remining rocs (nd there re wys to ccomplish this). 2 This gives: ( 2 ) = ( ) ( ) These reltions llow us to write down the sequence { ( )} :,2,,3,2,3,,4,3,5,2,5,3, 4,, 2 Jmes Tnton
9 STER-BROCOT TREE: Commentry nd we see the sequence { } re the sme.) e oset y one! (ote tht the recursive reltions or e nd ( ) Given our wor with the Stern-Brocot tree, the ollowing result is cler. But i it were presented cold, with no context or its derivtion, it is truly mind oggling! Theorem 3: Consider the sequence,2,,3,2,3,,4,3,5,2,5,3, 4,,. given y counting the numer o wys to represent ech integer in se two using the digits, nd 2. Then every, ppers in this sequence s pir o neighoring terms exctly pir o coprime integers ( ) once. We cn sy more out this sequence y rephrsing theorem 2: For ny three consecutive terms in this sequence, the sum o the irst nd lst term is n odd multiple o the middle term. REFERECES: [CALKI nd WILF] Clin,., nd Wil, H.S., Recounting the rtionls, Americn Mthemticl Monthly, 7 (2), [GRAHAM, KUTH nd PATASHIK] Grhm, R.L., Knuth, D.E., nd Ptshni, O., Concrete Mthemtics: A Foundtion or Computer Science, 2 nd ed., Addison-Wesley, Reding, MA, 994. [SLOAE] Slone,.J.A., The On-Line Encyclopedi o Integer Sequences. URL: [TATO] Tnton, J., THIKIG MATHEMATICS! Volume :Arithmetic = Gtewy to All, Jmes Tnton
p-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationENGI 3424 Engineering Mathematics Five Tutorial Examples of Partial Fractions
ENGI 44 Engineering Mthemtics Five Tutoril Exmples o Prtil Frctions 1. Express x in prtil rctions: x 4 x 4 x 4 b x x x x Both denomintors re liner non-repeted ctors. The cover-up rule my be used: 4 4 4
More informationIntermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4
Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationI1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3
2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationMTH 505: Number Theory Spring 2017
MTH 505: Numer Theory Spring 207 Homework 2 Drew Armstrong The Froenius Coin Prolem. Consider the eqution x ` y c where,, c, x, y re nturl numers. We cn think of $ nd $ s two denomintions of coins nd $c
More information(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer
Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationBridging the gap: GCSE AS Level
Bridging the gp: GCSE AS Level CONTENTS Chpter Removing rckets pge Chpter Liner equtions Chpter Simultneous equtions 8 Chpter Fctors 0 Chpter Chnge the suject of the formul Chpter 6 Solving qudrtic equtions
More informationset is not closed under matrix [ multiplication, ] and does not form a group.
Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationChapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1
Chpter Five: Nondeterministic Finite Automt Forml Lnguge, chpter 5, slide 1 1 A DFA hs exctly one trnsition from every stte on every symol in the lphet. By relxing this requirement we get relted ut more
More informationHandout: Natural deduction for first order logic
MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More informationParse trees, ambiguity, and Chomsky normal form
Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk out solving systems of liner equtions. These re prolems tht give couple of equtions with couple of unknowns, like: 6= x + x 7=
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationExercises with (Some) Solutions
Exercises with (Some) Solutions Techer: Luc Tesei Mster of Science in Computer Science - University of Cmerino Contents 1 Strong Bisimultion nd HML 2 2 Wek Bisimultion 31 3 Complete Lttices nd Fix Points
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationMathematics Number: Logarithms
plce of mind F A C U L T Y O F E D U C A T I O N Deprtment of Curriculum nd Pedgogy Mthemtics Numer: Logrithms Science nd Mthemtics Eduction Reserch Group Supported y UBC Teching nd Lerning Enhncement
More informationMore on automata. Michael George. March 24 April 7, 2014
More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose
More informationConsolidation Worksheet
Cmbridge Essentils Mthemtics Core 8 NConsolidtion Worksheet N Consolidtion Worksheet Work these out. 8 b 7 + 0 c 6 + 7 5 Use the number line to help. 2 Remember + 2 2 +2 2 2 + 2 Adding negtive number is
More informationHomework Solution - Set 5 Due: Friday 10/03/08
CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution - et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte non-finl.
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationLecture 2: January 27
CS 684: Algorithmic Gme Theory Spring 217 Lecturer: Év Trdos Lecture 2: Jnury 27 Scrie: Alert Julius Liu 2.1 Logistics Scrie notes must e sumitted within 24 hours of the corresponding lecture for full
More informationMATH 573 FINAL EXAM. May 30, 2007
MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.
More informationAnswers and Solutions to (Some Even Numbered) Suggested Exercises in Chapter 11 of Grimaldi s Discrete and Combinatorial Mathematics
Answers n Solutions to (Some Even Numere) Suggeste Exercises in Chpter 11 o Grimli s Discrete n Comintoril Mthemtics Section 11.1 11.1.4. κ(g) = 2. Let V e = {v : v hs even numer o 1 s} n V o = {v : v
More informationAQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system
Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationIntroduction to Mathematical Reasoning, Saylor 111
Frction versus rtionl number. Wht s the difference? It s not n esy question. In fct, the difference is somewht like the difference between set of words on one hnd nd sentence on the other. A symbol is
More informationUniversitaireWiskundeCompetitie. Problem 2005/4-A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationCS 275 Automata and Formal Language Theory
CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)
More informationLecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.
Lecture 3 Ferury 6 ern University of pplied ciences ev. f57fc 3. We hve seen tht circuit cn hve multiple (n) inputs, e.g.,, C, We hve lso seen tht circuit cn hve multiple (m) outputs, e.g. X, Y,, ; or
More informationCM10196 Topic 4: Functions and Relations
CM096 Topic 4: Functions nd Reltions Guy McCusker W. Functions nd reltions Perhps the most widely used notion in ll of mthemtics is tht of function. Informlly, function is n opertion which tkes n input
More informationMath 8 Winter 2015 Applications of Integration
Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:10-18:30 Techer: Dniel Hedin, phone 021-107052 The exm
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationTorsion in Groups of Integral Triangles
Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More information2 b. , a. area is S= 2π xds. Again, understand where these formulas came from (pages ).
AP Clculus BC Review Chpter 8 Prt nd Chpter 9 Things to Know nd Be Ale to Do Know everything from the first prt of Chpter 8 Given n integrnd figure out how to ntidifferentite it using ny of the following
More informationMATH FIELD DAY Contestants Insructions Team Essay. 1. Your team has forty minutes to answer this set of questions.
MATH FIELD DAY 2012 Contestnts Insructions Tem Essy 1. Your tem hs forty minutes to nswer this set of questions. 2. All nswers must be justified with complete explntions. Your nswers should be cler, grmmticlly
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationCS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS
CS 310 (sec 20) - Winter 2003 - Finl Exm (solutions) SOLUTIONS 1. (Logic) Use truth tles to prove the following logicl equivlences: () p q (p p) (q q) () p q (p q) (p q) () p q p q p p q q (q q) (p p)
More informationCompiler Design. Fall Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
University of Southern Cliforni Computer Science Deprtment Compiler Design Fll Lexicl Anlysis Smple Exercises nd Solutions Prof. Pedro C. Diniz USC / Informtion Sciences Institute 4676 Admirlty Wy, Suite
More informationLesson 25: Adding and Subtracting Rational Expressions
Lesson 2: Adding nd Subtrcting Rtionl Expressions Student Outcomes Students perform ddition nd subtrction of rtionl expressions. Lesson Notes This lesson reviews ddition nd subtrction of frctions using
More informationIntroduction to Algebra - Part 2
Alger Module A Introduction to Alger - Prt Copright This puliction The Northern Alert Institute of Technolog 00. All Rights Reserved. LAST REVISED Oct., 008 Introduction to Alger - Prt Sttement of Prerequisite
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationLecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences
Lecture 6 epresenttions epresenttions TE52 - Electronics Fundmentls ugust 24 ern University of pplied ciences ev. c2d5c88 6. Integers () sign-nd-mgnitude representtion The set of integers contins the Nturl
More informationLecture 09: Myhill-Nerode Theorem
CS 373: Theory of Computtion Mdhusudn Prthsrthy Lecture 09: Myhill-Nerode Theorem 16 Ferury 2010 In this lecture, we will see tht every lnguge hs unique miniml DFA We will see this fct from two perspectives
More informationSection 6: Area, Volume, and Average Value
Chpter The Integrl Applied Clculus Section 6: Are, Volume, nd Averge Vlue Are We hve lredy used integrls to find the re etween the grph of function nd the horizontl xis. Integrls cn lso e used to find
More informationFirst Midterm Examination
Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does
More information378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.
378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationSUMMER KNOWHOW STUDY AND LEARNING CENTRE
SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18
More information5: The Definite Integral
5: The Definite Integrl 5.: Estimting with Finite Sums Consider moving oject its velocity (meters per second) t ny time (seconds) is given y v t = t+. Cn we use this informtion to determine the distnce
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationare fractions which may or may not be reduced to lowest terms, the mediant of ( a
GENERATING STERN BROCOT TYPE RATIONAL NUMBERS WITH MEDIANTS HAROLD REITER AND ARTHUR HOLSHOUSER Abstrct. The Stern Brocot tree is method of generting or orgnizing ll frctions in the intervl (0, 1 b strting
More informationProblem Set 9. Figure 1: Diagram. This picture is a rough sketch of the 4 parabolas that give us the area that we need to find. The equations are:
(x + y ) = y + (x + y ) = x + Problem Set 9 Discussion: Nov., Nov. 8, Nov. (on probbility nd binomil coefficients) The nme fter the problem is the designted writer of the solution of tht problem. (No one
More informationDesigning finite automata II
Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of
More information7. Indefinite Integrals
7. Indefinite Integrls These lecture notes present my interprettion of Ruth Lwrence s lecture notes (in Herew) 7. Prolem sttement By the fundmentl theorem of clculus, to clculte n integrl we need to find
More informationFor the percentage of full time students at RCC the symbols would be:
Mth 17/171 Chpter 7- ypothesis Testing with One Smple This chpter is s simple s the previous one, except it is more interesting In this chpter we will test clims concerning the sme prmeters tht we worked
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More information1 ELEMENTARY ALGEBRA and GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE
ELEMENTARY ALGEBRA nd GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE Directions: Study the exmples, work the prolems, then check your nswers t the end of ech topic. If you don t get the nswer given, check
More informationI do slope intercept form With my shades on Martin-Gay, Developmental Mathematics
AAT-A Dte: 1//1 SWBAT simplify rdicls. Do Now: ACT Prep HW Requests: Pg 49 #17-45 odds Continue Vocb sheet In Clss: Complete Skills Prctice WS HW: Complete Worksheets For Wednesdy stmped pges Bring stmped
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More information1 From NFA to regular expression
Note 1: How to convert DFA/NFA to regulr expression Version: 1.0 S/EE 374, Fll 2017 Septemer 11, 2017 In this note, we show tht ny DFA cn e converted into regulr expression. Our construction would work
More informationImproper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:
Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More information11.1 Finite Automata. CS125 Lecture 11 Fall Motivation: TMs without a tape: maybe we can at least fully understand such a simple model?
CS125 Lecture 11 Fll 2016 11.1 Finite Automt Motivtion: TMs without tpe: mybe we cn t lest fully understnd such simple model? Algorithms (e.g. string mtching) Computing with very limited memory Forml verifiction
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationHow can we approximate the area of a region in the plane? What is an interpretation of the area under the graph of a velocity function?
Mth 125 Summry Here re some thoughts I ws hving while considering wht to put on the first midterm. The core of your studying should be the ssigned homework problems: mke sure you relly understnd those
More informationLecture 2e Orthogonal Complement (pages )
Lecture 2e Orthogonl Complement (pges -) We hve now seen tht n orthonorml sis is nice wy to descrie suspce, ut knowing tht we wnt n orthonorml sis doesn t mke one fll into our lp. In theory, the process
More informationBeginning Darboux Integration, Math 317, Intro to Analysis II
Beginning Droux Integrtion, Mth 317, Intro to Anlysis II Lets strt y rememering how to integrte function over n intervl. (you lerned this in Clculus I, ut mye it didn t stick.) This set of lecture notes
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More informationThe graphs of Rational Functions
Lecture 4 5A: The its of Rtionl Functions s x nd s x + The grphs of Rtionl Functions The grphs of rtionl functions hve severl differences compred to power functions. One of the differences is the behvior
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationList all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.
Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show
More informationCS 330 Formal Methods and Models
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER LANGUAGES AND COMPUTATION ANSWERS
The University of Nottinghm SCHOOL OF COMPUTER SCIENCE LEVEL 2 MODULE, SPRING SEMESTER 2016 2017 LNGUGES ND COMPUTTION NSWERS Time llowed TWO hours Cndidtes my complete the front cover of their nswer ook
More informationAdvanced Algebra & Trigonometry Midterm Review Packet
Nme Dte Advnced Alger & Trigonometry Midterm Review Pcket The Advnced Alger & Trigonometry midterm em will test your generl knowledge of the mteril we hve covered since the eginning of the school yer.
More information5.2 Exponent Properties Involving Quotients
5. Eponent Properties Involving Quotients Lerning Objectives Use the quotient of powers property. Use the power of quotient property. Simplify epressions involving quotient properties of eponents. Use
More information7.1 Integral as Net Change and 7.2 Areas in the Plane Calculus
7.1 Integrl s Net Chnge nd 7. Ares in the Plne Clculus 7.1 INTEGRAL AS NET CHANGE Notecrds from 7.1: Displcement vs Totl Distnce, Integrl s Net Chnge We hve lredy seen how the position of n oject cn e
More informationMA 131 Lecture Notes Calculus Sections 1.5 and 1.6 (and other material)
MA Lecture Notes Clculus Sections.5 nd.6 (nd other teril) Algebr o Functions Su, Dierence, Product, nd Quotient o Functions Let nd g be two unctions with overlpping doins. Then or ll x coon to both doins,
More informationn f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1
The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the
More informationVectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors:
Vectors 1-23-2018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2-dimensionl vectors: (2, 3), ( )
More informationDISCRETE MATHEMATICS HOMEWORK 3 SOLUTIONS
DISCRETE MATHEMATICS 21228 HOMEWORK 3 SOLUTIONS JC Due in clss Wednesdy September 17. You my collborte but must write up your solutions by yourself. Lte homework will not be ccepted. Homework must either
More informationCS 275 Automata and Formal Language Theory
CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) Anton Setzer (Bsed on book drft by J. V. Tucker nd K. Stephenson)
More informationMath 130 Midterm Review
Mth 130 Midterm Review April 6, 2013 1 Topic Outline: The following outline contins ll of the mjor topics tht you will need to know for the exm. Any topic tht we ve discussed in clss so fr my pper on the
More informationA study of Pythagoras Theorem
CHAPTER 19 A study of Pythgors Theorem Reson is immortl, ll else mortl. Pythgors, Diogenes Lertius (Lives of Eminent Philosophers) Pythgors Theorem is proly the est-known mthemticl theorem. Even most nonmthemticins
More informationModel Reduction of Finite State Machines by Contraction
Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900
More informationThoery of Automata CS402
Thoery of Automt C402 Theory of Automt Tle of contents: Lecture N0. 1... 4 ummry... 4 Wht does utomt men?... 4 Introduction to lnguges... 4 Alphets... 4 trings... 4 Defining Lnguges... 5 Lecture N0. 2...
More information