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. Loogili
MATEMAATILINE ANALÜÜS I. KORDAMISKÜSIMUSED 1. Muutuvad suurused (tähistus, jaotus). Matemaatilises analüüsis tähistatakse muutujad väikeste tähtedega (x, y, a jne). Näiteid muutujate vahelistest suhetest: „Patsiendi vererõhk sõltub ravimite manustamise hulgast“, „Ringi pindala sõltub raadiusest“ Jaotus: a) Konstantsed suurused – ei muutu, omavad alati ühte ja sama väärtust N: ühtlane liikumine – kiirus on konstantne, teepikkus on muutuv suurus) b) Muutuvad suurused N: mitteühtlane liikumine – nii kiirus kui teepikkus muuutvad 2. Funktsiooni mõiste (definitsioon, tähistused, näited). DEF. Muutuvat suurust y nimetatakse muutuva suuruse x funktsiooniks, kui mingi eeskirjaga on suuruse x igale väärtusele seatud vastavusse suuruse y üks väärtus. Asjaolu, et y on x-i funktsioon, tähistatakse y = f(x) • Muutujat x nimetatakse sõltumatuks muutujaks (ehk argumendiks). • Muutujat y nimetatakse sõltuvaks muutujaks. • A
1. Mitmemuutuja funktsiooni lokaalsete ekstreemumite mõisted. Statsionaarne punkt. Kriitiline punkt. piirkonna D rajajoon. Eeldame, et piirkonnas D on täidetud tingimus f(x,y)>=g(x,y). Kahekordse integraali 𝑥 = 𝜌 𝑐𝑜𝑠𝜑 Mitmemuutuja funktsiooni lokaalse ekstreemumi tarvilik tingimus. Definitsioon 1. Öeldakse, et kahe omaduse tõttu ∬𝐷[𝑓(𝑥, 𝑦) − 𝑔(𝑥, 𝑦)]𝑑𝑥𝑑𝑦 = ∬𝐷 𝑓(𝑥, 𝑦)𝑑𝑥𝑑𝑦 − ∬𝐷 𝑔(𝑥, 𝑦)𝑑𝑥𝑑𝑦. Mõlemad kahekordsed 𝑦 = 𝜌 𝑠𝑖𝑛𝜑 muutuja funktsioonil on punktis P1(x1, y1) lokaalne maksimum, kui sellel punktil leidub niisugune ümbrus tei
Diskreetne matemaatika Sisukord Arvusüsteemid ................................................................................................................................................... 2 Kahendkoodid.................................................................................................................................................... 4 Loogikafunktsioonid ja loogikaavaldised ........................................................................................................... 5 Avaldiste teisendused........................................................................................................................................ 8 Karnaugh’ kaart ................................................................................................................................................. 9 McCluskey’ minimeerimismeetod ................................................................................................................... 10 Loogikaskeemi
JÄÄKFUNKTSIOONID 48 LOOGIKAFUNKTSIOONIDE KLASSID 50 DIGITAALSKEEMIDE ELEMENDID 52 LOOGIKAFUNKTSIOONIDE SÜSTEEMID 56 GRAAFID 58 Palju õnne! 67 Soojendus 1. Millise matemaatikavaldkonnaga Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. 2. Milliste arvudega Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega, negatiivsete ja kümnendarvudega(komadega arvud). 3. Milliseid funktsioone nimetatakse pidevateks ? Pidevad funktsioonid on sellised, mille graafik on esitatav pideva (kõver)joonena. 4. Mis on verbaalne esitus? Verbaalne esitlus igapäevane suhtluskeel ehk sõnaline esitlus ja kirjalik esitlus. 5
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ääramispi
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.
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!
Kõik kommentaarid