LAUSEARVUTUS 4 sidumiskonstruktsiooni seovad igaüks kahte lauset ( binaarsed loogikatehted) ja 1 tehe viiest on rakendatav üksikule lausele ( unaarne Ü loogikatehe) T Lausearvutus on loogilise mõtlemise matemaatiline mudel. T Lausearvutuse lause võib olla iga verbaalne (ehk lingvistilises keeles verbaalne esitus formaalne tähistus väljendatud) väide, millele saame omistada tõeväärtuse — tõene või P eitus ( inversioon ) : __ vale
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. Mis on lausearvutus? Lausearvutus on loogilise mõtlemise matemaatiline mudel. Milline lause on lausearvutus lause? Lausearvutus lause võib olla iga verbaalne väide, millele saame omistada tõevaartuse, ehk kas ta on tõene või väär, 1 või 0. Lausearvutus lause peab omandama ühe tõeväärtuse nendest kahest alternatiivist. Millised tõeväärtused on olemas? Kuidas neid tähistatakse? On olemas kaks tõeväärtust, 0 ja 1 ehk vastavalt kas väär või tõene. Milline lause on lihtlause?
KONTROLLKÜSIMUSTEGA TEST - lausearvutus file:///C:/Users/CPU/Desktop/Diskmati_TESTID_moodle__'s_-_100%... Diskreetne Matemaatika You are logged in as Alger Abna (Logout) Home My courses IAY0010 Topic 2 KONTROLLKÜSIMUSTEGA TEST - lausearvutus Review of attempt 1 Started on Wednesday, 16 November 2011, 09:28 PM Quiz navigation Completed on Wednesday, 16 November 2011, 09:39 PM 1 2 3 4 5 6 Time taken 10 mins 30 secs 7 8 9 10 Marks 10.00/10.00
Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks. Kokkulepped sulgude kohta: 1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->. 2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsu...
docstxt/1328442129101372.txt
Küsimus 1 Õige - Hinne 1,00 / 1,00 otsusta, kas see väide on tõene või vale: "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Vali üks: Tõene Väär Küsimus 2 Õige - Hinne 1,00 / 1,00 Märgista järgnevas loetelus need nimed, mis loogikaseaduste hulgas tõepoolest eksisteerivad: Vali üks või enam: topeltjaatuse seadus kontrapositsiooni seadus Morgani seadus päritolu seadus neeldumisseadus DeMorgani seadus välistatud kolmanda seadus välistatud teise seadus eeldusseadus topelteituse seadus vastuolu seadus Küsimus 3 Õige - Hinne 1,00 / 1,00 Millised kvantorid on olemas? Vali üks või enam: Lausekvantor Üldsuse kvantor Tõekvantor Normaalkvantor Olemasolu kvantor Loogikakvantor Küsimus 4 Õige - Hinne 1,00 / 1,00 Mitut erinevat loogikatehet kasutatakse lausearvutuses? (sisesta arv/number: ) Vastus: 5 Küsimus 5 Õige - Hinne 1,00 / 1,00 Loogikatehetel on olemas võõrsõnalised nimetused. L...
LAUSEARVUTUS Küsimus 1 Õige Hinne 1,00 / 1,00 otsusta, kas see väide on tõene või vale: "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Tõene Väär Küsimus 2 Õige Hinne 1,00 / 1,00 Mida tähendab hüüumärgiga eksistentsikvantor? Vali üks: hüüumärk muudab kvantori tähenduse vastupidiseks hüüumärk täpsustab, et "leidub täpselt 1" hüüumärk rõhutab kvantori suurt tähtsust Küsimus 3 Õige Hinne 1,00 / 1,00 Kui loogikaavaldises pole sulgudega määratud tehete järjekorda, siis KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . Vastus 1 kõige esimesena tehakse loogikaavaldises INVERSIOON Vastus 2 ...selle järel järgmisena tehakse KONJUNKTSIOON Vastus 3 ...ja viimasena...
Lausearvutus 1) a. Lausearvutuse lausetele esitatavad tingimused: a.i. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. a.ii. Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär. a.iii. Tehteid võib teostada ükskõik milliste lausetega. a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest. 2) a. Eitus (märk ¬). Lause mittekehtimine. b. Konjunktsioon (märk &) tähendab seost ,,ja". c. Disjunktsioon (märk ) väljendab seost ,,või". Siin on kasutusel mittevälistav ,,või". d. Implikatsioon (märk ) väljendab tingimuslikku konstruktsiooni ,,kui ..., siis ...". e. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost ,,parajasti siis, kui". f. Tehete järjekord kõrgemast madalamani ¬, &, , , . ...
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. Predikaatarvutus on lausearvutuse laiendus, milles kasutatakse täiendavalt redikaadi, inviidi ja kvantori mõisteid.
docstxt/14145071324217.txt
LOOGIKA KONSPEKT EKSAMIKS (autor mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus Kui mingis arutluses peetakse tõeseks kaht väidet, millest üks jaatab seda, mida teine eitab, siis öeldakse, et arutlus on vasturääkiv. ! ! Arutlus pole loogiliselt korrektne, kui omavahel vastuolus olevaid väiteid mõlemat jaatatakse ! ! või...
docstxt/15111984904585.txt
57 FORTRAN (imperative), 64 BASIC for PC, 69 1st chip, 75 Microsoft, 77 Apple, 80 1st hard disc, 1st worm, 81 OsborneI (1st laptop), 84 MAC, 85 CD-ROM, 85 Excel. OS: CP/M (74), BSD (77 UNIX), Xenix (70 MS), MS-DOS (81), HP-UX (84), Windows (85), AIX (86 UNIX), Solaris (91 UNIX) Digitconvert.com http://www.asciitable.com http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html - lausearvutus http://www.ene.ttu.ee/elektriajamid/oppeinfo/materjal/AAR0040/010_ROBOT_Sissejuhatus. pdf - robotid http://en.wikipedia.org/
Vasturääkivusseadus ükski lause ei saa olla endaga vastuolus Välistatud kolmanda seadus iga lause on kas tõene või väär, kolmandat võimalust ei ole Küllaldase aluse seadus ühtli lauset ei saa pidada tõeseks või vääraks ilma küllaldase aluseta. Näide Maril on täna hea tuju Kui Maril on hea tuju, siis on Jüri õnnelik ------------------------- Jüri on täna õnnelik Lauseid.... Elu on elu Tööpäev kestab reedel kella poole viieni Jüri on ja ei ole mees Lausearvutus Boole algebra Jagamine lauseteks ja osalauseteks 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. Konjunktsioon &, , AND Konjunktsioon kahe lause vahel on
Mis on DISKREETNE MATEMAATIKA ? Millega Diskreetne Matemaatika tegeleb ? T Ü Mõiste "diskreetne" on teisiti väljendatav sõnadega"mitte pidev" ehk Diskreetse matemaatika alla kuuluvad: T "astmeline". Järgnev joonis illustreerib mõisteid pidev ja diskreetne: — Loogika Lausearvutus. Loogikatehted. Loogikaseadused. Predikaadid. Tõestusmeetodid k a — Hulgad i Hulgaalgebra (Cantori algebra). Hulgaaritmeetika n
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,
SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi: · Välistatud kolmanda seadus
Sissejuhatus infotehnoloogiasse 2018 1. Nädal. bitt(b) = 1b, Bait(B) = 8b, kB = 1024 B, MB = 1024 kB jne 2. Nädal. Eksamiks: kreeka loogikud, süllogismid, induktsioon, deduktsioon, lausearvutus (pead mh oskama tõeväärtustabelit koostada), Pascal, Leibniz, perfokaardid, kangasteljed, Babbage, Hollerith, colossus ja saksa krüptomasinad, Turing, Shannon, Zuse, esimesed programmeeritavad arvutid. Küberkaitse termineid: (turvateater, malware, cookie, phishing, social engineering). Kreeka loogikud:Parmenides, -5. Saj, pikad loogilised põhjendused Zenon Eleast, -5. Saj, apooriad/paradoksid Sokrates, -5. Saj, sofistid Platon, -5,-4
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)
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
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.
1967 I floppy disk (IBM);LOGO arvutikeel väide. Aristotelese puhul alati kaks kategoorilist Answer. eeldust, üks kategooriline järeldus. Stoikud: lastele(Papert). END-PERFORM. lausearvutus - Stoikud uurisid, kuidas saab 1968 - Intel Corp(Moore, Noyce lahkusid loogiliste sidesõnade (ja, ei, või, kui...siis) abil EXIT PROGRAM. Fairchild Semiconductorsst). lihtsamatest lausete keerulisemaid kokku panna ja
Millal mingit teadmuse esitamise ja arutluse meetodit võib nimetada loogikaks? Tooge näiteid teadmuse esitamise ja arutluse meetodite kohta, mis on ja mis ei ole loogikad. Kas loogika selgitab, kuidas inimene mõtleb? 28. Matemaatiline loogika:keel ja interpretatsioon. Erinevate interpretatsioonide näited. Matemaatiline loogika, on loogika formaliseeritud haru mis on mitmete teadmiste kujutamise keelte aluseks. Mat. Loogika keel on näiteks Prolog. 29. Lausearvutus, predikaatarvutus. Mittemonotoonsed loogikad. CLIPS, JESS ja nende edasiarendused. lk 21 30. Lause, muutuja, loogikatehe. Aksioom, tautoloogia. Tuletusreeglid, järeldamine, tuletus, teooria. Tõeväärtus. Mudel. 31. Semantika. Semantika erinevates valdkondades, selle seosed teadmistega Semantika on keeleüksuse (sõna, lause) tähendus antud kontekstis; aga ka keeleteaduse haru, mis uurib keele ja tegelikkuse suhteid. Üldisemalt, semantika räägib tähendusest;
INTEGER; Aristotelese puhul alati kaks kategoorilist eeldust, 1800 Perfokaardid, Jacquard, 5150 PC ja cga graafikakaart(16 värvi), 32000 – VAR sum,i:INTEGER; üks kategooriline järeldus. Stoikud: lausearvutus esimene 32-bit prose (National Semiconductor) BEGIN - Stoikud uurisid, kuidas saab loogiliste sidesõnade 1822 Babbage,Ada Lovelace(I (ja, ei, või, kui...siis) abil lihtsamatest lausete programmeerija)
tõesed, väistatud kolmanda seaduse põhjal ei saa nad aga korraga väärad olla. 4) Küllaldase aluse seadus : ühtki väidet ei saa pidada tõeseks ega vääraks ilma küllaldase aluseta. LOOGIKAHARUD NING NENDE NIMETUSED 1) TRADITSIOONILINE LOOGIKA – koosneb peamiselt aristotellikust süllogistikast ning sellega seotud väite- ja mõisteõpetusest. Mõisteloogika. 2) KLASSIKALINE LOOGIKA – lausearvutus ja predikaatarvutus. Klassikalises loogikas on väljend LAUSE sama tähendusega, mis PROPOSITSIOON(väitlause sisu, mis pole seotud konkreetse keele või ütlemisviisiga). Eesti keelses predikaatloogikas on väljendil lause veel tähendus KINNINE VALEM. Klassikalises loogikas järgitakse loogika kolme esimest põhiseadust ning JÄETAKSE VÄLJA KÜLLALDASE ALUSE SEADUS, sest klassikaline loogika ei käsitle propositsioonide ning maailma vahelisi seoseid
3) B C Esimesest kahest saab järeldusreegli abil formaalselt tuletada väite B, ning B ja väide (3) annavad järeldusreegli abil lõpuks väite C. Viimase tuletussammu formaalseks läbiviimiseks asendasime järeldusreeglis muutujad A ja B muutujatega B ning C. Enamik loogikaharusid kasutab lausearvutuse keele rikastatud variante, mis lubavad kirja panna märksa keerulisemaid väiteid, kui puhas lausearvutus võimaldab. Olulisem neist rikkamatest formaalsetest keeltest on predikaatarvutuse keel, milles saab rääkida objektidest, nende omadustest ja omavahelistest suhetest. Keerulisemad formaalsed keeled võimaldavad väljendada lisaks samasust, paratamatust, võimalikkust, teadmist ja aega, suhtuda väidetesse kui objektidesse, kasutada vaikimisi-reegleid jne. Põhimõtteliselt on võimalik konstrueerida kuitahes
1. nädal • Eksamiks: pead teadma suuruse-numbreid ja mida nad tähendavad: bitt, bait, kilobait, megabait jne; oskad selgitada, kuidas tähti kodeeritakse, mis on algoritm ja mis programm. Ajaloost: Kreeka loogikud, induktsioon, deduktsioon, süllogismid, lausearvutus (pead mh oskama tõeväärtustabelit koostada), Pascal, Leibniz, perfokaardid, kangasteljed, Babbage, Hollerith, colossus ja saksa krüptomasinad, Turing, Shannon, Zuse, esimesed programmeeritavad arvutid. Algoritm – täpne samm-sammuline, kuid mitte tingimata formaalne juhend millegi tegemiseks. Nt toiduretsept, juhend ruutvõrrandi lahendamiseks. Programm – formaalses, üheselt mõistetavas keeles kirja pandud algoritm. Arvutid suudavad täita ainult programme.
m.a) Aristoteles: väidete struktuur kui iseseisev uurimisobjekt, loogika teke Süllogismid Eksam= Eksamloogilised Eksamjäreldused induktsioon Eksam– Eksamtõenäolisusel Eksampõhinev Eksamjäreldus Eksamehk Eksamarutlemise viis, asjadel omadus, järeldatakse et sama omadus ka teistel või kõigil sellistel asjadel, deduktsioon Eksam– Eksameelduste Eksamtõesus Eksamtagab Eksamjärelduse Eksamtõesuse lausearvutus (pead Eksammh Eksamoskama Eksamtõeväärtustabelit Eksamkoostada), Blaise EksamPascal Eksam– Eksam1640 aritmeetiline masin(50tk): liitis ja lahutas Leibniz Eksam– EksamSaksa filosoof 1646 – 1716, Leibnizi Eksamarvuti(1671) Eksamliitis, Eksamlahutas, Eksamkorrutas, Eksamjagas lõi Boole’ga sarnaneva loogikasüsteemi (deprecated) püüdis luua universaalset sümbolkeelt “arutlemise aritmeetika” jaoks
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 . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
MATEMAATILINE LOOGIKA 1. LAUSEARVUTUS Lausearvutuse tehted: Eitus (¬) Konjuktsioon (&) Disjunktsioon (V) Implikatsioon (->) Ekvivalents (<->) Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: o iga lausemuutuja on lausearvutuse valem o kui F on lausearvutuse valem, siis ka ¬F on lausearvutuse valem o kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG), (F->G) ja (F<->G) on lausearvutuse valemid Lausearvutuse valemi F tõeväärtus etteantud väärtustusel leitakse järgmiste reeglite abil: o 1) Kui F = ¬G, siis F = 1 parajasti siis, kui G = 0 o 2) Kui F = G & H, siis F = 1 parajasti siis, kui G = 1 ja H = 1 o 3) Kui F = G H, siis F = 1 parajasti siis, kui G = 1 või H = 1 o 4) Kui F = G H, siis F = 1 parajasti siis, kui G = 0 või H = 1 o 5) Kui F = G H, ...
predikaat. Süllogismid. Modaalsed väited. Stoikud: Zenon Kitionist (333-264) ja eriti Chrysippos (279-206). Lausearvutuse elemendid. Keskajal Boethius (480-525). Aristoteles ladina keelde. Skolastikud panevad aluse ka analüütilisele filosoofiale. Raimon Lull (1235-1315) Võtab kasutusele sümbolid. G. W. Leibnitz (1646-1716). Idee luua universaalne sümbolkeel, mida võib kontrolloda ka masinaga. Tegi palju matematilise loogika jaoks, kuid ei avaldanud. G. Boole (1815-64) Lausearvutus. Seda arendas A. de Morgan. (1806-1871). Gottlob Frege (1848-1925) Esimest järku predikaatarvutus. Georg Cantor (1845-1918). Hulgateooria ja paradoksid. Bertrand Russell (1872-1970). Paradoksid, tüüpide teooria Alfred Tarski (1902-1983). Objektkeel ja metakeel. Kurt Gödel (1906-1978). Mittetäielikkuse teoreem. Alan Turing (1912-1954). Universaalne programmeeritav arvuti. 4_fl_i-v
fraasidest, millega neid muutujaid asendada: 1. eeldus: iga x on y. 2. eeldus: mõni z on x. järeldus: mõni z on y. Aristotelese "kategoorilised väited": Iga b on a Mitte ükski b pole a Mõni b on a Mõni b ei ole a süllogism on väitlus, kus mingitest etteantud väidetest (eeldustest) järeldub paratamatult uus väide. Aristotelese puhul alati kaks kategoorilist eeldust, üks kategooriline järeldus. STOIKUD : LAUSEARVUTUS Stoikud uurisid, kuidas saab loogiliste sidesõnade (ja, ei, või, kui...siis) abil lihtsamatest lausetest keerulisemaid kokku panna ja kuidas näidata selliselt moodustatud lausete õigsust. Kui esimene, siis teine; esimene; järelikult teine. ((X -> Y) & X) -> Y Kui esimene, siis teine; mitte teine; järelikult mitte esimene. ((X -> Y) & -X) -> -Y RAMON LLULL 1235-1315 Müstik, Peateos ,,Ars magna, generalis et ultima." LEONARDO DA VINCI 1500
eeskujul saab loogikat jaotada traditsiooniliseks, klassikaliseks ja mitteklassikaliseks.Ajalooliselt oli esimene loogika Aristotelese loogika, mis arenes edasi nn traditsiooniliseks loogikaks. Traditsiooniline loogika koosneb peamiselt aristotellikust süllogistikast ning sellega seotud väite- ja mõisteõpetusest. Traditsiooniline loogika on tänapäeval taandunud lausearvutuse ja predikaatarvutuse ees, mis on arvutuslikult võimsamad kui traditsiooniline loogika. Klassikaline loogika on lausearvutus ja predikaatarvutus. Mõneti lihtsustatult võib öelda, et traditsiooniline loogika on mõisteloogika ja klassikaline loogika on predikaatarvutus ehk predikaatloogika, kuna lausearvutus on esitatav predikaatarvutuse osana. Klassikalises loogikas on väljend lause sama tähendusega, mis propositsioon (väitlause sisu, mis pole seotud konkreetse keele või ütlemisviisiga). Klassikalises loogikas järgitakse loogika kolme esimest
Ajalooliselt oli esimene loogika Aristotelese loogika, mis arenes edasi nn traditsiooniliseks loogikaks. Traditsiooniline loogika koosneb peamiselt aristotellikust süllogistikast ning sellega seotud väite- ja mõisteõpetusest. Traditsiooniline loogika on tänapäeval taandunud lausearvutuse ja predikaatarvutuse ees, mis on arvutuslikult võimsamad kui traditsiooniline loogika. Klassikaline loogika on lausearvutus ja predikaatarvutus. Mõneti lihtsustatult võib öelda, et traditsiooniline loogika on mõisteloogika ja klassikaline loogika on predikaatarvutus ehk predikaatloogika, kuna lausearvutus on esitatav predikaatarvutuse osana. Klassikalises loogikas on väljend lause sama tähendusega, mis propositsioon (väitlause sisu, mis pole seotud konkreetse keele või ütlemisviisiga). Klassikalises loogikas järgitakse loogika kolme esimest
1. LOENG Sissejuhatus Lausearvutus: Teoreemid sõnastatakse tavaliselt kujul: ,,Kui A, siis B". Teoreemi osa A, mis on seotud sõnaga kui, nimetatakse teoreemi eelduseks, ja osa, mis on seotud sõnaga siis, väiteks. Näide: Kui kaks vektorit on risti, siis nende vektorite skalaarkorrutis on null. Näide: Kui nurgad on kõrvunurgad, siis nende summa on 180o. Teoreemi tõestamine tähendab selle näitamist, et eeldusest A järeldub väide B. Tõestamisel lähtutakse aksioomidest ja varem tõestatud teoreemidest.
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 ¬). Igapäevake...
Loeng 1 Van Neuman'i arvuti: mälu – programmid vajalik info e. Data Esimesed arvutid 17 sajandil. Loeng 2 Deduktsioon Induktsioon Aristoteles: väidete struktuur kui iseseisev uurimisobjekt Süllogismide näited: 1. eeldus: iga koer on imetaja. 2. eeldus: mõned neljajalgsed on koerad. järeldus: mõned neljajalgsed on imetajad. Süllogism on väitlus, kus mingitest etteantud väidetest (eeldustest) järeldub paratamatult uus väide. Stoikud: lausearvutus Stoikud uurisid, kuidas saab loogiliste sidesõnade (ja, ei, või, kui...siis) abil lihtsamatest lausetest keerulisemaid kokku panna ja kuidas näidata selliselt moodustatud lausete õigsust. Leonardo da Vinci - ~1500 kalkulaatori joonis Schickard 1625: väitis ehitanud olema liitva, lahutava, korrutava, jagava masina Kristlik filosoof Blaise Pascal 1640: aritmeetiline masin: ainult liitis ja lahutas. Leibniz Saksa filosoof 1646-1716 Leibnizi arvuti(1671) liitis, lahutas, korrutas, jagas
annaabi.ee 
