Sissejuhatus,lausearvutus,loogikaseadused Milliste matemaatikavaldkondadega Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele pideva matemaatika valdkondadega, ehk nendega, kus tegeletakse pidevate funktsioonidega. Näiteks matemaatiline analüüs, integraal- ja differentsiaalaarvutused. Milliste arvudega diskreetne matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega. Mis on verbaalne esitus? Mistahes info esitamine lingvistilise keele abil, nii suulisel kui kirjalikul kujul. Näiteks ajaloo ja filosoofia puhul on tegemsit aladega, kus kogu info on verbaalsel kujul. Mis on formaalne esitus? Mistahes info esitamine, reeglina kirjalik info,ilma lingvistilise keele abita, ehk esitus kokkulepitud sümbolite abil. Näiteks matemaatika, füüsika, keemia, kus infot esitakse nii formaalselt kui verbaalselt. Milline omadus peab olema formaalsetel esitlustel? Mistahes formaalne esitus peab olema üheselt tõlgendatav...
Arvestustöö (variant B) 1. Kas arutlus kehtib? a) Iga inimene loeb raamatuid. Mõni raamat on huvitav. Mõni inimene loeb huvitavaid raamatuid. b) Iga koer haugub. Mõni koer on koduloom. Mõni koduloom haugub. 2. Tõeväärtustabelite meetod. Kas hulk on kooskõlaline? {A ~B, ~(A&C), ~A} 3. Esitada antud lause predikaatloogika keeles kõigis tüüpides. Milline lause räägib esialgsele vastu? Ükski hobune ei ole ratsahobune. 4. Defineeritud on järgmised predikaadid: Tx: x on professor Px: x on professor Ex: x on edukas Lx: x peab loenguid Kx: x korraldab treeninguid Bx: x käib treeningutel Kirjuta predikaatloogika keeles: a. Mõni treener ei käi treeningutel. b. Kõik professorid peavad loenguid. c. Iga treener, kes korraldab treeninguid, on edukas. d. Mõni professor, kes peab loenguid, käib treeningutel. e. Ükski professor ei ole...
IT MATEMAATILISED ALUSED Loogika (TAUNO ÕUNAPUU) 30.01.14 Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kuntslikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lausearvutus on klassikalise loogika lihtsaim osa, mis tegeleb lihtlausete vaheliste seoste uurimisega ning mille abil on võimalik välja selgitada, kuidas liitlause tõeväärtus sõltub osalausete tõeväärtustest.Lausearvutust kasutatakse väga paljudes valdkondades, rakendusalad ulatuvad arutluste analüüsist filosoofias liittingimuste konstrueerimiseni programmeerimises.
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
