Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse Registreeri konto
Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjale LOE EDASI Sulge

LAUSEARVUTUS - sarnased materjalid

tehte, tehe, lausearvutus, tehete, loogikatehe, inversioon, loogikatehete, disjunktsioon, tehted, ekvivalents, konjunktsioon, loogikatehted, analoog, liitlause, liitmise, kehtimise, liitmine, tõeväärtused, eitus, kumba, eelduseks, defineeritakse, mingite, nendest, järeldumine, sulgudega, binaarsed, ilmnenud, rakendatav, ülemus
thumbnail
8
docx

Lausearvutuse tehted

(korrutustehe) Loomulikus keeles on konjunktsiooni indikaatoriteks ja, ning, ent, kuid, aga, nii...kui ka...; vahel võib konjunktsiooni tähistada ka punkt või koma. Disjunktsioon p ∨q. Või (liitlause) Lause on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. Lause on väär vaid siis, kui mõlemad p ja q on väärad (0). Implikatsioon p →q. Lause on väär ainult siis, kui p on tõene ja q on väär. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. Ekvivalents p↔q. Loomulikus keeles on ekvivalentsi indikaatoriteks väljendid … siis ja ainult siis, kui … ; … parajasti siis, kui … ; tarvilik ja piisav tingimus; ühekorraga. Lause on tõene siis, kui oponendid on korraga tõesed või väärad.

Õpioskus
16 allalaadimist
thumbnail
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

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

Matemaatika ja loogika
27 allalaadimist
thumbnail
8
docx

Diskreetne matemaatika I - lausearvutus

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. Loogiline korrutamine on konjunktsioon Loogiline liitmine on disjunktsioon Järeldamistehe on implikatsioon Eitus on inversioon Loogiline lahutamine on pole olemas sellist tehet! Küsimus 6 Õige - Hinne 1,00 / 1,00 Milliseid kvantoreid on võimalik EITADA? Vali üks või enam: lausekvantorit olemasolu kvantorit tõekvantorit ühtegi kvantorit ei saa eitada Küsimus 7 Õige - Hinne 1,00 / 1,00 Milliste loogikatehete jaoks on operandide järjekord oluline

Diskreetne matemaatika
88 allalaadimist
thumbnail
20
pdf

Diskreetne matemaatika I IAY0010 eksami konspekt

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.

Diskreetne matemaatika
562 allalaadimist
thumbnail
6
pdf

Loogikatehe "SUMMA MOODULIGA 2"

Ü x1 x2 Võrreldes tehteid VÕI ja "välistav VÕI" ( OR ja XOR ) ilmneb T nende sarnasus. Erinevus on ainult argumendiväärtuste kombinatsiooni T Loogikatehe (ehk 2-he muutuja funktsioon) "summa mooduliga 2" on x1 x2 : 1 1 korral. ekvivalentsi inversioon: Tehe XOR väärtustub 1-ks siis, kui kas esimene või teine operand ________ _______ (kuid mitte mõlemad korraga) on 1. x1  x 2 = x 1  x 2 samuti: x1  x2 = x1  x2

Matemaatika
11 allalaadimist
thumbnail
3
pdf

Moodle KONTROLLKÜSIMUSTEGA TEST - lausearvutus

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

Diskreetne matemaatika
134 allalaadimist
thumbnail
28
docx

Diskreetne matemaatika YAI0010 TTÜ moodle testid

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 ..

Diskreetne matemaatika
106 allalaadimist
thumbnail
5
odt

Sissejuhatus, lausearvutus, loogikaseadused

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?

Loogika
42 allalaadimist
thumbnail
12
docx

Diskreetne matemaatika eksami kordamise materjal

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,

Diskreetne matemaatika
123 allalaadimist
thumbnail
89
docx

Matemaatiline maailmapilt

" Näide: Lausearvutuse laused ei ole: ,,Kuidas läheb?" ,,Ma valetan praegu." ,,Korrutage arvud 5 ja 9." Analoogia saavutamiseks algebraliste operatsioonidega lepitakse veel kokku: 3. Liitlauseid võib moodustada suvalistest komponentidest, eeldamata nendevahelist sisulist seost. 4. Liitlause tõeväärtus sõltub ainult komponentlausete tõeväärtustest, mitte sisust. Nendest neljast kirjeldatud tingimusest järeldub, et lausearvutuse tehete defineerimiseks on piisav kindlaks määrata, missuguste komponentlausete tõeväärtuste korral loetakse tehte tulemus tõeseks. Lausearvutuse eesmärk ei ole uurida lausete sisulist tähendust, vaid antud lausetest uute lausete moodustamist. Lihtlausete sisu ning see, millised lihtlaused on tegelikult tõesed ja millised väärad, loogika uurimisobjektiks ei ole. Eeldame vaid, et lihtlausete tõeväärtused on põhimõtteliselt leitavad ja liitlausete tõeväärtused nende kaudu arvutatavad.

Matemaatika
49 allalaadimist
thumbnail
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

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

Õigus
39 allalaadimist
thumbnail
4
doc

Diskmatt terminid

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ääramispiirkonna kõigi muutujate puhul Vastuolu: samaselt väär lause Või-tehe: disjunktsioon Hulgad Alamhulk: hulk, mille kõik elemendid kuuluvad suuremasse hulka, mile alamhulk ta on Cantori normaalkuju: ühisosade ühend või ühendite ühisosa, kus täiendit on rakendatud ainult üksikutele hulgatähistele Grassmani valemid: esitavad hulkade ühisosa või ühendi elementide arvu Hulga astmehulk: hulga kõikide osahulkade hulk Hulga täiend: hulka mittekuuluvate elementide hulk Hulk: algmõiste, intuitiivse definitsiooni järgi objektide kogum

Diskreetne matemaatika
63 allalaadimist
thumbnail
14
pdf

HULGAD, hulgaaritmeetilised tehted ja hulgaalgebra

HULGAD Hulgaaritmeetilised tehted I Ü Hulgaalgebra T T A B . . . . Hulk on koosvaadeldavate hulgaelementide kogum . . . . ( hulk koosneb elementidest ) Hulkade jaoks on defineeritud 5 hulgaaritmeetilist tehet :

Matemaatika
10 allalaadimist
thumbnail
92
docx

Diskreetse matemaatika elemendid

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äevakeeles väljendab eitus lause mittekehtimist, näiteks „Lehis ei ole okaspuu“. Selle lause võib kirja panna valemiga ¬A, kus A = „Lehis on okaspuu“. o Konjunktsioon (märk &) tähendab seost „ja“. Näiteks „Puhub tuul ja sajab vihma“ on valemkujul A & B.

Diskreetne matemaatika
48 allalaadimist
thumbnail
30
pdf

Loogika konspekt 1-5

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

Loogika
335 allalaadimist
thumbnail
13
docx

Diskreetse matemaatika elemendid, eksami konspekt

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

Diskreetse matemaatika...
91 allalaadimist
thumbnail
42
pdf

Diskreetse matemaatika mõisted selgitustega

Mittevõrreldavad vektorid on 10 ja 01. 12. Kas erinevate pikkustega kahendvektorid võivad olla võrreldavad? Omavahel saab võrrelda ainult võrdsete pikkustega vektoreid. Loogikafunktsioonid ja loogikaavaldised 1. Mis on loogikaalgebra? Loogikaalgebra on Boole’i algebra erijuht, kus alushulgaks on kaheelemendiline hulk {0,1}. 2. Millest loogikaalgebra koosneb? Loogikaalgebra koosneb loogikaväärtuste hulgast {0,1}, millele on defineeritud 3 elementaarset loogikatehet: unaarne tehe inversioon (¯) ja binaarsed tehted konjunktsioon (∧) ja disjunktsioon (∨). 3. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada üksnes väärtusi {0 1} 4. Kuidas nimetatakse numbrimärkidega 0 ja 1 esitatud loogikaväärtusi? Konstant. 5. Mis on loogikaavaldis? Loogikaavaldise definitsioon. Loogikaavaldis on loogikamuutujatest, konstantidest ja tehtemärke sisaldav kooslus, mis muutujate väärtustamisel omandab samuti väärtuse 0 või 1. 6

Diskreetne matemaatika
139 allalaadimist
thumbnail
2
pdf

Mis on DISKREETNE MATEMAATIKA ?

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

Diskreetne matemaatika
34 allalaadimist
thumbnail
25
ppt

Loogika ja matemaatika

Konjunktsioon &, , AND Konjunktsioon kahe lause vahel on tõene täpselt siis, kui mõlemad tema osalaused on tõesed. Jüri õpib ja Mari õpib Jüri ja Mari õpivad Nii Jüri kui ka Mari õpivad ... Eitus ¬, NOT, ~ Tõese lause eitus on väär ja vastupidi. Jüri ei õpi täna Ma ei saa mitte midagi aru Disjunktsioon V, OR Disjunktsioon kahe lause vahel on väär täpselt siis, kui mõlemad tema osalaused on väärad. Jüri õpib või vaatab telekat Välistav disjunktsioon xor, exclusive or On disjunktsioon, mis on väär ka juhul kui tema mõlemad osalaused on tõesed. Sa sööd kõik ära või sa saad karistada Implikatsioon , IF... THEN... Implikatsioon kahe lause vahel on väär täpselt siis, kui tema vasakpoolne osalause on tõene ja parempoolne osalause on väär. Tõeväärtustabelid p q p&q pq pq pq 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 Ülesanne

Matemaatika ja loogika
30 allalaadimist
thumbnail
21
docx

Graafid ja matemaatiline loogika eksamimaterjal

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:

Algebra I
21 allalaadimist
thumbnail
816
pdf

Matemaatika - Õhtuõpik

Matemaatika õhtuõpik 1 2 Matemaatika õhtuõpik 3 Alates 31. märtsist 2014 on raamatu elektrooniline versioon tasuta kättesaadav aadressilt 6htu6pik.ut.ee CC litsentsi alusel (Autorile viitamine + Mitteäriline eesmärk + Jagamine samadel tingimustel 3.0 Eesti litsents (http://creativecommons.org/licenses/by-nc-sa/3.0/ee/). Autoriõigus: Juhan Aru, Kristjan Korjus, Elis Saar ja OÜ Hea Lugu, 2014 Viies, parandatud trükk Toimetaja: Hele Kiisel Illustratsioonid ja graafikud: Elis Saar Korrektor: Maris Makko Kujundaja: Janek Saareoja ISBN 978-9949-489-95-4 (trükis) ISBN 978-9949-489-96-1 (epub) Trükitud trükikojas Print Best 4 Sisukord osa 0 – SISSEJUHATUS . .................... 17 OSA 2 – arvud ..................................... 75 matemaatika meie ümber ................... 20 arvuhulgad ....................

Matemaatika
198 allalaadimist
thumbnail
6
doc

DME Eksamiks kordamise konspekt

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äpsustavatest sulgudest loobuda. 3. Valemi välimised sulud võib ära jätta Väärtustus: Kui lausemuutuja A on tõene, siis kirjutame A=1; kui lausemuutuja A on väär, siis kirjutame A=0

Diskreetse matemaatika...
180 allalaadimist
thumbnail
12
docx

Diskreetne Matemaatika Moodle test

Küsimus 3 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Mitut erinevat loogikatehet kasutatakse lausearvutuses? (sisesta arv/number: ) Answer: 5 Küsimus 4 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Loogikatehetel on olemas võõrsõnalised nimetused. Loogiline lahutamine on pole olemas sellist tehet! Eitus on inversioon Loogiline korrutamine on konjunktsioon Loogiline liitmine on disjunktsioon Järeldamistehe on implikatsioon Küsimus 5 Osaliselt õige Hinne 0,50 / 1,00 Flag question Küsimuse tekst Milliste loogikatehete jaoks on operandide järjekord oluline? Vali üks või enam: implikatsioon distributsioon inversioon ekvivalents konjunktsioon

Diskreetne matemaatika
63 allalaadimist
thumbnail
8
pdf

Loogikaalgebra

Loogikaalgebra ( { 0 , 1 } ; ¯¯ ,  ,  ) koosneb loogikaväärtuste hulgast a teiste sõnadega: loogikaavaldised / loogikafunktsioonid on teineteisega k { 0 , 1 } , millel on defineeritud 3 elementaarset loogikatehet: unaarne tehe i loogiliselt võrdsed, kui nende tõeväärtustabelid on täpselt samasugused n inversioon ja binaarsed tehted konjunktsioon ja disjunktsioon. h näide: x1 x

Matemaatika
24 allalaadimist
thumbnail
57
doc

Digitaaltehnika

.................................. 6 Kümnendarvu teisendamine kahend-, kaheksand-, kuueteistkümnendarvudeks............6 2.6 Kümnendarvu täisosa teisendamine teistesse arvsüsteemidesse................................. 6 2.7 Kümnendarvu murdosa teisendamine teistesse arvsüsteemidesse............................... 7 2.8 Ülesanne 1c................................................................................................................... 8 2.9 Aritmeetilised tehted kahend-, kaheksand- ja kuueteistkümnendsüsteemis...................8 2.10 Korrutamine erinevates arvsüsteemides...................................................................... 9 2.11 Ülesanne 1d................................................................................................................ 9 2.12 Ülesanne 1e ................................................................................................................ 9 2.13 Ülesanne 1f...............

Digitaaltehnika
83 allalaadimist
thumbnail
14
pdf

Loogika konspekt

Nt: Sa oled neonats, sest sa vihkad kommuniste. Varjatud eeldus (suurem): Kõik, kes vihkavad kommuniste, on neonatsid. Kõik, kes vihkavad kommuniste, on neonatsid. Sa vihkad kommuniste. Sa oled neonats. Epiheireem on süllogism, kus üks või mõlemad eeldused on entümeemid. ! 5/14 14. LAUSEARVUTUSE TEHTED. Vastavalt tehete järjekorrale: Eitus ­ tähistatakse märgiga ¬. Konjunktsioon ­ tähistatakse märgiga &. Disjunktsioon ­ tähistatakse märgiga . Implikatsioon ­ tähistatakse märgiga . Ekvivalents ­ tähistatakse märgiga . Antiekvivalents ­ tähistatakse märgiga . 15. LAUSEARVUTUSE VALEMITE KLASSIFITSEERIMINE. TÕESUSTABELID. 16. TEKSTI INTERPRETEERIMINE LAUSEARVUTUSE VALEMITEKS. Teksti tõlkimisel loogika keelde peab järgima minimaalse interpretatsiooni printsiipi.

Loogika
301 allalaadimist
thumbnail
30
docx

Loogika

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.

Loogika
43 allalaadimist
thumbnail
20
doc

Loogika aine ja ajalugu

vale: teiste sõnadega, B ÚØA. Kui kuu peal lehmi pole, siis on lause ``'kuu peal on lehmi' 'ma olen kolm meetrit pikk''' formaalselt õige, A ja B põhjuslik suhe pole seejuures oluline. Lisaks mainitud klassikalisele loogikale on olemas hulk erinevaid mitteklassikalisi loogikaid, kus väidete tõesus ja loogikatehete nagu Ú ja täpne tähendus on defineeritud hoopis teisiti. Mitmed mitteklassikalised loogikad püüavad tabada elementaarsete loogikatehete nö igapäevast tähendust, nagu näiteks järeldussuhte põhjuslikku iseloomu. Näiteid: Lause ``kui 'A ja B', siis A'' pannakse kirja kui (A &B) A. Ülalmainitud järeldusreegli saab kirja panna kui ((A B) &A) B Vaatame järgmisena olukorda, kus meil on teada, et kehtivad järgmised kolm lausearvutuse keeles esitatud väidet:

Loogika
81 allalaadimist
thumbnail
9
docx

Intelligentsed süsteemid

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; 32

Informaatika
14 allalaadimist
thumbnail
575
docx

Nimetu

Sisukord Eessõna Hea õpilane! Microsofti arenduspartnerid ja kliendid otsivad pidevalt noori ja andekaid koodimeistreid, kes oskavad arendada tarkvara laialt levinud .NET platvormil. Kui Sulle meeldib programmeerida, siis usun, et saame Sulle pakkuda vajalikku ja huvitavat õppematerjali. Järgneva praktilise ja kasuliku õppematerjali on loonud tunnustatud professionaalid. Siit leid uusimat infot nii .NET aluste kohta kui ka juhiseid veebirakenduste loomiseks. Teadmiste paremaks omandamiseks on allpool palju praktilisi näiteid ja ülesandeid. Ühtlasi on sellest aastast kõigile kättesaadavad ka videojuhendid, mis teevad õppetöö palju põnevamaks. Oleme kogu õppe välja töötanud vabavaraliste Microsoft Visual Studio ja SQL Server Express versioonide baasil. Need tööriistad on mõeldud spetsiaalselt õpilastele ja asjaarmastajatele Microsofti platvormiga tutvumiseks. Kellel on huvi professionaalsete tööriistade proovimiseks, siis tasub lähemalt tutvuda õppuritele

Informaatika
32 allalaadimist
thumbnail
11
doc

Konspekt

endas kombinatsiooni kolmest sõnast või mõttest, on olnud väga populaarsed: "Tulin. Nägin. Võitsin.". "Kiiremini! Kaugemale! Kõrgemale!". "Õppida, õppida, õppida!". "Rahu, leiba, maad!". "Üks riik. Üks rahvas! Üks juht" jne. Lausearvutuse süntaks ja semantika Lausearvutuse tähestiku moodustavad kolme tüüpi sümbolid: 1) lausemuutujate sümbolid: A, B, C ... (suured tähed) 2) loogiliste tehete sümbolid: ¬, &, , , 3) kirjavahemärgid: () Lausearvutuse süntaks aktsepteerib valemeid kujul: ¬A (A & B) (A B) (A B) (A B) Valemite välimised sulud väib ära jätta. Muid lausearvutuse valemeid (nt A¬, AB&, B(A), B(A), AB jne) ei ole. Lausearvutuse loogiliste tehete tõeväärtustabelid (vt ka Lisa) Eitus p ¬p t v v t Eitus muudab lause tõeväärtuse vastupidiseks. Konjunktsioon p q p&q t t t t v v

Loogika
230 allalaadimist
thumbnail
13
pdf

SML kordamisküsimustele vastused.

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 matemaatilisse...
84 allalaadimist
thumbnail
1
txt

1. kontrolltesti vastused

1. Milliste loogika tehete jaoks on operandide jrjekord oluline? Implikatsioon 2. Missugused seaduse tepoolest on olemas? Neeldumisseadus DeMorgani seadus vlistatud kolmanda seadus kontrapositsiooniseadus vastuolu seadus topelteituse seadus 3. "TAUTOLOOGIA" on lause, mis on alati vr? False 4. Vali loetelust alternatiivne nimetus neile loogika tehetele! Disjunktsioon - VI-tehe Konjunktsioon - JA-tehe Implikatsioon - jreldamine 5. Milliseid kvantoreid on vimalik eitada? Olemasolu kvantorit 6. Millised kvantorid on olemas? Olemasolukvantor ldsusekvantor 7. Kui loogikaavaldises pole sulgudega mratud tehete jrjekorda,siis KONJUNKTSIOONI, INVERSIOONI, DISJUNKTSIOONI leidumisel tehaksekigepealt... a-inversioon b-konjunktsioon c-disjunktsioon 8. Mitu erinevat tehet kasutatakse lausearvutuses? 5 9

Diskreetne matemaatika
166 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun