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. " mitte P "; " pole õige, et P " ...
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...
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 Grade 100.00 out of a maximum o...
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 ¬, &, , , . ...
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. Predikaatarvutus on lausearvutuse laiendus...
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
Kas saab teha ühe sisendiga skeemi, milles on kasutusel nii AND kui ka OR gate? Jah Kas on võimalik luua AND ja OR gate´i kasutades komponente, mis suvalise sisendi peale ei väljastaks signaali? JAH Millistel muutuja väärtustel on lause (Av(B&A))v(-A&(Cv(B&-C))) väär? A=0, B=0 ja C=0 Mitu baiti on klassikalise Turingi masina mälu? 0 Mis sümbol on kirjutatud Turingi masina lindile kui realiseeritakse käsk (B,0,1,L,A)? Mitu käsku minimaalselt on Turingi masinas, mis vastab (B,0,1,L,A) nõuetele? 1, 4 Kui mitut eri sümbolit lubab Ecki poolt loodud Turingi masin lindile kirjutada? 6 Milline järgnevates kümnendarvudest annab Ecki appletis juuresoleva graafilise kujutise? 405021720 Kui palju mälu on Ecki xComputer´l? 2Kb Kui joonistada 0 taseme lumehelves Ecki laboris, siis mis kujund see on? Kolmnurk Milline järgnevatest käskudest peatab Ecki xComputer´i? 1023 , 11264? Mitu muudatust HTML failis tuleb teha selleks, et Tanel Tammeti ...
Loogika 2011/12 Loogika ...on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Antiikaeg Parmenides (5 saj ema) Zenon - reductio ad absurdum Induktsioon Õppimine ehk üldistuste tegemine Reeglid Erandid Statistika Kiire reageerimine on oluline ellujäämise seisukohast Deduktsioon Reeglite rakendamine ehk järelduste tegemine Tuletamine Õigete reeglite rakendamine õigetele faktidele garanteerib alati edu Mõtlemise aspektid Kui väide A on õige, siis A on õige Kui A ja B, siis A Ei ole tõsi, et A ja mitte A Modus ponens: Kui Ast järeldub B ja A on tõsi, siis on ka B tõsi. Näide: Iga anarhist on vabaabielu pooldaja Mõned valitseva partei liikmed on anarhistid --------------------------------------------- Mõned valitseva partei liikmed on vabaabielu pooldajad Näite jätk Iga x on y Mõni z on x ------------------- Mõni z on y Loogika ...
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, implikatsioon, ekvivalents. Binaarsed tehted on need tehted, mida saab teh...
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. Iga lause on kas tõene või väär · Mittevasturääkivuse 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. Saj Aristoteles, -4. Saj, süllogismid, stoikud (1. eeldus: iga koer on imetaja. 2. eeldus: mõned neljajalgsed on koerad. järeldus: mõned neljajalgsed on imetajad.), Stoikud uurisid, kuidas saab loo...
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...
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 konjun...
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 konjunk...
1625 - Schickard väitis,et tegi I liitev, lahutav, korrutav, juhitav), GNU(Stallman)tasuta op.s, windows 1.0. (if (fn (car lst)) käsurida (CLI), graafika (GUI);Olemasolevad jagav masin. (every? fn (cdr lst)) rakendused, teenused,Vajalik riistvara, 1986 NNTP uudised liiguvad TCP/IP (interneti) Haldusvahendid, #f)#t)) kaughaldus,Stabiilsus,Skaleeruvus,Tugi,Hind). 1640 - Blaise Pascal-aritmeetiline masin kaudu...
1. Mis on intelligentne süsteem? Kas ilu on vaataja silmades, samuti ka intelligentsus, ongi õige? Intelligentsel süsteemil on omadusi, mida üldiselt seostatakse inimmõistusega näiteks, arutlemine ja õppimine. Intelligentset süsteemi võib defineerida ka kui süsteemi, mis põhineb tehisintellekti teoorial ja tehnikatel, sealhulgas reeglipõhistel, õppivatel, arenevatel ja iseorganiseeruvatel süsteemidel. 2. Nimetage mõni intelligentne süsteem ja mõni süsteem, mis seda ei ole. Kas me saame oma väites kindel olla? Miks? Nutikodu- intelligentne süsteem. Lambilüliti- mitteintelligentne. 3. Mis asi on süsteem? Mida tähendab "intelligentne"? Nimetage mõni asi, mis ei ole süsteem. Kas on vaja ühte mõistet kokku leppida ning kui suur on selle kokkuleppe ulatus? 4. Tooge veel näiteid intelligentsetele süsteemidele iseloomulike omaduste kohta. Kuidas oleks vihastamise, kurbuse, empaatiaga jne? Kas mõni ülaltoo...
1625 - Schickard väitis,et tegi I liitev, lahutav, korrutav, 1978 – VAX11/780 , inteli 8086 mikropr;Raamat ”C 4.sumto ja c näited:1. eeldus: iga koer on imetaja.2. eeldus: jagav masin. programming language”. C (ja C++ ja Java ja C#) mõned neljajalgsed on koerad.järeldus: mõned neljajalgsed on imetajad. 1. eeldus: iga anarhist on int sumto(int n) { süsteemi vastane.2. eeldus: mõned poliitikud on 1640 - Blaise Pascal-aritmeetiline ...
1.LOOGIKA AINE JA PÕHIREEGLID Ratsionaalne mõtlemine- järjekindel ja reeglipärane mõisteline mõtlemine, kusjuures reeglid peavad olema mingil viisil õigustatud. Need võivad tugineda nt kogemuse üldisusele, mille allikaks peetakse tihti tegelikkust. Ratsionaalse mõtlemise eesmärk- tegelikkusega kohanemine. LOOGIKA UURIMISVALDKOND ongi peamiselt ratsionaalse mõtlemise seaduspärasused ja mõtlemise aktide produktid. Irratsionaalne mõtlemine- ebakindel, reeglipäratu või järgib väljendamatuid või vaieldavaid reegleid. Ei kuulu otseselt loogika uurimisvaldkonda, kuid selle olemasoluga tuleb arvestada. Võib tugineda mõtleja sisemistele ajenditele, nt soovidele või hirmudele, sageli neid ajendeid ei teadvustata. Mõnikord on mõtlemise aluseks irratsionaalne soov või usk, aga arutluskäigud võivad olla vägagi ratsionaalsed. Intuitsioonile tuginev irratsionaalne mõtlemine ehk intuitiivne mõtlemine võib olla mõnes olukorras isegi efektiivsem kui loog...
Loogika aine ja ajalugu: sissejuhatus T.Tamme, T.Tammeti ja R.Prangi loogikaõpikule "Mõtlemisest tõestamiseni" Tanel Tammet Department of Computer Sciences, University of Göteborg and Chalmers University of Technology, 41296 Göteborg, Sweden email: [email protected] Puhta loogika eesmärk on olla õige kõigis võimalikes maailmades, mitte ainult selles veider-segases vaevarikkas maailmas, kuhu juhus meid on heitnud. Loogik peab eneses alal hoidma teatud annuse jumalikkust: ta ei tohi alanduda selleni, et teha järeldusi...
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. Bitt – info mõõtmise ühik, tuleb mõistest binary digit – nö kahendarv kahe võimaliku väärtusega 0 ja 1. Saab näidata kahte võimalikku olekut. Nibble - 4 bitti. Bait – arvutite...
λ EksamEksam 1 Eksamiks: pead teadma suuruse-numbreid ja mida nad tähendavad: bitt, bait, kilobait, megabait jne; Bit Eksam/ EksamBitt 1 or 0 Byte Eksam/ EksamBait 8 Bits Kilobait Eksam(KB) 1 024 Bytes Megabait Eksam(MB) 1 024 KB kuidas Eksamtähti Eksamkodeeritakse: ASCII (American Standard Code for Information Interchain) 8bit = 16 * 8 = 128 märki EBCDIC (Extended Binary Coded Decimal Interchange Code) 8bit, IBM UNICODE (Extended ASCII) (utf-8), 1Byte for first 128, up to 4B for the rest~143 859 märki algoritm Eksam- Eksamtäpne samm-sammuline juhend millegi tegemiseks programm Eksam- Eksamformaalses üheselt mõistetavas keeles kirja pandud algoritm Ajaloost: Kreeka Eksamloogikud Parmenides (5 sajand e.m.a.) : kasutas pikki loogilisi põhjendusi. Zen...
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! MÕTLEMINE on alati verbaalne ehk toimub mingi lingvistilise keele Diskreetne Matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. abil. ...
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, ...
1_fl_i-v L1. SISSEJUHATUS Mõtlemine on käsiteldav kui igasugune aktiivne vaimne protsess. Tulemuslikku mõtlemist iseloomustab abstraheerimine, analüüs ja süntees. Mõtlemisvahendite põhjal võib seda jaotada · kaemuslik-motoorne, · kujundlik · sõnalis-loogiline (verbaal-loogiline). Sõnalis-loogiline mõtlemine tugineb mõistetele. Verbaalne mõtlemine avaldub inimese oskuses ... · opereerida mõistetega, neid võrrelda ja analüüsida; · püstitada hüpoteese, formuleerida kontseptsioone ja teooriaid; · seletada olemasolevaid teadmisi; · saada uusi teadmisi olemasolevate põhjal. Ratsionaalne mõtlemine on järjekindel ja reeglipärane (ehk loogiline) mõtlemine. See võib olla korrigeeritud kogemusega, mille allikaks peetakse tegelikkust. Eesmärgiks on sageli tegelikkusega kohanemine. Irratsionaalne mõt...
1. Suuruse numbrid ja mida nad tähendavad ? 1 bit = 1 binary digit 1bait = 8bitti 1kilobait = 1024 baiti Megabait = 1,048,576 baiti Gigabait = 1,073,741,824baiti Terabait = 1 trillion baiti Esimene mikroprose: intel 4004 von Neumann-type computer - Stored-program Computer KÜSIMUSED: Nimeta vähemalt üks oluline teooria- alane tulemus Alan Turingilt. Millisel aastakümnel see tulemus saadi? Turingu test 1940 Millal loodi programmeerimiskeel Fortran (pluss- miinus kolm aastat on OK)? Mille poolest on Fortran eriline? 1957, kõrgema taseme programmeerimiskeel, mis võimaldas loop´ida. Millisel sajandil elas saksa filosoof Leibniz? Milliseid tehteid suutis teha Leibnizi ehitatud arvuti? 17. sajandil , liitis, lahutas, korrutas, jagas Mis aastal hakati müüma arvutit nimega Commodore PET(pluss - miinus kaks aastat on OK)?1968 Millal loodi Intel Corp (pluss miinus kaks aastat on OK)? Mida ...
SEMANTILINE KOLMNURK: TEEMA 1!! 1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tšcnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: • sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; • mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; • teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma mõtteid väljendada; • loogika kui teadus (õpetus, filosoofia vms), mis uurib keeles väljenduva mõtlemise kõige...
1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: · sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; · mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; · teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma ...
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. Vahetades teoreemis ,,Kui A, siis B" eelduse ja väite, saame lause ,,Kui B, siis A". Seda lauset nimetatakse antud lause pöördlauseks. Kui lause kehtib, siis selle lause pöördlause ei pruugi kehtida. Näide: Lause: ,,Kui arv lõpeb nulliga, siis ta jagub viiega" (kehtib). Pöördlause: ,,Kui arv jagub viiega, siis ta lõpeb nulliga" (ei kehti). Näide: Lau...
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...
tutvu lausearvutuse keskkonnaga: http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-zentral.html Millistel muutuja väärtustel on lause (Av(B&A))v(-A&(Cv(B&-C))) väär? Panna tuleb results only, 0 on väär 1 on õige Tutvu ajalooga saidis kuni II maailmasõda: http://www.maxmon.com/history.htm Loe läbi jutt ja proovi andmetega mängida: http://math.hws.edu/TMCM/java/DataReps/index.html Kahend süsteemi arvu(101101001) ->kümnend süsteemiks. Nr sisse ja bianarile punkt, ja vaatan base ten integeri kümnendarvudest annab Ecki appletis juuresoleva graafilise kujutise, teen kujundi ja vaatan base integeri mis vastab kahendsüsteemi arvule 1110001 ASCII tabelis? Nr sisse ja punkt bianari, vaatan ...teksti Kümnendsüsteemi arv 33 on kahendsüsteemis? 33 kirjutan ja Base-ten integer, vaatan bianary Loe läbi jutud Atbashi ja Caesari šifri (Caesar cipher) kohta: http://www.wikipedia.org 2 Tutvu ajalooga kuni 1970ndad: http://www.islandnet.com/~...
annaabi.ee 
Sisene Facebook'ga
Sisene Google'ga
Sisene LinkedIn'ga
