Diskreetse matemaatika elemendid 2013/2014 LAUSEARVUTUS. TÕESTUSED. 1. Lausearvutuse lausetele esitatavad tingimused. [1] o Välistatud kolmanda seadus. Iga lause on kas tõene või väär. o Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. o Nende nõuete põhjal kuuluvad vaadeldavate hulka ainult nii sugused laused, mis midagi väidavad, kusjuures sellel väitel on olemas ühene tõeväärtus. o . Välistatud kolmanda seaduse nõudel jäävad kõrvale kõik küsilaused ja paljud hüüdlaused, samuti kõik käsud ning mõttetud sõnaühendid. Mitte-vasturääkivuse seadus välistab mitmesugused paradoksid, näiteks „See lause siin on väär“, ja muud taolised väited, mille tõeväärtust pole võimalik üheselt määrata. o Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2. Lausearvutuse tehted. Tehete järjekord. Lausearvutuse valem. [1] Tehted o Eitus (märk ¬)
AIY3310 Diskreetne matemaatika Lühikonspekt Käesolev lühikonspekt katab suure osa aines AIY3310 (endise koodiga LIY3310) loetavast. Samal ajal ei saa seda materjali vaadelda kui antud aine täiskonspekti, mille läbitöötamine garanteeriks hea eksamiresultaadi. Loengutes ja harjutustundides käsitletakse mitmeid probleeme tunduvalt põhjalikumalt. Sellest hoolimata usun, et antud kirjutisest on paljudele tudengitest lugejatele kasu valmistumisel kontrolltööks ja eksamiks. Margus Kruus HULGATEOORIA PÕHIMÕISTEID HULK - algmõiste, intuitiivse definitsiooni järgi objektide kogum. George Cantor (1845-1918) - saksa matemaatik, hulgateooria rajaja. Hulgad jaotuvad lõpmatuteks ja lõplikeks. Meie kursuses käsitletakse lõplikke hulki, mõnikord ka lõpmatuid loenduvaid hulki. Hulgateoreetilised operatsioonid · Hulkade ühend AB={x |(xA)V (xB)} · Hulkade ühisosa (lõige) AB={x |(xA)& (xB) · Hulga täiend A = { x | ( x I ) & ( x A ) }, kus I on nn. universaalhulk. ·
Lausearvutus:  Diskreetne matemaatika ei tegele pidevate funktsioonidega.  Diskreetne mate ei tegele reaalarvudega.  Verbaalne esitus on lingvistilise keele kasutamine info edastamiseks.  Formaalne esitus on ilma lingivtilise keele kasutamise info edastamine, peamiselt sümbolite abil.  Formaalne esitus peab olema üheselt mõistetav.  Lausearvutus on loogilise mõtlemise matemaatiline mudel.  Lausearvutuse lause on lause, millele saab omistada tõeväärtust(0,1).  Tõeväärtuseid on kaks, 0-väär, 1-tõene.  Lihtlause on lihtsaim lausearvutuse lause.  Lausearvutuse lauseid tähistatakse suutre tähtedega A, B, C.  Liitlause koosneb lihtlausetest ning neid siduvatest konstruktisoonidest ja sidesõnadest.  Lausearvutuse loogikatehted on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents.  Binaarsed tehted on need tehted, mida saab teha kahe a
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 konjunktsioon ehk JA-tehe. Loogilin
Küsimus 1 Õige - Hinne 1,00 / 1,00 Millised on loogikafunktsiooni võimalikud esitusviisid ? Vali üks või enam: osaline järjestussuhe Hasse diagramm tõeväärtustabel Grassmani valem Venni diagramm hulk loogikaavaldis numbriline kümnendesitus Küsimus 2 Õige - Hinne 3,00 / 3,00 vali mõlemasse lünka õiged valikud: Konjunktiivne Normaalkuju (KNK) on mis disjunktsioonide konjunktsioon saadakse tõeväärtustabeli 0de piirkonnast Küsimus 3 Õige - Hinne 1,00 / 1,00 kas järgnev väide on õige või vale? 4-mõõtmeline Boole'i ruum on kõikide 4-järguliste 2ndvektorite hulk. Vali üks: Tõene Väär Küsimus 4 Õige - Hinne 6,00 / 6,00 vali sobivad väljendid, mille korral lause on õige: Täielikult määratud loogikafunktsioon on kõikjal määratud ühene
1. Martiklinumbrile vastav 4-muutuja loogikafunktsioon? Minu martiklinumber: 155042 -> 25DA2 7-kohaline: 3 2 B 7 4 O E ----> 0 2 3 4 7 11 14 9-kohaline: 4 3 F 3 8 7 E C 2 ----> 2 3 4 7 8 12 14 15 Määramatus: 8, 12, 15 0-de piirkond: 1, 5, 6, 9, A, D f(x1, x2, x3, x4) = (0,2,3,4,7,11,14)1(8,12,15)_ 2. Loogikafunktsiooni tõeväärtustabel x1 x2 x3 x4 f 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 - 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 - 1 1 0 1 0 1 1 1 0 1 1
Tallinna Tehnikaülikool Diskreetne Matemaatika Kodutöö Jago Niin 123835 IASB12 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number on 123835. Saadud 8-kohaline 16-süsteemi arv on 10247E89. Määramispiirkonna leidmisel tuleb arv F31680. f(, , , ) = 2. Leida MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks. Leian MDNK Karnaugh' kaardiga. f(, , , ) = x3x4 00 01 11 10 x1x2 00 1 1 - 1 01 1 0 1 - 11 0 0 - 1 10 1 1 0 0 MDNK: f(, , , ) = v v v MKNK  McCluskey meetodiga f(, , , ) = Indek Nr Indeks Intervall Märge Intervall Märge s 3 *0011 x
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 1 0101
Kõik kommentaarid