(Lec 9) Multi-Level Min III: Role of Don t Cares
|
|
- Justin Johnston
- 6 years ago
- Views:
Transcription
1 Pge 1 (Le 9) Multi-Level Min III: Role o Don t Cres Wht you know 2-level minimiztion l ESPRESSO Multi-level minimiztion: Boolen network moel, Algeri moel or toring Retngle overing or extrtion Wht you on t know Don t res in multi-level network re very ierent They rise nturlly s prt o the struture o the network moel They n help gret el in simpliying the network They n e very hr to get, lgorithmilly R. Rutenr 2001, CMU , Fll Copyright Notie Ro A. Rutenr 2001 All rights reserve. ou my not mke opies o this mteril in ny orm without my express permission. R. Rutenr 2001, CMU , Fll
2 Pge 2 Where Are We? In logi synthesis--how on t res re now very ierent ests M T W Th F Aug Sep Ot Nov Thnxgive De Introution Avne Boolen lger JAVA Review Forml veriition 2-Level logi synthesis Multi-level logi synthesis Tehnology mpping Plement Routing Stti timing nlysis Eletril timing nlysis Geometri t struts & pps R. Rutenr 2001, CMU , Fll Reings/Delines/Projets De Miheli Setion 8.4 is out on t res in multilevel moel Delines Toy, Thu Ot 11: Pper 1 Review, Ruell s Dynmi Orering ue Thursy Ot 18: HW3 (2-level, multi-level synthesis) ue Projet #2 As lwys, hek wepge or ugixes, uptes There re some ugs in eqns or Pro #1, ixe shortly The stte igrms re orret s is. We ll o the overview next Tuesy R. Rutenr 2001, CMU , Fll
3 Pge 3 Don t Cres: 2-level In si igitl esign... We tol you these were just input ptterns tht oul never hppen This llowe you to o more simpliitions, sine you oul 1 or 0 to the Kmp or tht input epening on wht ws esier to simpliy Stnr exmple: BCD inrementer iruit BCD Inrement rry Ptterns = 1010, 1011, 1100, 1101, 1110, 1111 nnot hppen R. Rutenr 2001, CMU , Fll Don t Cres: Multi-level To sy this ierently In si 2-level esigns someoy tol you wht inputs wouln t hppen......n you just elieve them! Wht s ierent in multi-level? There n still e these sorts o on t res t the primry inputs o the Boolen logi network......ut there n lso e on t res rising rom struture o the network These ltter kin re very useul or simpliying the iniviul verties in the Boolen logi network (ie you ll ESPRESSO whih n hnle 2- level on t res) But, you hve to go in these on t res expliitly R. Rutenr 2001, CMU , Fll
4 Pge 4 Inorml Tour o DCs in Multilevel Networks Suppose we hve Boolen network... An we re looking t noe in tht network Cn we sy nything out on t res or noe? NO We on t know ny ontext or surrouning prts o network As r s we n tell, ll ptterns o inputs (,,) re possile = R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour OK, suppose we know this out input to Noe is tully Now n we sy something out DCs or noe...? ES PIs = = + + POs R. Rutenr 2001, CMU , Fll
5 Pge 5 Inorml Multilevel DC Tour Go list ll the input/output ptterns or noe n it our? PIs = = + + POs R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour Impossile ptterns => impossile ptterns? n it our? n it our? PIs NO NO NO NO = = + + POs R. Rutenr 2001, CMU , Fll
6 Pge 6 Inorml Multilevel DC Tour Impossile ptterns give us DCs or noe Chnge how we woul wnt to simpliy noe (it s Kmp) Impossile ptterns = PIs Conlusion = = + + POs R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour OK, wht i we now know = + s well Cn o this gin t...re there impossile ptterns o? = n it our? PIs = = = NO NO NO NO = + + POs R. Rutenr 2001, CMU , Fll
7 Pge 7 Inorml Multilevel DC Tour OK, n we (gin) get impossile ptterns on? n it our? n it our? n it our? PIs NO NO NO NO NO NO NO NO = + = = + + R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour OK, o these hnge how we simpliy insie? PIs NO NO NO NO n it our? Conlusion 1 1 = + = = + + R. Rutenr 2001, CMU , Fll
8 Inorml Multilevel DC Tour OK, now suppose is not primry output, Z is... Question: when oes hnge in the output o noe tully propgte through to hnge the primry output Z, ie, the output o the overll Boolen logi network Or, reverse question: when oes it not mtter wht is...? Let s go look t ptterns o t noe Z... PIs = + = = + + Z = PO Z R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour PIs Z oes it hnge? Ptterns t input to noe itsel tht re DCs just euse those ptterns mke Z output insensitive to hnges in = = + = = + + Z = PO Z R. Rutenr 2001, CMU , Fll Pge 8
9 Pge 9 Inorml Multilevel DC Tour OK, n we use this =0 DC pttern to simpliy more? Ptterns t input to noe itsel tht re DCs just euse those ptterns mke Z output insensitive to hnges in => Conlusion PIs = + = = + + Z = PO Z R. Rutenr 2001, CMU , Fll Inorml Multilevel DC Tour Hey, look wht hppene to noe... Due to ontext o surrouning noes, it isppere! PIs = Z = = = + PO Z = Z = PO Z = + gone! R. Rutenr 2001, CMU , Fll
10 Pge 10 Inorml Multilevel DC Tour OK, suppose inste tht PO Z = + + (OR not AND) Wht hnges? Answer: no ptterns t inputs tht mke Z insensitive to hnges in There re still impossile ptterns o ( ) ut you nnot speiy ny o them extly only knowing the ( ) inputs to oesn t isspper, it still simpliies to = + Network ontext mtters lot here! PIs = + = = + + Z = + + PO Z R. Rutenr 2001, CMU , Fll Forml View o These DCs Overll, there re 3 types o orml DCs... Stisiility on t res Ptterns tht n t our t the inputs to vertex euse o internl struture o multi-level logi Controllility on t res Glol, externl: ptterns tht n t hppen t primry inputs to our overll Boolen logi network Lol, internl: ptterns tht n t hppen t inputs to vertex Oservility on t res Ptterns t input o vertex tht prevent tht outputs o the network rom eing sensitive to hnges in output o tht vertex Pttern tht msk outputs Let s see i we n lriy where these eh ome rom... R. Rutenr 2001, CMU , Fll
11 Pge 11 Don t Cre Types: Stisiility Stisiility Don t Cres Hppen euse o struture o Boolen Logi Network We on t tret the network s one ig logi igrm, ut rther, s set o seprte, onnete logi loks (verties) SDCs speiy the onstrints on these internl onnetions Exmple Strt with just one vertex in network = R. Rutenr 2001, CMU , Fll SDCs Now, ssume we extrt some suexpressions Extrt =+, = This hnges struture o network There re now new noes, eeing noe tht retes = + = + + = R. Rutenr 2001, CMU , Fll
12 Pge 12 SDCs Notie In the restruture network, hs ierent inputs, n so possily now ierent est simpliition Wht out on t res? = + = = never see = 001, 010, never see = 001, 011, R. Rutenr 2001, CMU , Fll SDCs These ptterns re the stisiility DCs Esiest to think o them s seprte set o impossile ptterns elonging to eh internl wire in Boolen Logi Network They re purely struturl in origin: outputs n t tke vlues tht re not equl to (ie, on t stisy) wht the tthe vertex retes Cnnot hve!= + = Cnnot hve!= = never see = 001, 010, never see = 001, 011, R. Rutenr 2001, CMU , Fll
13 Pge 13 Asie: How Will We Atully Represent DCs? Some onusing nottion n terminology ou re proly use to seeing on t res just liste in the truth tle But, the wy we will usully represent these is either: As set o ptterns o 0s 1s on noe s inputs tht nnot hppen As untion o these inputs tht mkes 1 just or those ptterns tht nnot hppen; DC G == 1 just or impossile ptterns or G p q r G DC ptterns = {001, 100, 101, 111} p q r DC G R. Rutenr 2001, CMU , Fll Asie: Representing Don t Cres Representtion Will even requently see the DC untion tully written in terms o n SOP over, Boolen expression G DC set = {001, 100, 101, 111} DC G DC G = R. Rutenr 2001, CMU , Fll
14 Pge 14 Bk to SDCs SDC untion or wire is just over o illegl ptterns = + possile = possile SDC impossile SDC impossile SDC = SDC = R. Rutenr 2001, CMU , Fll SDCs: How Do We Atully Use Them? Wht impt on simpliition o...? Look t SDCs or eh input wire x n y SDC = => impossile ptterns o SDC = => impossile ptterns o?? = + + => ut I wnt to know impossile ptterns! Oops! Prolem SDCs in terms o n But, is now only untion o n How to resolve? R. Rutenr 2001, CMU , Fll
15 Pge 15 SDCs Nee to quntiy out the in SDCs, ut how? Just try eh wy n see wht hppens, or insight Rell: given (x,y,z,w) ( x )(y,z,w) = x + x (existentil quntiition) In English ( x )(y,z,w) = x x (universl quntiition) Existentil quntiition: removes vr x, resulting untion is true or (y,z,w) whenever there is some pttern, either (x=1,y,z,w) OR (x=0,y,z,w) tht me originl == 1 Universl quntiition: removes vr x, resulting untion is true or (y,z,w) whenever oth ptterns (x=1,y,z,w) AND (x=0,y,z,w) me originl untion ==1 R. Rutenr 2001, CMU , Fll SDCs Try quntiying wrt, oth wys... = + SDC = = + = = + +,, = SDC = ( SDC ) = ( SDC ) = ( SDC )(,) = ( SDC ) + ( SDC ) = ( SDC ) = ( SDC ) = ( SDC )(,) = ( SDC ) + ( SDC ) = ( SDC )(,) = ( SDC ) ( SDC ) = ( SDC )(,) = ( SDC ) ( SDC ) = R. Rutenr 2001, CMU , Fll
16 SDCs Whih is right? = + = = + +,, = + = never see = 001, 010, never see = 001, 011, ( SDC )(,) = + ( SDC )(,) = + ( SDC )(,) = ( SDC )(,) = R. Rutenr 2001, CMU , Fll SDCs Asie: why universl quntiition oes the trik Beuse you wnt to know whih ptterns, inepenent o the vlue o the vr(s) you get ri o, re still impossile The inepenent o vlue o vr prt is the key, it s wht universl quntiition oes ( SDC )(,) = + oesn t work... =0 =0 x = + x=0 LEGAL =0 =1 x = + x=0 IMPOSSIBLE ( SDC )(,) = is right =1 =0 x = + x=0 IMPOSSIBLE =1 =1 x = + x=0 IMPOSSIBLE R. Rutenr 2001, CMU , Fll Pge 16
17 Pge 17 SDCs So, how o you tully ompute SDCs? Esy, o it or eh output wire rom eh Boolen noe inputs expression or ou wnt n expression tht s ==1 when!= (expression or ) But this is just [ (expression or ) ] Rememer (expression or ) oesn t hve in it!! Try it on something simple to onvine yoursel lim SDC = ( + ) = + R. Rutenr 2001, CMU , Fll SDCs Simpliy... SDC = ( + ) = SDC R. Rutenr 2001, CMU , Fll
18 Pge 18 SDCs How to el with SDCs on mny wires into vertex? In other wors, how o I tully use SDC SDC to simpliy? Answer: just OR the SDCs or eh input wire to vertex, then quntiy wy vrs tht re not inputs to = + = =+ D + vrs re,,,, SDC = ( vrs not input to )( Σ SDCi ) inputs i =ptterns tht nnot our on inputs R. Rutenr 2001, CMU , Fll SDCs Try it n see Note we n ignore SDCs on,, inputs to sine they re primry inputs (ie, (expression or ) = = 0, et. = + = =+ D + SDC = ( )( [ (+)] + [ ] ) = ( [ (+)] + [ ] ) =1 ( [ (+)] + [ ] ) =0 R. Rutenr 2001, CMU , Fll
19 SDCs Twist: ut wht i there re tully DCs or network inputs, impossile externl ptterns or? Exmple: suppose =1 =1 =1 n never hppen How to hnle or omputing SDCs or? Answer: just OR in over or these DCs in SDC expression DC =1 =1 =1 = + = =+ SDC = ( )( [ (+)] + [ ] + ) = =[ stu we got eore without these externl DCs ] + ( x + x ) R. Rutenr 2001, CMU , Fll SDCs Notie this works... Just look t the new terms we e to SDC: ( + + ) Pik s exmple ==> =0 =1 =1 =1 is impossile =1 =0 DC =1 =1 =1 = + = =+ D + =1 =1 Corret! This n only hppen or input = 0111 whih is impossile R. Rutenr 2001, CMU , Fll Pge 19
20 Pge 20 Controllility Don t Cres Deines those input ptterns tht nnot hppen or speii verties, or or entire network But, we ve lrey seen these! Externl glol CDCs: ome rom outsie or entire network, like =1 =1 =1 is impossile, in our exmple Internl lol CDCs: just ptterns tht nnot pper t ny vertex = ( vrs not inputs )( Σ (lol SDCs) + ext. glol CDC) SDCs versus CDCs...? vertex inputs SDCs: think o s elonging to eh internl wire in network CDCs: think o s elonging to eh internl vertex in network R. Rutenr 2001, CMU , Fll Oservility Don t Cres ODCs elong to eh output o vertex in network Ptterns tht will mke this output not oservle t network output Not oservle mens hnge 0<->1 on this vertex output oesn t not hnge AN network output, or this pttern New exmple Note--new exmple now... x y T = xy + x y T F = xy +Tz + T y F z Ptterns tht mke F insensitive to T... Look t ODC T or output wire o vertex T R. Rutenr 2001, CMU , Fll
21 Pge 21 ODCs In English... ODC or T re ptterns o inputs to the vertex or T (ptterns o x,y) suh tht we n ompute F without ring out wht T is Sine F= xy + Tz + T y, oserve I x=1 y=1 then F = 1 + Tz + T y =1 = inepenent o T Note there re ptterns o other vrs tht o this too: I z=1 y=1 then F = xy +T 0 + T 0 = xy = inepenent o T I z=0 y=0 then F = xy + T 1 + T 1 = xy + T + T = 1 = inep. o T So, our guess is tht ODC T =xy This is the only pttern tht epens just on vrs input to T For this pttern, network output insensitive to hnges in T How to ompute, mehnilly? R. Rutenr 2001, CMU , Fll ODCs When is network output F insensitive to internl vr? = stu F epens on network output F Be preise Insensitive mens hnges => ut F never hnges More preisely: i we speiy F s untion o, then F = F So, wht ptterns o the other inputs to F use F(... =0...)=F(...=1...)? When these ptterns re pplie, hnging oes not ever mtter to output t F But we ve lrey seen something lose to this... R. Rutenr 2001, CMU , Fll
22 Pge 22 ODCs Boolen ierene, F/ Deine s F/ = F F Rell we oserve tht ptterns tht mke F/ = 1 orrespon to ptterns where hnge in uses some hnge in F x y Stte ierently F/ x = y F/ x = y Boolen ierene F/ is untion tht is 1 or those ptterns tht mke oservle x y = stu F epens on network output F R. Rutenr 2001, CMU , Fll ODCs But we wnt ptterns tht mke vertex output unoservle, sine we wnt on t re ptterns So, i F/ is ptterns tht mke oservle...then ( F/ ) is ptterns tht mke unoservle Bk to our exmple: wnt to look t ( F/ T) here x y T F = xy +Tz + T y F z F / T = F T F T = R. Rutenr 2001, CMU , Fll
23 Pge 23 ODCs So ODC T = xy + xz + y z + x yz But, sme prolem: n t use this to simpliy vertex or T sine T is only untion o x n y Wht to o? Sme s eore: universl quntiition over vrs not input to T In this se, wnt ( z)(xy + xz + y z +x yz) = xy whih is orret ODC T = xy => x=1 y=1 is on t re sine it mkes T unoservle t network output F x y T = xy + x y T F = xy +Tz + T y F z R. Rutenr 2001, CMU , Fll ODCs More generl: wht i mny network outputs? Only ptterns tht re unoservle t ALL outputs n e ODCs F1 F2 F1 F2 F3 F3 ODC = ( vrs not input to )[ Π Fi / ] outputs Fi AND ll erivtives together, or eh output = ptterns tht mke x unoservle t ALL outputs R. Rutenr 2001, CMU , Fll
24 Pge 24 Don t Cres, In Generl Why is getting these things so very hr? Beuse rel networks re ig, n the vertex you wnt to simpliy my e very r rom the primry inputs, n primry outputs Inputs to your vertex re untion o lot o stu Network outputs re untions o your vertex n lots o other stu Representing ll this stu n e explosively lrge, even with BDDs R. Rutenr 2001, CMU , Fll Getting Network DCs How o people o it In generl, they on t Usully suie with getting the lol SDCs, whih just requires looking t outputs o nteeent verties n omputing the SDC ptterns, whih is esy (no ig serh) There re lso inrementl, vertex-y-vertex lgorithms tht wlk the network to ompute ull CDC set or, n ull ODC set or, ut these n e very expensive in spe Also, some triks lle FILTERS ou wnt to in ptterns you n use s on t res to simpliy vertex Inste o ining ll suh DC ptterns, n restrit serh to voi ptterns tht nnot possily e useul to simpliy Suh lgorithms lle ilters -- they get ri o DCs you on t nee See De Mihelli or etils out ll this stu For us, knowing the strightorwr rute ore ormul is OK R. Rutenr 2001, CMU , Fll
25 Exmple Now know enough to o this Simpliy noe insie this network Assume pttern =0 =0 never ours t network input = + = + Z Q = Q Z = How? Compute SDC or, inluing externl glol DC= Compute ODC or y oing ( Q/ ) ou get to use nyple SDC +ODC ==1 s on t re or R. Rutenr 2001, CMU , Fll Summry New kins o on t res in multi-level networks Byprouts o the network moel It s not ll one ig untion, it s unh o little untions (verties) onnete y wires Stisiility DCs: struturl in origin, n t hve output o vertex not equl to the expression or tht vertex Output DCs: some ptterns mke vertex output unoservle t network outputs SDC + ODC: or ny given vertex, n use this expression s ples or on t res to simpliy the vertex untion In prtie Very hr to get these, esp ODCs (see the ook) Usully just use the lol SDC rom nteeent verties Also, there re lgorithms ( ilters ) tht n just go in useul on t res or simpliition R. Rutenr 2001, CMU , Fll Pge 25
1 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 informationLecture 11 Binary Decision Diagrams (BDDs)
C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et
More informationFactorising FACTORISING.
Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106
8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationy1 y2 DEMUX a b x1 x2 x3 x4 NETWORK s1 s2 z1 z2
BOOLEAN METHODS Giovnni De Miheli Stnford University Boolen methods Exploit Boolen properties. { Don't re onditions. Minimiztion of the lol funtions. Slower lgorithms, etter qulity results. Externl don't
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 informationNumbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point
GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply
More informationImplication Graphs and Logic Testing
Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,
More informationCARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005
RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More information(Lec 4) Binary Decision Diagrams: Manipulation
(Le 4) Binry Deision Digrms: Mnipultion Wht you know Bsi BDD t struture DAG representtion How vrile orering + reution = nonil A few immeite pplitions eg, trivil tutology heking Wht you on t know Algorithms
More informationx dx does exist, what does the answer look like? What does the answer to
Review Guie or MAT Finl Em Prt II. Mony Decemer th 8:.m. 9:5.m. (or the 8:3.m. clss) :.m. :5.m. (or the :3.m. clss) Prt is worth 5% o your Finl Em gre. NO CALCULATORS re llowe on this portion o the Finl
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 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 informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More information22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:
22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)
More informationParticle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap
Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly
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 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 informationCSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4
Am Blnk Leture 13 Winter 2016 CSE 332 CSE 332: Dt Astrtions Sorting Dt Astrtions QuikSort Cutoff 1 Where We Are 2 For smll n, the reursion is wste. The onstnts on quik/merge sort re higher thn the ones
More informationMath 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)
Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion
More informationExam Review. John Knight Electronics Department, Carleton University March 2, 2009 ELEC 2607 A MIDTERM
riting Exms: Exm Review riting Exms += riting Exms synhronous iruits Res, yles n Stte ssignment Synhronous iruits Stte-Grph onstrution n Smll Prolems lso Multiple Outputs, n Hrer omintionl Prolem riting
More informationEngr354: Digital Logic Circuits
Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost
More information5.3 The Fundamental Theorem of Calculus
CHAPTER 5. THE DEFINITE INTEGRAL 35 5.3 The Funmentl Theorem of Clculus Emple. Let f(t) t +. () Fin the re of the region below f(t), bove the t-is, n between t n t. (You my wnt to look up the re formul
More informationInstructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.
ID: B CSE 2021 Computer Orgniztion Midterm Test (Fll 2009) Instrutions This is losed ook, 80 minutes exm. The MIPS referene sheet my e used s n id for this test. An 8.5 x 11 Chet Sheet my lso e used s
More informationNow we must transform the original model so we can use the new parameters. = S max. Recruits
MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with
More informationCS241 Week 6 Tutorial Solutions
241 Week 6 Tutoril olutions Lnguges: nning & ontext-free Grmmrs Winter 2018 1 nning Exerises 1. 0x0x0xd HEXINT 0x0 I x0xd 2. 0xend--- HEXINT 0xe I nd ER -- MINU - 3. 1234-120x INT 1234 INT -120 I x 4.
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 informationSurds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,
Surs n Inies Surs n Inies Curriulum Rey ACMNA:, 6 www.mthletis.om Surs SURDS & & Inies INDICES Inies n surs re very losely relte. A numer uner (squre root sign) is lle sur if the squre root n t e simplifie.
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 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 informationCS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014
S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown
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 informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
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 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 informationProject 3: Using Identities to Rewrite Expressions
MAT 5 Projet 3: Usig Idetities to Rewrite Expressios Wldis I lger, equtios tht desrie properties or ptters re ofte lled idetities. Idetities desrie expressio e repled with equl or equivlet expressio tht
More informationD. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming 8, 1987, pp
Sttechrts y Kenr ooper ontents Introuction Stte igrms epth (hierrchy) Orthogonlity (concurrency) rocst ommuniction Exmple Prolems Introuction Sttechrts were introuce y vi Hrel in 1987. Hrel, Sttechrts:
More informationLecture 2: Cayley Graphs
Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re
More informationCIT 596 Theory of Computation 1. Graphs and Digraphs
CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege
More informationFor a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then
Slrs-7.2-ADV-.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
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 informationOutline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression
5-2 Dt Strutures n Algorithms Dt Compression n Huffmn s Algorithm th Fe 2003 Rjshekr Rey Outline Dt ompression Lossy n lossless Exmples Forml view Coes Definition Fixe length vs. vrile length Huffmn s
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 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 informationCS 360 Exam 2 Fall 2014 Name
CS 360 Exm 2 Fll 2014 Nme 1. The lsses shown elow efine singly-linke list n stk. Write three ifferent O(n)-time versions of the reverse_print metho s speifie elow. Eh version of the metho shoul output
More informationTrigonometry and Constructive Geometry
Trigonometry nd Construtive Geometry Trining prolems for M2 2018 term 1 Ted Szylowie tedszy@gmil.om 1 Leling geometril figures 1. Prtie writing Greek letters. αβγδɛθλµπψ 2. Lel the sides, ngles nd verties
More informationPYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL:
PYTHAGORAS THEOREM 1 WHAT S IN CHAPTER 1? 1 01 Squres, squre roots nd surds 1 02 Pythgors theorem 1 03 Finding the hypotenuse 1 04 Finding shorter side 1 05 Mixed prolems 1 06 Testing for right-ngled tringles
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 informationGreen s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e
Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let
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 informationSolutions - Homework 1 (Due date: September 9:30 am) Presentation and clarity are very important!
ECE-238L: Computer Logi Design Fll 23 Solutions - Homework (Due dte: Septemer 2th @ 9:3 m) Presenttion nd lrity re very importnt! PROBLEM (5 PTS) ) Simpliy the ollowing untions using ONLY Boolen Alger
More informationSection 2.1 Special Right Triangles
Se..1 Speil Rigt Tringles 49 Te --90 Tringle Setion.1 Speil Rigt Tringles Te --90 tringle (or just 0-60-90) is so nme euse of its ngle mesures. Te lengts of te sies, toug, ve very speifi pttern to tem
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 informationIf we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as
Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x
More information1 nonlinear.mcd Find solution root to nonlinear algebraic equation f(x)=0. Instructor: Nam Sun Wang
nonlinermc Fin solution root to nonliner lgebric eqution ()= Instructor: Nm Sun Wng Bckgroun In science n engineering, we oten encounter lgebric equtions where we wnt to in root(s) tht stisies given eqution
More information03. Early Greeks & Aristotle
03. Erly Greeks & Aristotle I. Erly Greeks Topis I. Erly Greeks II. The Method of Exhustion III. Aristotle. Anximnder (. 60 B.C.) to peiron - the unlimited, unounded - fundmentl sustne of relity - underlying
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationChapter 8 Roots and Radicals
Chpter 8 Roots nd Rdils 7 ROOTS AND RADICALS 8 Figure 8. Grphene is n inredily strong nd flexile mteril mde from ron. It n lso ondut eletriity. Notie the hexgonl grid pttern. (redit: AlexnderAIUS / Wikimedi
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 informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
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 informationProportions: A ratio is the quotient of two numbers. For example, 2 3
Proportions: rtio is the quotient of two numers. For exmple, 2 3 is rtio of 2 n 3. n equlity of two rtios is proportion. For exmple, 3 7 = 15 is proportion. 45 If two sets of numers (none of whih is 0)
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More information5. (±±) Λ = fw j w is string of even lengthg [ 00 = f11,00g 7. (11 [ 00)± Λ = fw j w egins with either 11 or 00g 8. (0 [ ffl)1 Λ = 01 Λ [ 1 Λ 9.
Regulr Expressions, Pumping Lemm, Right Liner Grmmrs Ling 106 Mrch 25, 2002 1 Regulr Expressions A regulr expression descries or genertes lnguge: it is kind of shorthnd for listing the memers of lnguge.
More informationLet s divide up the interval [ ab, ] into n subintervals with the same length, so we have
III. INTEGRATION Eonomists seem muh more intereste in mrginl effets n ifferentition thn in integrtion. Integrtion is importnt for fining the epete vlue n vrine of rnom vriles, whih is use in eonometris
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 informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More informationPart I: Study the theorem statement.
Nme 1 Nme 2 Nme 3 A STUDY OF PYTHAGORAS THEOREM Instrutions: Together in groups of 2 or 3, fill out the following worksheet. You my lift nswers from the reding, or nswer on your own. Turn in one pket for
More informationSpacetime and the Quantum World Questions Fall 2010
Spetime nd the Quntum World Questions Fll 2010 1. Cliker Questions from Clss: (1) In toss of two die, wht is the proility tht the sum of the outomes is 6? () P (x 1 + x 2 = 6) = 1 36 - out 3% () P (x 1
More informationState Minimization for DFAs
Stte Minimiztion for DFAs Red K & S 2.7 Do Homework 10. Consider: Stte Minimiztion 4 5 Is this miniml mchine? Step (1): Get rid of unrechle sttes. Stte Minimiztion 6, Stte is unrechle. Step (2): Get rid
More informationArrow s Impossibility Theorem
Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep
More informationSIMPLE NONLINEAR GRAPHS
S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle
More informationfor all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx
Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion
More informationData Structures LECTURE 10. Huffman coding. Example. Coding: problem definition
Dt Strutures, Spring 24 L. Joskowiz Dt Strutures LEURE Humn oing Motivtion Uniquel eipherle oes Prei oes Humn oe onstrution Etensions n pplitions hpter 6.3 pp 385 392 in tetook Motivtion Suppose we wnt
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
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 informationThe DOACROSS statement
The DOACROSS sttement Is prllel loop similr to DOALL, ut it llows prouer-onsumer type of synhroniztion. Synhroniztion is llowe from lower to higher itertions sine it is ssume tht lower itertions re selete
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 informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}
More information( x) ( ) takes at the right end of each interval to approximate its value on that
III. INTEGRATION Economists seem much more intereste in mrginl effects n ifferentition thn in integrtion. Integrtion is importnt for fining the expecte vlue n vrince of rnom vriles, which is use in econometrics
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
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 informationI 3 2 = I I 4 = 2A
ECE 210 Eletril Ciruit Anlysis University of llinois t Chigo 2.13 We re ske to use KCL to fin urrents 1 4. The key point in pplying KCL in this prolem is to strt with noe where only one of the urrents
More informationChapters Five Notes SN AA U1C5
Chpters Five Notes SN AA U1C5 Nme Period Section 5-: Fctoring Qudrtic Epressions When you took lger, you lerned tht the first thing involved in fctoring is to mke sure to fctor out ny numers or vriles
More informationLecture 7 notes Nodal Analysis
Lecture 7 notes Nodl Anlysis Generl Network Anlysis In mny cses you hve multiple unknowns in circuit, sy the voltges cross multiple resistors. Network nlysis is systemtic wy to generte multiple equtions
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationMath Lecture 23
Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of
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 informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More information