IST 4 Information and Logic
|
|
- Jody Mathews
- 5 years ago
- Views:
Transcription
1 IST 4 Informtion nd Logic
2 mon tue wed thr fri sun T = tody 3 M1 oh 1 x= hw#x out 10 oh M1 17 oh oh 1 2 M2 oh oh x= hw#x due 24 oh oh 2 oh = office hours oh 1 oh M2 8 3 oh midterms oh oh Mx= MQx out 15 oh T 3 4 oh Mx= MQx due 22 oh oh 4 5 CP1 CP = chllenge prolem 29 CP2 5 oh 5 oh oh CP oh oh
3 Chllenge Prolems They re optionl nd cn e completed nytime efore the due dtes, to e eligile for presenttion on Thursdy 6/1: Due dtes: First prolem 5/26, Second prolem 5/29. Credit of 3 points for those not lredy presenting their MQs Credit of 1 point for those presenting MQs. Collorte with friends (mx 2-3) nd/or sk for help from the TAs. We re excited to see wht you will come up with!
4 Chllenge Prolem 1 due 5/26 The first coding chllenge is to implement function tht retrieves the minimum numer of steps it tkes to generte string using only tndem duplictions from one of the following seed strings: {0, 1, 01, 10, 101, 010}; s listed in prolem 1, HW1. Once you hve completed this you will relize tht for lrge strings it tkes lot of time for your progrm to grow s the serch spce ecomes much lrger. The chllenge is to think of wys to optimize this genertion process nd rgue why your solution is good. In your solution, plese descrie your lgorithm nd pproch. Discuss pros nd cons nd wht things you like/dislike out your lgorithm. We might run competition in clss
5 Chllenge Prolem 2 due 5/29 In homework 3, you found circuit for computing prity of 2 nd 3 vriles with 4 nd 8 m-oxes respectively. By using the sme ide, you cn compute prity of 4 vriles with 12 m- oxes. Is 12 is the smllest size of circuit of m-oxes for computing the prity of 4 vriles? Wht is the smllest circuit for prity of 4 vriles? You cn use forml proof or n lgorithm/code to check ll possile circuit configurtions.
6 Lst time DNF is wy to express syntx ox using formul lger meets syntx oxes Ide: construct DNF y dding the norml terms tht correspond to the norml ssignments (f=1) m(,)
7 Lst time DNF is wy to express syntx ox using formul XOR(,) XOR(,)
8 Lst time Boolen Alger lnguge for inry mgic oxes m Cn relize the opertions of the lger cn compute ny DNF mgicl for Binry
9 HW#3, perspective:?? with 5 m-oxes?
10 Leiniz d1 d2 c 2 symol dder c s
11 When ws the first inry dder uilt? Shnnon Leiniz Boole d1 d2 c 2 symol dder c s sum crry
12 The First Digitl Adder George Stiitz, Ford Model T Grduted with PhD from Cornel in 1930 He worked t Bell Ls in New York In the fll of 1937 Stiitz used surplus relys, tin cn strips, flshlight uls, nd other common items to construct his "Model K" K stnds for kitchen...
13 Bell Ls Model Bell Ls Model 1 Complex Clcultor Computed with complex numers 450 relys Remote opertion... vi telegrph Drtmouth college to New York Invented the term (pulse) digitl s opposed to nlog
14 Logic to Physics Clude Shnnon s
15 Shnnon Clude Elwood Shnnon ws orn in Petoskey, Michign, on April 30, The first sixteen yers of Shnnon's life were spent in Gylord, Michign
16 Shnnon Shnnon s Bckground Clude Elwood Shnnon ws orn in Petoskey, Michign, on April 30, 1916 In 1932 (16) he entered the University of Michign, where he took course tht introduced him to the work of George Boole He grduted in 1936 (20) with two chelor's degrees, one in electricl engineering nd one in mthemtics Joined MIT in 1936, received the msters in electricl engineering nd doctorte in Mthemtics, t the 1940 (24) commencement
17 Shnnon s Inspirtion Joined MIT in 1936 Shnnon Vnnevr Bush Smuel Cldwell The differentil nlyzer t MIT (1931) ws the first generl eqution solver It could hndle sixth-order differentil equtions
18 Shnnon Connection Between Boolen Clculus nd Physicl Circuits Shnnon 1938 Hitchcock Shnnon s dvisor oth MSc nd PhD mthemticin 79 yers go
19 Hitchcock Bush Shnnon Institute for Advnced Study : Bell Ls : MIT
20 Hitchcock Bush Sutherlnd ws fculty t Cltech from 1974 to 1978 (lso MS degree) Served s the founding chir of the CS Deprtment t Cltech Shnnon Ivn Sutherlnd Institute for dvnced studies : Bell Ls : MIT
21 Bush Shnnon , MIT 1924, MIT Posted on the clss wesite Termn Buss Cumming Goodmn 1989, Stnford 1940, Stnford 1955, Stnford 1963, Stnford Bruck
22 Bush Leiniz Posted on the clss wesite Two centuries go Leiniz invented clcul/ng mchine which emodied most of the essen5l fetures of recent keyord devices, ut it could not then come into use. The economics of the situ5on were ginst it: the lor involved in construc/ng it, efore the dys of mss produc5on, exceeded the lor to e sved y its use, since ll it could ccomplish could e duplicted y sufficient use of pencil nd pper.
23 Logic to Physics The lnguge of lines s
24
25 Boolen Clculus nd Physicl Circuits Single Lines nd Composition The lnguge of lines: A line cn hve only two possile colors: lue or red Two lines cn e composed in two possile wys In prllel: In series:
26 Boolen Clculus nd Physicl Circuits Endpoints Lines hve endpoints Compositions hve endpoints Two lines cn e composed in two possile wys In prllel:
27 Boolen Clculus nd Physicl Circuits Endpoints Lines hve endpoints Compositions hve endpoints Two lines cn e composed in two possile wys In series:
28 Boolen Clculus nd Physicl Circuits Composition In prllel: Compositions of lines cn e composed in two different wys, using their endpoints
29 Boolen Clculus nd Physicl Circuits Composition In prllel: Compositions of lines cn e composed in two different wys, using their endpoints
30 Boolen Clculus nd Physicl Circuits Composition Compositions of lines cn e composed in two different wys, using their endpoints In series:
31 Boolen Clculus nd Physicl Circuits Composition In series: Compositions of lines cn e composed in two different wys, using their endpoints
32 Boolen Clculus nd Physicl Circuits Color of Composition Wht is the color of composition? color = lue color = red???
33 Boolen Clculus nd Physicl Circuits Color of Composition Wht is the color of composition? color = lue color = red The color of composition is red if there is red pth etween the endpoints Otherwise, the color is lue
34 The two-color line composition is 0-1 Boolen lger! How cn we prove it?
35 Boolen Alger Algeric system: set of elements B, two inry opertions + nd B hs t lest two elements (0 nd 1) If the following xioms re true then it is Boolen Alger: A1. identity A2. complement A3. commuttive A4. distriutive
36 Two-Colored Line Composition nd 0-1 Boolen Alger Algeric system: set of elements B, two inry opertions + nd B hs t lest two elements (0 nd 1) Elements: 0 1
37 Two-Colored Line Composition nd 0-1 Boolen Alger Algeric system: set of elements B, two inry opertions + nd B hs t lest two elements (0 nd 1) Elements: Opertions: Compose in prllel: The color of composition is red if there is red pth etween the endpoints 0 1 Otherwise, the color is lue + Compose in series:
38 Two-Colored Line Composition nd 0-1 Boolen Alger 0 The color of the composition equls the color of The color of the composition equls the color of 1 + Compose in prllel Compose in series The color of composition is red if there is red pth etween the endpoints Otherwise, the color is lue
39 Two-Colored Line Composition nd 0-1 Boolen Alger The color of the composition is red = 1 The color of the composition is lue = 0 + Compose in prllel Compose in series The color of composition is red if there is red pth etween the endpoints. Otherwise, the color is lue
40 Two-Colored Line Composition nd 0-1 Boolen Alger By the definition of the color of composition + Compose in prllel Compose in series The color of composition is red if there is red pth etween the endpoints. Otherwise, the color is lue
41 Two-Colored Line Composition nd 0-1 Boolen Alger Two pths: nd c c c
42 Is the two-color line composition 0-1 Boolen lger?
43 circuits = lger In Shnnon s words: The lger of logic originted y George Boole, is symolic method of investigting logicl reltionships. The symols of Boolen lger dmit of two logicl interprettions. If interpreted in terms of clsses, the vriles re not limited to the two possile vlues 0 nd 1. E. V. Huntington gives the following set of postultes for symolic logic: We re now in position to demonstrte the equivlence of this clculus with certin elementry prts of the clculus of propositions.
44 Shnnon Shnnon used relys nd connected them in series-prllel circuits Rely on the edge controlled y 0-1 vrile
45 Shnnon Connection Between Boolen Clculus nd Physicl Circuits Shnnon The vlue of circuit is 1 if there is connected pth etween the endpoints Otherwise, it is The color of composition is red if there is red pth etween the endpoints Otherwise, the color is lue
46 Rely Circuits nlysis nd synthesis s
47 Shnnon Connection Between Boolen Clculus nd Physicl Circuits Shnnon 1938 No mention of computers... they did not exist A concept tht is missing in the text?
48 In Shnnon s words: nlysis of circuits..ny circuit is represented y set of equtions, The terms of the equtions corresponding to the vrious relys nd switches in the circuit. A clculus is developed for mnipulting these equtions y simple mthemticl processes most of which re similr to ordinry lgeric lgorisms. This clculus is shown to e exctly nlogous to the clculus of propositions used in the symolic study of logic.
49 In Shnnon s words: synthesis of circuits For the synthesis prolem the desired chrcteristics re first written s system of equtions, nd the equtions re then mnipulted into the form representing the simplest circuit. The circuit my then e immeditely drwn from the equtions. desired chrcteristic system of equtions simplified set of equtions simple circuit
50 In Shnnon s words: synthesis of circuits For the synthesis prolem the desired chrcteristics re first written s system of equtions, nd the equtions re then mnipulted into the form representing the simplest circuit. The circuit my then e immeditely drwn from the equtions. desired chrcteristic The lnguge of system of equtions Logic Design is orn! simplified set of equtions simple circuit
51 Rely Circuits nlysis
52 A rely circuit corresponds to formul rely circuits Boolen functions Boolen sum of ll the pths etween endpoints
53 Anlysis of Rely Circuits Exmple 1: - series-prllel - independent pths etween endpoints d c e c d e 10 relys
54 Exmple 1: - series-prllel - independent pths etween endpoints d e c e c d 10 relys
55 Exmple 1: - series-prllel - independent pths etween endpoints d e c e c d 10 relys
56 Exmple 1: - series-prllel - independent pths etween endpoints d e c e c d 10 relys
57 Exmple 1: - series-prllel - independent pths etween endpoints d e c e c d 10 relys
58 Anlysis of Rely Circuits Exmple 2: - non series-prllel - dependent pths etween endpoints c d e 5 relys
59 Anlysis of Rely Circuits c d e 5 relys
60 Anlysis of Rely Circuits c d e 5 relys
61 Anlysis of Rely Circuits c d e 5 relys
62 Anlysis of Rely Circuits c d e 5 relys
63 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) How mny functions? c d e
64 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
65 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
66 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
67 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
68 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
69 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
70 Anlysis of Rely Circuits Exmple 3: multiple terminls (lso in HW#4) c d e
71 Exmple 3: 6 functions multiple terminls c d e
72 Anlysis of Rely Circuits Exmple 4: - series-prllel - MANY dependent pths etween endpoints Q: how mny FORWARD pths?
73 Anlysis of Rely Circuits Exmple 4: - series-prllel - MANY dependent pths etween endpoints Q: how mny FORWARD pths? 3X3X3X3 =81
74 Anlysis of Rely Circuits Exmple 4: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of d c c d e
75 Anlysis of Rely Circuits Exmple 4: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of d c c d e Q: Is (=0, =1, c=1, d=1, e=1) stisfying ssignment? NO
76 Anlysis of Rely Circuits Exmple 4: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of d c c d e Q: Is (=1, =1, c=1, d=1, e=1) stisfying ssignment? YES
77 Anlysis of Rely Circuits Is there stisfying ssignment?
78 Anlysis of Rely Circuits Exmple 5: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of c c Q: Is there stisfying ssignment?? NO
79 Anlysis of Rely Circuits Exmple 5: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of c c Q: Is there stisfying ssignment? must e 1
80 Anlysis of Rely Circuits Exmple 5: - series-prllel - MANY dependent pths etween endpoints Red = vrile Blue = complement of c c Q: Is there stisfying ssignment? must e 0 Contrdiction!
81 Efficient lgorizms? Questions on stisfying ssignments? The SAT prolem Is given ssignment stisfying? Is there stisfying ssignment?
82 There is n efficient lgorizm for verifying given SAT solution for ny structure! d c c d e It is relted to lgorizms for solving connectivity prolems grphs
83 Algorizms for finding SAT ssignment? c c If the circuit hs width 2: There is n efficient lgorizm for finding stisfying ssignment...
84 However, if the circuit hs width>2: No efficient lgorizm is known! It is likely, tht n efficient lgorizm does not exist d c c d e
85 Efficient lgorizms? Questions on stisfying (SAT) ssignments? Is given ssignment stisfying? Is there stisfying ssignment? Shnnon s connection etween computtion nd Boolen lger is t the core of Algorithms nd Complexity! P vs NP question
86 Wht is the function?
87 Wht Anlysis is the of Rely function? Circuits Red = vrile Blue = complement of c c d c d c
88 Wht Anlysis is the of Rely function? Circuits The key: 1 - switch etween low nd high 0 - sty t the sme level Red = vrile Blue = complement of c d odd prity c d c even prity
89 Wht Anlysis is the of Rely function? Circuits The key: 1 - switch etween low nd high 0 - sty t the sme level odd prity =1 d=1 =1 c=0 even prity
90 Wht Anlysis is the of Rely function? Circuits The key: 1 - switch etween low nd high 0 - sty t the sme level odd prity =1 c=0 d=1 =0 even prity
91 Wht Anlysis is the of Rely function? Circuits The key: 1 - switch etween low nd high 0 - sty t the sme level Red = vrile Blue = complement of odd prity even prity
92 Importnt note Shnnon Used the Dul Nottion In this HW set use the nottion from clss! 1 = closed rely/circuit 0 = open rely/circuit
93
94
95 One circuit with multiple terminls for mny functions
96 One circuit with multiple terminls for mny functions
97 One circuit with multiple terminls for mny functions f(,) f(,)=1 f(,)= 00? ??? f(,)=and f(,)=xor
98 Wit until fter the clss on Thursdy... c CQ(,,c)
99 Wit until fter the clss on Thursdy...
100 Wit until fter the clss on Thursdy...
IST 4 Information and Logic
IST 4 Informtion nd Logic T = tody x= hw#x out x= hw#x due mon tue wed thr 28 M1 oh 1 4 oh M1 11 oh oh 1 2 M2 18 oh oh 2 fri oh oh = office hours oh 25 oh M2 2 3 oh midterms oh Mx= MQx out 9 oh 3 T 4 oh
More informationIST 4 Information and Logic
IST 4 Informtion nd Logic T = tody x= hw#x out x= hw#x due mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 21 oh oh 2 oh Mx= MQx out Mx= MQx due 28 oh M2 oh oh = office hours 5 3 12 oh 3 T 4 oh oh 19
More informationBoolean algebra.
http://en.wikipedi.org/wiki/elementry_boolen_lger Boolen lger www.tudorgir.com Computer science is not out computers, it is out computtion nd informtion. computtion informtion computer informtion Turing
More informationCS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation
CS2N: The Coming Revolution in Computer Architecture Lortory 2 Preprtion Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes
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 informationexpression simply by forming an OR of the ANDs of all input variables for which the output is
2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output
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 information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2014
CS125 Lecture 12 Fll 2014 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationCS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted
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 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 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 informationCombinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.
5/9/ Comintionl Logic ENGG05 st Semester, 0 Dr. Hyden So Representtions of Logic Functions Recll tht ny complex logic function cn e expressed in wys: Truth Tle, Boolen Expression, Schemtics Only Truth
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 informationElements of Computing Systems, Nisan & Schocken, MIT Press. Boolean Logic
Elements of Computing Systems, Nisn & Schocken, MIT Press www.idc.c.il/tecs Usge nd Copyright Notice: Boolen Logic Copyright 2005 Nom Nisn nd Shimon Schocken This presenttion contins lecture mterils tht
More informationBoolean Algebra. Boolean Algebra
Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with: - two inry opertions, commonly denoted y + nd, - unry opertion, usully denoted y ˉ or ~ or, - two elements usully clled zero nd
More informationDATABASE DESIGN I - 1DL300
DATABASE DESIGN I - DL300 Fll 00 An introductory course on dtse systems http://www.it.uu.se/edu/course/homepge/dstekn/ht0/ Mnivskn Sesn Uppsl Dtse Lortory Deprtment of Informtion Technology, Uppsl University,
More informationOverview of Today s Lecture:
CPS 4 Computer Orgniztion nd Progrmming Lecture : Boolen Alger & gtes. Roert Wgner CPS4 BA. RW Fll 2 Overview of Tody s Lecture: Truth tles, Boolen functions, Gtes nd Circuits Krnugh mps for simplifying
More informationChapter 8.2: The Integral
Chpter 8.: The Integrl You cn think of Clculus s doule-wide triler. In one width of it lives differentil clculus. In the other hlf lives wht is clled integrl clculus. We hve lredy eplored few rooms in
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 informationReview of Gaussian Quadrature method
Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge
More informationM A T H F A L L CORRECTION. Algebra I 2 1 / 0 9 / U N I V E R S I T Y O F T O R O N T O
M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #1 CORRECTION Alger I 2 1 / 0 9 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O 1. Suppose nd re nonzero elements of field F. Using only the field xioms,
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 informationThe practical version
Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht
More informationName Ima Sample ASU ID
Nme Im Smple ASU ID 2468024680 CSE 355 Test 1, Fll 2016 30 Septemer 2016, 8:35-9:25.m., LSA 191 Regrding of Midterms If you elieve tht your grde hs not een dded up correctly, return the entire pper to
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 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 informationAnalytically, vectors will be represented by lowercase bold-face Latin letters, e.g. a, r, q.
1.1 Vector Alger 1.1.1 Sclrs A physicl quntity which is completely descried y single rel numer is clled sclr. Physiclly, it is something which hs mgnitude, nd is completely descried y this mgnitude. Exmples
More informationLecture 2 : Propositions DRAFT
CS/Mth 240: Introduction to Discrete Mthemtics 1/20/2010 Lecture 2 : Propositions Instructor: Dieter vn Melkeeek Scrie: Dlior Zelený DRAFT Lst time we nlyzed vrious mze solving lgorithms in order to illustrte
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 informationSeptember 13 Homework Solutions
College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are
More informationNondeterminism and Nodeterministic Automata
Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely
More information1B40 Practical Skills
B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need
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 informationFast Boolean Algebra
Fst Boolen Alger ELEC 267 notes with the overurden removed A fst wy to lern enough to get the prel done honorly Printed; 3//5 Slide Modified; Jnury 3, 25 John Knight Digitl Circuits p. Fst Boolen Alger
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 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 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 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 informationChapter 1: Boolean Logic
Elements of Computing Systems, Nisn & Schocken, MIT Press, 2005 www.idc.c.il/tecs Chpter 1: Boolen Logic Usge nd Copyright Notice: Copyright 2005 Nom Nisn nd Shimon Schocken This presenttion contins lecture
More information8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.
8. Complex Numers The rel numer system is dequte for solving mny mthemticl prolems. But it is necessry to extend the rel numer system to solve numer of importnt prolems. Complex numers do not chnge the
More informationu( t) + K 2 ( ) = 1 t > 0 Analyzing Damped Oscillations Problem (Meador, example 2-18, pp 44-48): Determine the equation of the following graph.
nlyzing Dmped Oscilltions Prolem (Medor, exmple 2-18, pp 44-48): Determine the eqution of the following grph. The eqution is ssumed to e of the following form f ( t) = K 1 u( t) + K 2 e!"t sin (#t + $
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 informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-378: Computer Hardware Design Winter Notes - Unit 1
ELETRIL ND OMPUTER ENGINEERING DEPRTMENT, OKLND UNIVERSIT EE-78: omputer Hrdwre Design Winter 016 INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl
More informationCS 330 Formal Methods and Models Dana Richards, George Mason University, Spring 2016 Quiz Solutions
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2016 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 9 1. (4pts) ((p q) (q r)) (p r), prove tutology using truth tles. p
More informationELECTRICAL AND COMPUTER ENGINEERING DEPARTMENT, OAKLAND UNIVERSITY ECE-2700: Digital Logic Design Fall Notes - Unit 1
INTRODUTION TO LOGI IRUITS Notes - Unit 1 OOLEN LGER This is the oundtion or designing nd nlyzing digitl systems. It dels with the cse where vriles ssume only one o two vlues: TRUE (usully represented
More informationDATABASTEKNIK - 1DL116
DATABASTEKNIK - DL6 Spring 004 An introductury course on dtse systems http://user.it.uu.se/~udl/dt-vt004/ Kjell Orsorn Uppsl Dtse Lortory Deprtment of Informtion Technology, Uppsl University, Uppsl, Sweden
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 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 informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 21 oh oh 2 oh Mx= MQx out 28 oh M2 oh oh = office hours 5 3 12 oh 3 4 oh oh T midterms oh
More informationMath 154B Elementary Algebra-2 nd Half Spring 2015
Mth 154B Elementry Alger- nd Hlf Spring 015 Study Guide for Exm 4, Chpter 9 Exm 4 is scheduled for Thursdy, April rd. You my use " x 5" note crd (oth sides) nd scientific clcultor. You re expected to know
More informationIntroduction to Electrical & Electronic Engineering ENGG1203
Introduction to Electricl & Electronic Engineering ENGG23 2 nd Semester, 27-8 Dr. Hden Kwok-H So Deprtment of Electricl nd Electronic Engineering Astrction DIGITAL LOGIC 2 Digitl Astrction n Astrct ll
More information332:221 Principles of Electrical Engineering I Fall Hourly Exam 2 November 6, 2006
2:221 Principles of Electricl Engineering I Fll 2006 Nme of the student nd ID numer: Hourly Exm 2 Novemer 6, 2006 This is closed-ook closed-notes exm. Do ll your work on these sheets. If more spce is required,
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 informationReasoning and programming. Lecture 5: Invariants and Logic. Boolean expressions. Reasoning. Examples
Chir of Softwre Engineering Resoning nd progrmming Einführung in die Progrmmierung Introduction to Progrmming Prof. Dr. Bertrnd Meyer Octoer 2006 Ferury 2007 Lecture 5: Invrints nd Logic Logic is the sis
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 informationGenetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary
Outline Genetic Progrmming Evolutionry strtegies Genetic progrmming Summry Bsed on the mteril provided y Professor Michel Negnevitsky Evolutionry Strtegies An pproch simulting nturl evolution ws proposed
More informationCS 301. Lecture 04 Regular Expressions. Stephen Checkoway. January 29, 2018
CS 301 Lecture 04 Regulr Expressions Stephen Checkowy Jnury 29, 2018 1 / 35 Review from lst time NFA N = (Q, Σ, δ, q 0, F ) where δ Q Σ P (Q) mps stte nd n lphet symol (or ) to set of sttes We run n NFA
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 informationArithmetic & Algebra. NCTM National Conference, 2017
NCTM Ntionl Conference, 2017 Arithmetic & Algebr Hether Dlls, UCLA Mthemtics & The Curtis Center Roger Howe, Yle Mthemtics & Texs A & M School of Eduction Relted Common Core Stndrds First instnce of vrible
More informationAP Calculus AB Summer Packet
AP Clculus AB Summer Pcket Nme: Welcome to AP Clculus AB! Congrtultions! You hve mde it to one of the most dvnced mth course in high school! It s quite n ccomplishment nd you should e proud of yourself
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 informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationLinear Inequalities. Work Sheet 1
Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend
More informationCHAPTER 1 Regular Languages. Contents. definitions, examples, designing, regular operations. Non-deterministic Finite Automata (NFA)
Finite Automt (FA or DFA) CHAPTER Regulr Lnguges Contents definitions, exmples, designing, regulr opertions Non-deterministic Finite Automt (NFA) definitions, equivlence of NFAs DFAs, closure under regulr
More information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016
CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationDesigning Information Devices and Systems I Fall 2016 Babak Ayazifar, Vladimir Stojanovic Homework 6. This homework is due October 11, 2016, at Noon.
EECS 16A Designing Informtion Devices nd Systems I Fll 2016 Bk Ayzifr, Vldimir Stojnovic Homework 6 This homework is due Octoer 11, 2016, t Noon. 1. Homework process nd study group Who else did you work
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
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 informationLecture Solution of a System of Linear Equation
ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner
More informationLecture 9: LTL and Büchi Automata
Lecture 9: LTL nd Büchi Automt 1 LTL Property Ptterns Quite often the requirements of system follow some simple ptterns. Sometimes we wnt to specify tht property should only hold in certin context, clled
More informationLearning Goals. Relational Query Languages. Formal Relational Query Languages. Formal Query Languages: Relational Algebra and Relational Calculus
Forml Query Lnguges: Reltionl Alger nd Reltionl Clculus Chpter 4 Lerning Gols Given dtse ( set of tles ) you will e le to express dtse query in Reltionl Alger (RA), involving the sic opertors (selection,
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 informationCS375: Logic and Theory of Computing
CS375: Logic nd Theory of Computing Fuhu (Frnk) Cheng Deprtment of Computer Science University of Kentucky 1 Tle of Contents: Week 1: Preliminries (set lger, reltions, functions) (red Chpters 1-4) Weeks
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 informationKleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem 2/16/15
Models of Comput:on Lecture #8 Chpter 7 con:nued Any lnguge tht e defined y regulr expression, finite utomton, or trnsi:on grph cn e defined y ll three methods We prove this y showing tht ny lnguge defined
More informationDesigning Information Devices and Systems I Anant Sahai, Ali Niknejad. This homework is due October 19, 2015, at Noon.
EECS 16A Designing Informtion Devices nd Systems I Fll 2015 Annt Shi, Ali Niknejd Homework 7 This homework is due Octoer 19, 2015, t Noon. 1. Circuits with cpcitors nd resistors () Find the voltges cross
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 informationFormal Language and Automata Theory (CS21004)
Forml Lnguge nd Automt Forml Lnguge nd Automt Theory (CS21004) Khrgpur Khrgpur Khrgpur Forml Lnguge nd Automt Tle of Contents Forml Lnguge nd Automt Khrgpur 1 2 3 Khrgpur Forml Lnguge nd Automt Forml Lnguge
More informationThings to Memorize: A Partial List. January 27, 2017
Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved
More informationEhrenfeucht-Fraïssé Games: Applications and Complexity. Department of Mathematics and Computer Science University of Udine, Italy ESSLLI 2010 CPH
Ehrenfeucht-Frïssé Gmes: Applictions nd Complexity Angelo Montnri Nicol Vitcolonn Deprtment of Mthemtics nd Computer Science University of Udine, Itly ESSLLI 2010 CPH Outline Introduction to EF-gmes Inexpressivity
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 informationCSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science
CSCI 340: Computtionl Models Kleene s Theorem Chpter 7 Deprtment of Computer Science Unifiction In 1954, Kleene presented (nd proved) theorem which (in our version) sttes tht if lnguge cn e defined y ny
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 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 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 information4.1. Probability Density Functions
STT 1 4.1-4. 4.1. Proility Density Functions Ojectives. Continuous rndom vrile - vers - discrete rndom vrile. Proility density function. Uniform distriution nd its properties. Expected vlue nd vrince of
More informationa,b a 1 a 2 a 3 a,b 1 a,b a,b 2 3 a,b a,b a 2 a,b CS Determinisitic Finite Automata 1
CS4 45- Determinisitic Finite Automt -: Genertors vs. Checkers Regulr expressions re one wy to specify forml lnguge String Genertor Genertes strings in the lnguge Deterministic Finite Automt (DFA) re nother
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 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 informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
More informationAP Calculus AB Summer Packet
AP Clculus AB Summer Pcket Nme: Welcome to AP Clculus AB! Congrtultions! You hve mde it to one of the most dvnced mth course in high school! It s quite n ccomplishment nd you should e proud of yourself
More informationNote 12. Introduction to Digital Control Systems
Note Introduction to Digitl Control Systems Deprtment of Mechnicl Engineering, University Of Ssktchewn, 57 Cmpus Drive, Ssktoon, SK S7N 5A9, Cnd . Introduction A digitl control system is one in which the
More informationHomework 4. 0 ε 0. (00) ε 0 ε 0 (00) (11) CS 341: Foundations of Computer Science II Prof. Marvin Nakayama
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 4 1. UsetheproceduredescriedinLemm1.55toconverttheregulrexpression(((00) (11)) 01) into n NFA. Answer: 0 0 1 1 00 0 0 11 1 1 01 0 1 (00)
More informationDEFINITION The inner product of two functions f 1 and f 2 on an interval [a, b] is the number. ( f 1, f 2 ) b DEFINITION 11.1.
398 CHAPTER 11 ORTHOGONAL FUNCTIONS AND FOURIER SERIES 11.1 ORTHOGONAL FUNCTIONS REVIEW MATERIAL The notions of generlized vectors nd vector spces cn e found in ny liner lger text. INTRODUCTION The concepts
More informationIndividual Contest. English Version. Time limit: 90 minutes. Instructions:
Elementry Mthemtics Interntionl Contest Instructions: Individul Contest Time limit: 90 minutes Do not turn to the first pge until you re told to do so. Write down your nme, your contestnt numer nd your
More informationSCHOOL OF ENGINEERING & BUILT ENVIRONMENT
SCHOOL OF ENGINEERING & BUIL ENVIRONMEN MARICES FOR ENGINEERING Dr Clum Mcdonld Contents Introduction Definitions Wht is mtri? Rows nd columns of mtri Order of mtri Element of mtri Equlity of mtrices Opertions
More informationChapter 9 Definite Integrals
Chpter 9 Definite Integrls In the previous chpter we found how to tke n ntiderivtive nd investigted the indefinite integrl. In this chpter the connection etween ntiderivtives nd definite integrls is estlished
More informationp-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 informationExploring parametric representation with the TI-84 Plus CE graphing calculator
Exploring prmetric representtion with the TI-84 Plus CE grphing clcultor Richrd Prr Executive Director Rice University School Mthemtics Project rprr@rice.edu Alice Fisher Director of Director of Technology
More information