Loogikaalgebra, Põhiseosed, loogikafunktsioonid Mis on loogikaalgebra? Loogikaalgebra on Boole algebra lihtsaim erijuht, kus alushulgaks on kõigest kaheelemendiline hulk {0,1}. Millest loogikaalgebra koosneb? Koosneb loogikaväärtustest 0 ja 1 ning võretehetest konjuktsioon ja disjunktsioon. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada väärtusi ainult hulgast {0,1} Kuidas nimetatakse numbrimärkidega 0 ja 1 esitatud loogikaväärtusi? Nimetatakse konstant 1 ja konstant 0 Mis on loogikaavaldis? Loogikaavaldise definitsioon loogikaavaldis on loogikamuutuja xi, konstante 0 1 ja tehtemärke sisaldav kooslus, mis tema muutujate xi väärtustamisel omandab samuti loogikaväärtuse 0 või 1 definitsiooni vaata lk 154 Millist loogikatehet tähendab tehtemärgi puudumine operandide vahel? On samaväärne tehtega konjuktsioon. Mitu loogikatehet on olemas? Mitu operandi nendest igalühel on? 3, konjuktsioon, disjunktsioon ja in...
Diskreetne matemaatika Sisukord Arvusüsteemid ................................................................................................................................................... 2 Kahendkoodid.................................................................................................................................................... 4 Loogikafunktsioonid ja loogikaavaldised ........................................................................................................... 5 Avaldiste teisendused........................................................................................................................................ 8 Karnaugh’ kaart ................................................................................................................................................. 9 McCluskey’ minimeerimismeetod ..........................................................................................
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Kristjan Keskküla 093540 IASB Tallinn 2009 ÜLESANNE 1 Leida oma martiklinumbrile vastav 4-muutuja loogikafunktsioon f(x1, x2, x3, x4) = (2,4,8,9,14,15) (6,11,13) _ (järgnevalt kui funktsioon) 1 ÜLESANNE 2 Leida MDNK ja MKNK, mis sobiksid martiklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks Kuna minu martiklinumber on paarisarvuline leian: MKNK Karnaugh' kaardiga ja MDNK McCluskey' meetodiga. 1) Leian MKNK Karnaugh' kaardiga MKNK leidmiseks joonestan Karnaugh' kaardi, kuhu kannan peale funktsiooni 1d, 0d ja määramatused. x3x400 01 11 10 x1x2 00 0 0 0 1 01 1 0 0 - 11 0 - 1 1 10 1 1 - 0 Tegu ...
Diskreetne matemaatika KODUTÖÖ SISUKORD SISUKORD..........................................................................................1 ÜLESANNE 1 LOOGIKAFUNKTSIOON......................................................3 ÜLESANNE 2 TÕEVÄÄRTUSTABEL..........................................................3 ÜLESANNE 3 MINIMAALSED NORMAALKUJUD........................................3 3.1 MDNK KARNAUGH’ KAARDIGA.......................................................................3 3.2 MKNK MCCLUSKEY MEETODIGA.....................................................................4 3.3 VÕRDLUS....................................................................................................... 5 ÜLESANNE 4 MKNK TEISENDAMINE DNK-KUJULE....................................5 ÜLESANNE 5 DISJUNKTIIVSED NORMAALKUJUD.....................................5 5.1 TAANDATUD DNK.........................
Diskmatt terminid Lausearvutus Disjunktsioon: liitlause on tõene, kui vähemalt üks osalause on tõene Ekvivalents: liitlause on tõene, kui osalaused on sarnased Implikatsioon: liitlause on tõene, kui esimene muutuja on väär või teine muutuja on tõene Inversioon: eitus Ja-tehe: konjunktsioon Konjunktsioon: liitlause on tõene, kui mõlemad osalaused on tõesed Lause: iga lause, mille puhul saab rääkida tema vastavusest tegelikkusele (millel on tõeväärtus) Olemasolu kvantor: näitab, et predikaat kehtib oma määramispiirkonna vähemalt ühe muutujate puhul Predikaat: lause, mis sisaldab ühte või enamat muutujat Samaselt tõene predikaat: predikaat, mis kehtib kogu määramispiirkonnas Samaselt väär predikaat: predikaat, mis ei kehti kusagil määramispiirkonnas Tautoloogia: samaselt tõene lause Täidetav predikaat: predikaat, mis on tõene osas oma määramispiirkonnas Üldsuse kvantor: näitab, et predikaat kehtib oma m...
Tallinna Tehnikaülikool DISKREETNE MATEMAATIKA KODUTÖÖ Elena Borissov 155175IAPB IAPB11 1. Leida oma matriklinumbrile vastav 4-muuutuja loogikafunktsioon Esimene seitsmekohaline arv kalkulaatoris 32C2641 . Kümnendarvudena 3, 2, 12, 6, 4, 1 Järjekorras 1, 2, 3, 4, 6, 12 1de piirkond Esimene üheksakohaline arv kalkulaatoris 440274117 Järjekorras 0, 7 määramatus piirkond 5, 8, 9, 10, 11, 13, 14, 15 0de piirkond f(x1, x2, x3, x4)=∑(1, 2, 3, 4, 6, 12)1 (0, 7)_ 2. Tõeväärtustabel x1, x2, x3, x4 f 0000 - 0001 1 0010 1 0011 1 0100 ...
Eesti Infotehnoloogia Kolledž Digitaalloogika ja Digitaalsüsteemid KODUTÖÖ Tallinn 2013 Sisukord Sisukord.................................................................................................................. 2 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon......................4 1.1 — sisestada lahtrisse oma matriklinumber...................................................4 1.2 — lülitada kalkulaator ümber 16ndsüsteemile (Hex).....................................4 1.3 — kalkulaatoris näidatava 16ndarvu 7-ga korrutamiseks vajutada järjest * ja 7 ning järgnevalt võrdusmärki = korduvalt, kuni näidatav 16ndarv kasvab 7- kohaliseks:........................................................................................................... 5 1.4 — eelkirjeldatud viisil toimides saadud ja hetkel kalkulaatoris näidatava 16ndarvu tuleb korr...
Mis on Diskreetne Matemaatika ? Termineid: — verbaalne esitus on mistahes info esitamine lingvistilise keele abil. " diskreetne " ≡ " mitte pidev " ehk " astmeline " — formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk kokkulepitud sümbolite abil. vs. " Diskreetne Matemaatika " ↔ " Pidev Matemaatika " NB! MÕTLEMINE on alati verbaalne ehk toimub mingi lingvistilise keele Diskreetne Matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. abil. ...
LAUSEARVUTUS Diskreetne matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. Verbaalne esitus on mistahes info esitamine lingvistilise keele abil. Formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk esitus kokkulepitud sümbolite abil. Formaalne esitus peab olema üheselt tõlgendatav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause võib olla iga verbaalne väide, millele saame omistada tõeväärtuse – tõene või vale. Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjun...
Teoreetiline informaatika Kordamisküsimuste vastused Eero Ringmäe 1. Hulkade spetsifitseerimine, tehted hulkadega, hulgateooria paradoksid. Hulk: Korteezh järjestatud lõplik hulk. Hulk mingi arv elemente, mille vahel on leitav seos klassifitseeritud elementide kogum. Hulk samalaadsete objektide järjestamata kogum. Hulga esitamine: elementide loeteluna A = {2;3;4} predikaadi abil A = {x | P(x)} Tühihulk on iga hulga osahulk. Iga hulk on iseenda osahulk. Hulga boleaan kõigi osahulkade hulk. H boleaan on 2H. 2H = {x | x on osahulgaks H-le}. Boleaani võimsus |2H| = 2|H| Tühja hulga boleaani võimsus on 1. Tehted: Hulkade võrdsus = A on B osahulk AND B on A osahulk. Ekvivalentsiseose definitsioon ((A => B) && (B => A)) hulgas sisaldavad samu elemente. Hulga osahulk võib võrduda hulgaga. Hulga pärisosahulk ei või võrduda. Hulkade ühend ...
LAUSEARVUTUS Diskreetne matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. Verbaalne esitus on mistahes info esitamine lingvistilise keele abil. Formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk esitus kokkulepitud sümbolite abil. Formaalne esitus peab olema üheselt tõlgendatav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause võib olla iga verbaalne väide, millele saame omistada tõeväärtuse – tõene või vale. Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunk...
1 Lõplikud automaadid ja regulaarsed keeled. DEF: Lõplik automaat on sellise arvuti mudel, millel puudub mälu (või seda on väga vähe). DEF: Automaadi M keeleks nimetatakse sõnede hulka A, mida M aktsepteerib. L(M)=A DEF: Keelt nimetatakse regulaarseks, kui seda aktsepteerib mingi deterministlik lõplik automaat. Reg. keelest saab teha lõpliku arvu sõnesid. Tehted regulaarsete keeltega: A∪B = {x|x ∈ A või x ∈ B} ühend nt good, girl, boy, bad A◦B ={xy|x ∈ A ja y ∈ B} konkatenatsioon nt goodboy, goodgirl, badboy, badgirl A∗ = {x1x2...xk|k>=0 ja iga xi ∈ A} sulund nt ε, good, bad, goodgood, badgood… 2 Regulaarsete keelte omadusi. Regulaarsed avaldised. Teoreem: Regularsete keelte hulk on kinnine ühendi suhtes. T: Aktsepteerigu automaat N1 = (Q1,Σ,δ1,Q10,F1) keelt A1 ja automaat N2 = (Q2,Σ,δ2,Q20,F2) keelt A2. Eeldame, et keeltel pole ühiseid olekuid. Ühendi A1 ∪ A2 aktsepteerib lõplik automaat N=(Q;Σ,δ,Q0,F), kus: • Q = {q0} ∪ Q...
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
