Fachgebiet Rechnersysteme1. 1. Boolean Algebra. 1. Boolean Algebra. Verification Technology. Content. 1.1 Boolean algebra basics (recap)
|
|
- Henry Walsh
- 6 years ago
- Views:
Transcription
1 . Boolen Alger Fchgeiet Rechnersysteme. Boolen Alger Veriiction Technology Content. Boolen lger sics (recp).2 Resoning out Boolen expressions
2 . Boolen Alger 2 The prolem o logic veriiction: Show tht two circuits implement the sme oolen unction, or: Show tht circuit correctly implements speciiction = g & & & & g
3 . Boolen Alger. Boolen lger sics. Boolen Alger Bsics 3 AND-opertion (conjunction) Gte representtion Germn (old) & IEEEstndrd 0-dominnce US-stndrd (old)
4 . Boolen Alger. Boolen lger sics 4 OR-opertion (disjunction) Gte representtion Germn (old) 0 0 IEEEstndrd -dominnce US-stndrd (old)
5 . Boolen Alger. Boolen lger sics 5 NOT-opertion (negtion, complement) Gte representtion Germn (old) 0 0 IEEE- Stndrd US-stndrd (old)
6 . Boolen Alger. Boolen lger sics 6 More nottions... & + ' Propositionl Clculus
7 . Boolen Alger 7. Boolen lger sics More opertions: (E)XOR (exclusive-or, unequl, ddition modulo 2) Deinition: Gte representtion Germn (old) = IEEEstndrd US-stndrd (old)
8 . Boolen Alger. Boolen lger sics 8 NAND Gte representtion ti () 0 0 Germn (old) 0 0 & IEEEstndrd 0 US-stndrd (old)
9 . Boolen Alger. Boolen lger sics 9 NOR Gte representtion 0 0 () Germn (old) IEEE- stndrd US-stndrd (old)
10 . Boolen Alger 0. Boolen lger sics Impliktion : Equivlence (equlity): The equivlence-unction equls one i the rguments hve equl vlues The exor-unction equls one i the rguments hve unequl vlues Generlly: =( )
11 . Boolen Alger. Boolen lger sics Boolen unctions Tric-light checker: inputs: r red, g green, e yellow r e g p? 2 3 = 8 cses Tric- Light Checker r e g p
12 . Boolen Alger. Boolen lger sics 2 r, e, g re Boolen vriles B={0 {0, }is the set o Boolen vlues A Boolen unction in n vriles is mpping F: B n B Such unction models circuit with n inputs nd one output, in the exmple we hve B 3 B Tric- Light Checker r e g p
13 . Boolen Alger. Boolen lger sics Representtion o Boolen xxxx unctions y mens o unction tles nd Veitch (Krnugh-) mps x x x x 3
14 . Boolen Alger. Boolen lger sics 4 Boolen terms re textul representtions o Boolen unctions, e.g., c + c (e + ) The syntx o Boolen terms: The constnts 0 nd re Boolen terms Literls (vriles nd complemented vriles) re Boolen terms, or instnce, nd I nd re Boolen terms then so re ( ), ( + ),
15 . Boolen Alger 5. Boolen lger sics Product-terms (products, cues) re conjunctions o literls Ech vrile occurs only once Exmple: x y z yz or xyz or short Specil cse: Minterm (product-term in ll vriles) Sum-terms (cluses) re disjunctions o literls Specil cse: Mxterm (sum-term in ll vriles)
16 . Boolen Alger 6. Boolen lger sics A Sum-o-Products (sop) (lso clled disjunctive norml orm, dn) is disjunction o products Exmple: cyz + d + x A Product-o-Sums (pos) (lso clled conjunctive norml orm, cn) is conjunction o sums Exmple: (c + x + )(s + x)( + x)
17 . Boolen Alger. Boolen lger sics 7 The Rules o Boolen Alger: (T) x+0=x x (T') x =x Identity (T2) x + = (T2') x 0 = 0 0/-Element (T3) x + x = x (T3') x x = x Idempotence (T4) x = x (T4') = 0 Involution (T5) x+x= x (T5') x x=0 Complement
18 . Boolen Alger. Boolen lger sics 8 (T6) x + y = y + x (T6') x y = y x Commuttivity (T7) (x + y) + z = x + (y + z) = x + y + z (T7') (x y) z = x (y z) = x y z (T8) x y + x z = x (y + z) (T8') (x + y) (x + z) = x + y z Associtivity Distriutivity (T9) (x + y) = x y (T9') (x y) = x+y De Morgn's Lw (T0) (x x n )= x... x n Generlized De Morgn's (T0') (x... x n )= x x n Lw
19 . Boolen Alger. Boolen lger sics 9 (T) x + x y = x + y (T') x (x + y) = x y (T2) x + x y = x (T2') x (x + y) = x Asorption Very importnt or the simpliiction o terms nd circuits! Exmple: x x & x y y
20 . Boolen Alger. Boolen lger sics 20 Boole's Expnsion Theorem (849) lso ttriuted to Shnnon
21 . Boolen Alger. Boolen lger sics x x 2x 3x 4 Ide: Decompose unction into two su unctions which do not depend on some vrile, eg e.g., x (0, x2,x3,x4) (, x2,x3,x4)
22 . Boolen Alger. Boolen lger sics 22 Expnsion Theorem: Boolen Function cn e decomposed ccording to vrile x s ollows x x x x x, x re clled the Positive (-) nd Negtive (0-) Coctors o with respect to x The coctors cn e clculted y replcing the vrile x y the constnts 0 nd, respectively
23 . Boolen Alger. Boolen lger sics 23 Illustrtion in the Veitch-digrm: c c
24 . Boolen Alger. Boolen lger sics 24 Illustrtion in the Veitch-digrm: c c
25 . Boolen Alger. Boolen lger sics 25 Circuit reliztion: & & c c
26 . Boolen Alger. Boolen lger sics 26 The coctors re clculted y replcing y 0 nd, respectively: & & c = = = c c c , 0 = (c+)+ (c+) = = c c + +,,
27 . Boolen Alger. Boolen lger sics 27 The coctors re clculted y replcing y 0 nd, respectively plus simpliictions: c = c + +, =c+ +=c+, =c+0+0=c+, = (c+)+ (c+) c c & &
28 . Boolen Alger. Boolen lger sics 28 The circuit used ove is clled 2:-Multiplexor Symol: & 0 & x x Depending on x, the output is either equl to or equl to
29 . Boolen Alger. Boolen lger sics 29 Remrk: the clcultion o coctor cn e viewed s step o symolic simultion: Trditionl simultion determines the vlue t the output o gte-network or given vlues t the inputs The clcultion o coctor determines the unction t the output i some inputs ssume constnt vlue (0 or ) & & 0 & & = x 0 x 0
30 . Boolen Alger 30. Boolen lger sics 3 opertions etween coctors: The Boolen Dierence (Exor) The Universl Quntiiction (And) The Existentil ti Quntiiction (Or)
31 . Boolen Alger 3. Boolen lger sics The Boolen Dierence (x) x x x XOR o oth coctors Chrcterizes ll situtions ti or which h chnge o x implies chnge o
32 . Boolen Alger 32. Boolen lger sics Exmple: c c c coctors re here () 0 0 c c
33 . Boolen Alger. Boolen lger sics 33 Exmple: 2:-multiplexor & & () x ( x x) (x ) x ( ( x) x) (x (x ) ) x O course! or x = 0 we hve =, so implies!
34 . Boolen Alger. Boolen lger sics 34 The Boolen Existentil Quntier ( x: (x)) The disjunction o oth coctors x x
35 . Boolen Alger. Boolen lger sics 35 ( : ()) either coctor is here c c
36 . Boolen Alger. Boolen lger sics 36 The clcultion o the Boolen existentil quntiier is prticulrly esy or Boolen expression in dn: =... x x products products products with x with x without x,x ( x: (x)) x x ( x: (x)) = = x x originl expression where ll occurences o x,x re eliminted Exmple: = + c + c : () = + c + c (= + c)
37 . Boolen Alger. Boolen lger sics 37 The Boolen Universl Quntor ( x : (x )) The conjunction o oth coctors x x
38 . Boolen Alger. Boolen lger sics 38 ( : ( )) oth coctors re here c c
39 . Boolen Alger 39. Boolen lger sics The clcultion o the Boolen universl quntiier is prticulrly esy or Boolen expression in cn: Rule: Eliminte ll occurences o x,x Exmple: = ( + c)( + )( + + c) : () = ( + c)( + c) (= c)
40 . Boolen Alger. Boolen lger sics 40 Inclusion A unction is included in (is covered y) unction g, g i (i nd only i) g 0 or equivlently g = Anlogy (set theory): F G F G 0 g g
41 . Boolen Alger. Boolen lger sics 4 Exmple o g using Krnugh-mps: g
42 42. Boolen Alger. Boolen lger sics The ollowing sttements re equivlent: g 0 g g g ( ) g g g ( g = ) g g g
43 . Boolen Alger. Boolen lger sics 43 Assume (i) unction in dn nd ssume (ii) tht g is the unction where some o the products o re eliminted. products Then g not in g Proo: cn e written in the orm = + g. g is equivlent to g = or g + =. g + ( + g) = g + + g =. We hve lwys: + g.
44 . Boolen Alger 44. Boolen lger sics Assume (i) unction in cn nd ssume (ii) tht g is the unction where some o the cluses re eliminted. Then g Proo: cn e written in the orm = g. g is equivlent to g = or + g =. ( g) + g = + g + g =. We hve lwys: g g.
45 . Boolen Alger. Boolen lger sics 45 Implicnt o Boolen unction A product-term p is n implicnt o Boolen unction i p d c d is implicnt o Concept o prime-implicnts i in two-level l logic synthesis
46 . Boolen Alger. Boolen lger sics 46 Tutology: A Boolen unction is clled Tutology i= Is this resonle concept t ll??? Exmples:
47 . Boolen Alger. Boolen lger sics 47 Logicveriiction: show tht two circuits with outputs nd g implement the sme oolen unction! Show tht g is tutology! = & & & & g g = *g + *g
48 . Boolen Alger 48. Boolen lger sics Boole's expnsion theorem is the sis or "Dividend-conquer" pproch to tutology checking = i oth coctors re equl to one = x x x x = x = x 2 prolems in n- p vriles
49 . Boolen Alger. Boolen lger sics 49 Exmple:? = + + = = = + = Tutology checking my induce n exponentil numer o cses!
50 . Boolen Alger. Boolen lger sics 50 Stisiility: Boolen unction is stisile, i there is t lest one comintion o vrile vlues or which = A oolen unction 0 is stisile! is tutology i is unstisile Exmple:? ( ) ( ) is not stisile My lso need n exponentil # steps
51 . Boolen Alger. Boolen lger sics 5 Exmple o ppliction: ssume network o gtes with two outputs nd g. I we wnt to know i oth outputs cn e or the sme comintion o input vlues, then we cn check i g is stisile.... g
52 . Boolen Alger 52. Boolen lger sics I is tutology nd i g then g is lso tutology I is unstiile nd i g then g is lso unstisile
53 . Boolen Alger. Grundegrie der oolesche Alger 53 Germn/Engl Glossry, Literl literl + + c Summenterm/Disjunktion/ sum/disjunction/ Oder-Klusel cluse c Produktterm/Konjunktion/ product/conjunction/ Und-Klusel cue + cd disjunktive Normlorm (DNF) disjunctive norml orm (dn)/ sum-o-products (sop) ( + )( + c)konjunktive Normlorm (KNF) conjunctive norml orm (cn)/ product-o-sums x 0-/negtiver Koktor 0-/negtive coctor x -/positiver Koktor -/positive coctor = x x + x x Boolescher Entwicklungsstz Boole's expnsion theorem = Tutologie tutologyt 0 Erüllrkeit stisiility
54 . Boolen Alger 54.2 Resoning Aout Boolen Expressions The veriiction o circuit it involves some procedures y which we give mthemticl evidence tht sttement out the circuit is true A veriiction prolem is not circuit or Booeln expression A veriiction prolem involves sttements out circuit or Boolen expression A Boolen expression is 0 or, sttement is true or lse "mthemticl evidence" mens tht we re le to give something like mthemticl proo o the truth o some sttement
55 . Boolen Alger.2 Resoning out Boolen expressions 55 Typicl sttements involved in veriiction prolems re: "The outputs o two circuits re equl" "It is not possile tht the outputs x nd y o circuit oth ssume the vlue " Implictions: "I the inputs re... then the outputs re..." or: "I the outputs re... then the inputs must e..."... nd mny other types o sttements involving, or instnce, temporl quliiers like "in the next clock- cycle", "never", " "lwys", " "sometimes", " etc.
56 . Boolen Alger 56.2 Resoning out Boolen expressions Boolen expressions ssume the Boolen vlues 0 or Sttements (out circuit) re either true or lse, i.e., they hold or do not hold (or circuit) "it rins", "the colour o my cr is red", "+=+", A proo o sttement estlishes the truth o the sttement A proo-procedure is method y which we cn mechniclly derive the truth o sttements We re interested in the development o proo-procedures to veriy sttements out circuits
57 . Boolen Alger.2 Resoning out Boolen expressions 57 We employ common mthemticl nottions using symols like "=", etc. to mke sttements Exmple: "The outputs o two circuits re equl or ll possile input comintions", ormlly: = g (s in sin 2 (x) + cos 2 (x) = ) We lso used mthemticl nottions to introduce some sic concepts like "" in the ormer section The ollowing prgrphs ttempt to e little it more precise out symols like "=" in order void conusion with the symols o Boolen lger = nd (or nd ) re so similr, wht is ( ), the dierence? In ct, there IS very close reltionship etween propositionl logic nd Boolen lger
58 . Boolen Alger.2 Resoning out Boolen expressions 58 We employ two dierent types o nottion with dierent symols: The lnguge o Boolen expressions (or Boolen terms) with the Boolen opertors, +,,, etc. Boolen expressions ssume the vlues 0 or. A (mthemticl) met-lnguge g to mke sttements out Boolen expressions using symols like =,,, etc. which re well-known rom other mthemticl disciplines. Sttements re true or lse. Exmples: + = +, g g, etc.
59 . Boolen Alger.2 Resoning out Boolen expressions 59 Agin: A Boolen expression my ssume the vlues 0 or. A sttement my e true o lse. The met-lnguge or sttements hs two dierent types o symols: Predicte-symols like = nd. Applying predicte to expressions results in sttement which is true or lse. Exmple: x x+ expression expression sttement t t While unctions nd expressions return vlue, predictes my e viewed s specil unctions returning the vlues true or lse
60 . Boolen Alger 60.2 Resoning out Boolen expressions Logicl (propositionl) connectives like,,, nd. Logicl connectives comine sttements to sttements. Exmple: x x+ x = x+ sttement sttement sttement xy yz xz st. st. st. sttement
61 . Boolen Alger.2 Resoning out Boolen expressions 6 The resulting truth-vlues o the logicl connectives re deined nlogously to the Boolen opertors nd re typiclly given y truth-tles. Exmple: The truth-tle o the propositionl p nd "". Let A nd B e two sttements. Then the truth o A B is deined s ollows: B A lse true lse lse lse true lse true A B We try to void n "over-ormliztion" o veriiction prolems nd will use logicl connectives only rrely.
62 . Boolen Alger.2 Resoning out Boolen expressions 62 Due to the close reltionship etween the Boolen opertors nd the opertors o our mthemticl met-lnguge, we cn oten trnsorm veriiction prolem (phrsed s sttement) into dierent (oten more mngle) orm. Exmple: Rther thn to prove = g we show tht g =, i.e., tht g is tutology.
63 . Boolen Alger.2 Resoning out Boolen expressions 63 Generlly, we trnsorm sttements F nd G involving Boolen expressions into equivlent Boolen expressions Be(F) nd Be(G) s ollows (,g Boolen expressions): Sttement Boolen expression = = 0 = g g g g F G Be(F) Be(g) etc. F Be(F) F G Be(F) Be(G) The proo o sttement is equivlent to showing the tutology o the trnsormed Boolen expression, e.g., to prove = g we show tht g =
64 . Boolen Alger.2 Resoning out Boolen expressions 64 Exmple: The sttement "I x is then y is in the ollowing circuit" is ormlized s the sttement x = y = The equivlent Boolen expression is x y The proo o the originl sttement is trnsormed into the proo o the tutology o x y, i.e., we hve to prove the sttement x y = & x y One possile proo: x y = x+y = + + = = (q.e.d.)
65 . Boolen Alger.2 Resoning out Boolen expressions 65 A note on implictions: In mny sitution, we hve to prove the truth o n i-then sttement in nturl lnguge: "i A then C" where the commitment C ollows rom nother sttement, the ssumption A. Formlly, this is denoted s n impliction A C. The deinition o the logicl impliction A C in terms o truth-tle: C A C= A C A lse true c = + c lse true true true lse true A C I we wnt to prove A C then we see rom the truth-tle tle tht or the cse where A is lse we do not hve to prove nything - A C is true independently o C.
66 . Boolen Alger.2 Resoning out Boolen expressions 66 All wht we hve to do is to prove tht C is true or the cse tht A is true. We see this lso i we trnsorm the impliction into the equivlent Boolen expression. Assume gin the sttement: x = y = nd the equivlent Boolen expression x y. I we wnt to show the tutology, i.e., x y = nd crete the unction tle o x y: y x x 0 & 0 0 then we hve to show only tht y= ollows rom x=. For the circuit, our rgument would e: I x= then = nd = since x=. Thus, y= since y=+. (q.e.d.) y
67 . Boolen Alger.2 Resoning out Boolen expressions 67 There re mny dierent wys ("decision procedures") to estlish the truth o sttements, the trnsormtion into n equivlent Boolen expression is only one possiility. A very common technique is to crete circuit or the logicl l structure t o the sttement t t nd comine this circuit it with the originl circuit. Since we re le to trnsorm sttements into Boolen expressions we cn lso trnsorm sttements into circuits! Exmple: The impliction circuit or x y y x Impliction circuit
68 . Boolen Alger.2 Resoning out Boolen expressions 68 Sttement nd originl circuit in comintion: & x y For tutology, the output must lwys e Impliction p circuit
69 . Boolen Alger.2 Resoning out Boolen expressions 69 Exmple we discussed eore: Prove = g Equlity circuit & = & & & g For tutology, the output must lwys e
Boolean 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 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 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 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 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 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 informationDigital Control of Electric Drives
igitl Control o Electric rives Logic Circuits - Comintionl Boolen Alger, escription Form Czech Technicl University in Prgue Fculty o Electricl Engineering Ver.. J. Zdenek Logic Comintionl Circuit Logic
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 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 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 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 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 informationKNOWLEDGE-BASED AGENTS INFERENCE
AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to
More informationChapter 3 Single Random Variables and Probability Distributions (Part 2)
Chpter 3 Single Rndom Vriles nd Proilit Distriutions (Prt ) Contents Wht is Rndom Vrile? Proilit Distriution Functions Cumultive Distriution Function Proilit Densit Function Common Rndom Vriles nd their
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 informationIntroduction to Group Theory
Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements
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 informationBoolean Algebra. Boolean Algebras
Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero
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 informationControl with binary code. William Sandqvist
Control with binry code Dec Bin He Oct 218 10 11011010 2 DA 16 332 8 E 1.1c Deciml to Binäry binry weights: 1024 512 256 128 64 32 16 8 4 2 1 71 10? 2 E 1.1c Deciml to Binäry binry weights: 1024 512 256
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 informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
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 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 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 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 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 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 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 informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationCS344: Introduction to Artificial Intelligence
CS344: Introduction to Artiicil Intelligence Lecture: 22-23 Herbrnd s Theorem roving stisibilit o logic ormule using semntic trees rom Smbolic logic nd mechnicl theorem proving B Runk ilni Under the guidnce
More informationINF1383 -Bancos de Dados
3//0 INF383 -ncos de Ddos Prof. Sérgio Lifschitz DI PUC-Rio Eng. Computção, Sistems de Informção e Ciênci d Computção LGER RELCIONL lguns slides sedos ou modificdos dos originis em Elmsri nd Nvthe, Fundmentls
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 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 informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
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 informationIST 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 informationFault Modeling. EE5375 ADD II Prof. MacDonald
Fult Modeling EE5375 ADD II Prof. McDonld Stuck At Fult Models l Modeling of physicl defects (fults) simplify to logicl fult l stuck high or low represents mny physicl defects esy to simulte technology
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 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 informationRevision Sheet. (a) Give a regular expression for each of the following languages:
Theoreticl Computer Science (Bridging Course) Dr. G. D. Tipldi F. Bonirdi Winter Semester 2014/2015 Revision Sheet University of Freiurg Deprtment of Computer Science Question 1 (Finite Automt, 8 + 6 points)
More information4 VECTORS. 4.0 Introduction. Objectives. Activity 1
4 VECTRS Chpter 4 Vectors jectives fter studying this chpter you should understnd the difference etween vectors nd sclrs; e le to find the mgnitude nd direction of vector; e le to dd vectors, nd multiply
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 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 informationChapter 6 Continuous Random Variables and Distributions
Chpter 6 Continuous Rndom Vriles nd Distriutions Mny economic nd usiness mesures such s sles investment consumption nd cost cn hve the continuous numericl vlues so tht they cn not e represented y discrete
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 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 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 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 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 informationBİL 354 Veritabanı Sistemleri. Relational Algebra (İlişkisel Cebir)
BİL 354 Veritnı Sistemleri Reltionl lger (İlişkisel Ceir) Reltionl Queries Query lnguges: llow mnipultion nd retrievl of dt from dtse. Reltionl model supports simple, powerful QLs: Strong forml foundtion
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 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 informationDesigning Information Devices and Systems I Discussion 8B
Lst Updted: 2018-10-17 19:40 1 EECS 16A Fll 2018 Designing Informtion Devices nd Systems I Discussion 8B 1. Why Bother With Thévenin Anywy? () Find Thévenin eqiuvlent for the circuit shown elow. 2kΩ 5V
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 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 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 information10 Vector Integral Calculus
Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve
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 informationContinuous Random Variable X:
Continuous Rndom Vrile : The continuous rndom vrile hs its vlues in n intervl, nd it hs proility distriution unction or proility density unction p.d. stisies:, 0 & d Which does men tht the totl re under
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 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 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 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 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 informationLecture 3: Curves in Calculus. Table of contents
Mth 348 Fll 7 Lecture 3: Curves in Clculus Disclimer. As we hve textook, this lecture note is for guidnce nd supplement only. It should not e relied on when prepring for exms. In this lecture we set up
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 informationChapter 6 Techniques of Integration
MA Techniques of Integrtion Asst.Prof.Dr.Suprnee Liswdi Chpter 6 Techniques of Integrtion Recll: Some importnt integrls tht we hve lernt so fr. Tle of Integrls n+ n d = + C n + e d = e + C ( n ) d = ln
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 informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationThe Evaluation Theorem
These notes closely follow the presenttion of the mteril given in Jmes Stewrt s textook Clculus, Concepts nd Contexts (2nd edition) These notes re intended primrily for in-clss presenttion nd should not
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
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 informationMatrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24
Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the
More informationSimplifying Algebra. Simplifying Algebra. Curriculum Ready.
Simplifying Alger Curriculum Redy www.mthletics.com This ooklet is ll out turning complex prolems into something simple. You will e le to do something like this! ( 9- # + 4 ' ) ' ( 9- + 7-) ' ' Give this
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationMATH1050 Cauchy-Schwarz Inequality and Triangle Inequality
MATH050 Cuchy-Schwrz Inequlity nd Tringle Inequlity 0 Refer to the Hndout Qudrtic polynomils Definition (Asolute extrem for rel-vlued functions of one rel vrile) Let I e n intervl, nd h : D R e rel-vlued
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 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 informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationPolynomials and Division Theory
Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re 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 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 informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
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 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 informationRegular expressions, Finite Automata, transition graphs are all the same!!
CSI 3104 /Winter 2011: Introduction to Forml Lnguges Chpter 7: Kleene s Theorem Chpter 7: Kleene s Theorem Regulr expressions, Finite Automt, trnsition grphs re ll the sme!! Dr. Neji Zgui CSI3104-W11 1
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 informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
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 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 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 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 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 informationUNIT 5 QUADRATIC FUNCTIONS Lesson 3: Creating Quadratic Equations in Two or More Variables Instruction
Lesson 3: Creting Qudrtic Equtions in Two or More Vriles Prerequisite Skills This lesson requires the use of the following skill: solving equtions with degree of Introduction 1 The formul for finding the
More informationCDM Automata on Infinite Words
CDM Automt on Infinite Words 1 Infinite Words Klus Sutner Crnegie Mellon Universlity 60-omeg 2017/12/15 23:19 Deterministic Lnguges Muller nd Rin Automt Towrds Infinity 3 Infinite Words 4 As mtter of principle,
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More information#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z
#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z Kurt Girstmir Institut für Mthemtik, Universität Innsruck, Innsruck, Austri kurt.girstmir@uik.c.t Received: 10/4/16, Accepted: 7/3/17, Pulished:
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 informationScanner. Specifying patterns. Specifying patterns. Operations on languages. A scanner must recognize the units of syntax Some parts are easy:
Scnner Specifying ptterns source code tokens scnner prser IR A scnner must recognize the units of syntx Some prts re esy: errors mps chrcters into tokens the sic unit of syntx x = x + y; ecomes
More information