HULGAD Hulgaaritmeetilised tehted I Ü Hulgaalgebra T T A B . . . . Hulk on koosvaadeldavate hulgaelementide kogum . . . . ( hulk koosneb elementidest ) Hulkade jaoks on defineeritud 5 hulgaaritmeetilist tehet : tehte NIMI formaalne tähistus AB a...
(George Boole [2.11.1815-8.12.1864], inglise matemaatik ja loogik oli üks matemaatilise loogika rajajaid.) Algebraks nimetatakse üldjuhul elementide hulka, millega tehakse tehteid, kusjuures nende tehete aluseks on kindlad reeglid ehk aksioomid. Aksioomid määravad ära algebra põhitehete omadused ja seosed. Kuna nüüdismatemaatikas on palju algebra like (universaalalgebra, hulgaalgebra , loogikaalgebra), siis kehtivad neis ka erinevad tehted ja aksioomid. Boole'i algebra elementideks on binaarloogika signaalid (argumendid) kahe tõeväärtustega: väär ehk 0 (false) ja tõene ehk 1 (true). Võib lisada et polüvalentse (mitmevalentse) loogika puhul on tegemist enam kui kahe erineva tõeväärtusega. Hägusloogika (fuzzy logic) puhul antakse tõeväärtustele tõenäosuslikud hinnangud. Nüüdisaegne digitaal- ja arvutustehnika põhineb binaarloogikal. Käesolevas...
kõik tehted ÜHISOSA . .. kõik tehted ÜHEND . . . kõik TÄIENDID . . Küsimus 4 Millised nimed on järgnevatel hulgaalgebra Õige põhiseostel ? Mark 1 out of 1 esimene põhiseos on... teine põhiseos on... neljas põhiseos on......
Millisel tingimusel on kaks loogikaavaldist omavahel võrdsed? Kaks erinevat loogikaavaldist on võrdväärsed ehk võrdset, kui nad mõlemad omandavad muutujate samade väärtuskombinatsioonide korral sama loogikaväärtuse 1 või 0 Kuidas saadakse mingi loogikaavaldise jaoks tema duaalne kuju? Konjuktsioon disjunktsiooniks, disjunktsioon konjuktsiooniks, konstandid 0 konstandiks 1 ja konstandid 1 konstandiks 0. Milline seos on omavahel hulgaalgebral ja loogikaalgebral? Loogikaaalgebra ja hulgaalgebra on isomorfsed, kõik hulgaalgebra seadused kehtivad ka loogikaalgebras, tehes järgnevad asendused: ühend disjunktsiooniks, ühisosa konjuktsiooni,s tühi hulk konstandiks 0 ja universaalhulk konstandiks 1 Vaata põhiseoseid ja õpi selgeks lk 156-157 Milleks kasutatakse loogikatehete asendusseoseid? Millistel tehetel on nad olemas? Et asendada mitteelementaarseid loogikatehteid elementaarsete loogikatehete kaudu. Nad on olemas tehetel implikatsioon,ekvivalents ja moodul summast 2-ga....
Hulga ühisosasse kuuluvad elemendid, mis kuuluvad hulka A ja hulka B, ehk mis on mõlemas. Millised hulgad on mittelõikuvad? Hulgad on mittelõikuvad kui neil puudub ühisosa.Ei oma ühiseid elemente. Mis on lõpliku hulga võimsus? Hulga võimsus on selle hulga elementide arv. Mida väljendavad Grassmanni valemid? Grassmanni valemid esitavad hulkade ühisosa või ühendi elementide arvu. Vaata hulgaalgebra põhiseoseid lk 42-43 Milliseid tehteid asendavad hulgaaritmeetilised asendusseosed? Hulgaaritmeetilised asendusseosed võimaldavad asendada hulgatehteid hulkade vahe ja hulkade sümmetriline vahe tehete täiend, ühend ja ühisosa abil. Milline on hulgaaritmeetiliste tehete prioriteedijärjestus? Millal see oluliseks osutub? Täiend,ühisosa,ühend,vahe,sümmeetriline vahe. Oluliseks, kui vaja tehete järjekord paika panna ja puuduvad sulud....
Def: loogikamuutuja 𝑥𝑖 ja konstandid 0 1 on loogikaavaldised; kui 𝐴 on loogikaavaldis, siis on avaldised ka 𝐴̅ ja (𝐴); kui A ja B on loogikaavaldised, siis on avaldised ka 𝐴 ∨∧→↔⊕ 𝐵; tehtemärgi puudumine operandide vahel on samaväärne konjunktsiooniga. Kaks loogikaavaldist on loogiliselt võrdsed, kui nad mõlemad omandavad muutujate samade väärtuskombinatsioonide korral sama loogikaväärtuse 0 või 1. Duaalne kuju saadakse, kui asendada ∧/∨ ja 1/0. Hulgaalgebra ja loogikaalgebra seos: ∩/∧ , ∪/∨ , ∅/0 , 𝐼/1. Asendusseosed asendavad mitteelementaarseid loogikatehteid (impl, ekviv, summa mod 2) elementaarsete loogikatehete (inv, dis, konj) kaudu. n-muutuja loogikafunktsioon 𝑓(𝑥1 𝑥2 . . 𝑥𝑛 ) on vastavus n-muutuja Boole’i ruumist {0, 1}𝑛 loogikaväärtuste hulka { 0, 1 }: 𝑓(𝑥1 𝑥2 . . 𝑥𝑛 ): {0, 1}𝑛 → {0, 1}. Argumentvektor on n-järguline kahendvektor 𝑥1 𝑥2 . . 𝑥𝑛 ∈ {0,1}...
2. 3. 4. 5. Küsimus 9 Õige / Hinne 1,00 / 1,00 Sea vastavaks: Milline hulgaavaldis esitab millise Venni diagrammi rohelist hulka/piirkonda ? keskmisele diagrammile vastab... ...vasakpoolne hulgaavaldis vasakpoolsele diagrammile vastab... ...keskmine hulgaavaldis parempoolsele diagrammile vastab... ...parempoolne hulgaavaldis Küsimus 10 Õige / Hinne 1,00 / 1,00 Millised nimed on järgnevatel hulgaalgebra põhiseostel ? kolmas põhiseos on... DeMorgani seadus esimene põhiseos on... neeldumine neljas põhiseos on... kleepimine teine põhiseos on... sulgude lahtiliitmine Küsimus 11 Õige / Hinne 1,00 / 1,00 vali õige verbaalne nimetus igale hulgaavaldisele: 5. avaldis on: hulkade lahutamine (vahe) 2...
9. Kuidas saadakse mingi loogikavaldise jaoks tema duaalne kuju? Loogikaavaldise duaalne kuju saadakse konjunktsiooni asendamisel disjunktsiooniga, disjunktsiooni asendamisel konjunktsiooniga, konstandi 0 asendamisel konstandiga 1 ning konstandi 1 asendamisel konstandiga 0. 10. Milline seos on omavahel hulgaalgebral ja loogikaalgebral? Loogikaalgebra ja hulgaalgebra on isomorfsed. Kõik loogikaalgebra seadused kehtivad ka hulgaalgebras, kui teha asendused: konjunktsioon – ühisosa, disjunktsioon – ühend, konstant 0 – tühi hulk, konstant 1 – universaalhulk. 11. Milleks kasutatakse loogikatehete asendusseoseid? Millistele tehetele on nad olemas? Asendusseosed asendavad mitteelementaarseid loogikatehteid implikatsioon, ekvivalents, summa mooduliga 2 elementaarsete loogikatehete kaudu. 12. Mis on n-muutuja loogikafunktsioon...
Loogikatehted. Loogikaseadused. Predikaadid. Tõestusmeetodid k a — Hulgad i Hulgaalgebra (Cantori algebra). Hulgaaritmeetika n pidev objekt diskreetne objekt e h — Graafid i t Diskreetset matemaatikat nimetatakse "diskreetseks", et vastandada teda t nn. "pidevale" matemaatikale. u...
2.2. Loogikaseadused Loogikaseadusteks nimetatakse tavaliselt binaarloogika algebra ehk Boole' i algebra seadusi. Algebraks nimetatakse üldjuhul elementide hulka, millega tehakse tehteid, kusjuures nende tehete aluseks on kindlad reeglid ehk aksioomid. Aksioomid määravad ära algebra põhitehete omadused ja seosed. Kuna nüüdismatemaatikas on palju algebra liike (universaalalgebra, hulgaalgebra , loogikaalgebra), siis kehtivad neis ka erinevad tehted ja aksioomid. Boole'i algebra elementideks on binaarloogika signaalid (argumendid) väärtustega 0 ja 1. Nende signaalidega saab sooritada kõiki loogikatehteid ning moodustada suvalisi loogikafunktsioone. Loogikatehete kohta kehtivad järgmised binaarloogika aksioomid: 1. Argumentide järjekorda võib tehtes muuta a + b = b + a. (1.3) 2...
parempoolses Teine võrdub 8. parempoolses Kolmas võrdub 9. parempoolses Neljas võrdub 2. parempoolses Viies võrdub 4. parempoolses Kuues võrdub 1. parempoolses Seitsmes võrdub 6. parempoolses Kaheksas võrdub 7. parempoolses Üheksas võrdub 3. parempoolses Millised nimed on järgnevatel hulgaalgebra põhiseostel? Esimene põhiseos on neeldumine Teine põhiseos on sulgude lahtiliitimine Kolmas põhiseos on DeMorgani seadus Neljas põhiseos on kleepimine Mitme hulga diagramm on suurim Venni diagramm, mis osutub piisavalt ülevaatlikuks ja kasutuskõlblikuks? 4 Millised järgnevad võrdused on korrektsed Grassmanni valemid? Kolmas (3) Neljas (4) Millised tehted võivad sisalduda hulgaavaldise Cantori normaalkujus? Ühend, täiend, ühisosa Mis on (lõpliku) hulga võimsus...
Diskreetse Matemaatika alla kuuluvad: Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . ....
avaldis on: hulkade summeetriline vahe 1. avaldis on: hulkade ühisosa Küsimus 10 Õige Hindepunkte 1,00/1,00 Mitme hulga diagramm on suurim Venni diagramm, mis osutub piisavalt ülevaatlikuks ja kasutuskõlblikuks ? ( sisesta number või sõna ) Vastus: 4 Küsimus 11 Õige Hindepunkte 1,00/1,00 Millised nimed on järgnevatel hulgaalgebra põhiseostel ? esimene põhiseos on... neeldumine kolmas põhiseos on... DeMorgani seadus teine põhiseos on... sulgude lahtiliitmine neljas põhiseos on... kleepimine Küsimus 12 Õige Hindepunkte 1,00/1,00 Sea vastavaks: Milline hulgaavaldis esitab millise Venni diagrammi rohelist hulka/piirkonda ? parempoolsele diagrammile vastab... ...parempoolne hulgaavaldis ...
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...