Leidsid 31 sarnast õppematerjali, mis on seotud failiga "LAUSEARVUTUS". Need materjalid aitavad sul teemat sügavamalt mõista.
tehte, tehe, tehet, lausearvutus, tehete, loogikatehe, lauset, inversioon, loogikatehete, tõeväärtus, disjunktsioon, ekvivalents, tehted, lausearvutuslause, konjunktsioon, loogikatehted, analoog, implikatsioon, liitlause, kehtimise, liitmise, operandid, eitus, definitsioonid, tõeväärtused, korrutamine, liitmine, liitlausete, operandide, prioriteetNä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?
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
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 konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷↔𝑸 on nagu 𝑃→𝑄 ja samal ajal ka 𝑄→𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka
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 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,
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 . . .
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
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
teine väär ning kolmandat võimalust ei ole. Sümbolkujul: (p ¬p) , kus p tähistab otsustust (väidet), ¬ eitust ning disjunktsiooni (vähemalt ühe väite tõesust). Reegel välistab kompromissi vasturääkivas arutluses. Ei saa olla, et lause ja selle eitus on korraga väärad või korraga tõesed. (Reegli autoriks peetakse Aristotelest.) KÜLLALDASE ALUSE SEADUS (ld principum rationis sufficientis; ik principle of sufficient reason): Ühtki lauset ei saa pidada tõeseks ega vääraks ilma küllaldase aluseta. Reegli autoriks on G.W. Leibnitz. (Reegli kuuluvus klassikalisse loogikasse on vaieldav.) LOOGIKA AJALOOST (vt Tamme, Tammet, Prank. Loogika. 1997, lk 19-51) Parmenides (~540-470 eKr) eristab meeltel põhineva arvamuse dÒxa mõistusega tunnetatavast tõest ¢l»qeia . Temalt on ka samasuse seadus (olemise kaudu). Herakleitos (~540-480 eKr). Dialektik. Võttis kasutusele seaduse mõiste (lÒgoj) ja mõiste
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.
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
Ü 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
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
2.9 Aritmeetilised tehted kahend-, kaheksand- ja kuueteistkümnendsüsteemis. Aritmeetikatehete sooritamise põhimõtted on samad kõigis positsioonilistes arvusüsteemides; see tähendab, ka kahend-, kaheksand-, kümnend- ja kuueteistkümnendsüsteemis. Liitmine ja lahutamine erinevates arvsüsteemides. 2.10 Korrutamine erinevates arvsüsteemides. Korrutamine on 2-ndsüsteemis kõige lihtsam tehe. 1-ga korrutamine tähendab arvu ümberkirjutamist ning nihet vasakule ühe koha võrra; nulliga korrutamisel toimub ainult edasinihutamine. Seejärel liidetakse vahekorrutised Näide: 2.11 Ülesanne 1d Arvutada järgmiste kahendarvude summa ja vahe. a) 1101011,101 ja 1011101,11 d) 1010111,0111 ja 1101110,101 e) 10111001,0011 ja 1101010,1101 b) 11101010,11 ja 10111101,011 c) 1011011,1011 ja
1. Sissejuhatus: 1.1. Mis on loogiline programmeerimine? l Programmeerimise paradigma l loogiline (LP) l funktsionaalne (FP) l jt Fookus: MIDA ARVUTADA l LP ja FP on deklaratiivsed programmeerimisstiilid; l LP põhineb loogika printsiipidel ja kasutab automaattõestamise protseduure (resolutsioon, unifitseerimine); l LP keel on Prolog, kuid LP ≠ Prolog; 1.1. Mis on loogiline programmeerimine? (2) l LP sobib tehisintellekti rakenduste programmeerimiseks: l loomuliku keele analüüs ( DCG grammatikareeglid) l ekspertsüsteemid (otsingu- ja järeldusreeglid) l kujundituvastus (tuvastusreeglid) l kitsendustega planeerimine (logistika, marsruudi otsimine) l rekursiivsete funktsioonide püsipunkti arvutus l jne l LP ei sobi: l Kiired numbrilised arvutused (n. maatriksarvutused, võrrandid) l OOP (kuigi on toetatud mõnes prologis) l kasutajaliideste programmeerimine (tugi on
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
1_fl_vi-x L6 ARUTLUS (järeldamine) Arutlus (ik inference) kui mõtlemise vorm on protsess, mille käigus lähtutakse mingist otsustusest või otsustuse hulgast ning neile ja mingitele reeglitele tuginedes jõutakse uue otsustuseni. Arutluse ehk järeldamise tulemusena saadud otsustust nimetatakse järelduseks (ik conclusion) ehk tuletiseks ning lähteotsustusi eeldusteks (ik premises). Arutlus väljendub keeles lausete hulgana. Klassikalises loogikas käsitletakse arutlust kui propositsioonide hulka või ka kui väidete hulka. Üks neist on järeldus, ülejäänud on eeldused. Tuletis järgneb eeldustest paratamatult (ik necessarily). Et rõhutada tuletise paratamatut iseloomu, alustatakse tema sõnastamist väljendiga järelikult, siit järeldub või sellepärast jt. Neid väljendeid nimetatakse eelduse ja tuletuse seoseks. Loogika ülesandeks on s
Disjunktsioon f7 e. loogiline 0111 1 kui kas või f 7 = x1 + x2 x11 Y liitmine VÕI ühes sisendis f 7 = x1vx2 x2 on üks Digitaaltehnika konspekt 11 Piere'i tehe e. Väljundis on f8 = x1 x2 f8 disjunktsiooni 1000 0 kui kasvõi f8 = x1vx2 x11 Y eitamine ühes sisendis x2 VÕI-EI on 1 f8 = x1 gx2 f9 Samaväärsus 1001 Väljundis on f 9 = x1 gx2 +
x2 f8 x1 x2 x1 f8 Piere’i tehe e. disjunktsiooni eitamine VÕI-EI 1000 Väljundis on 0 kui kasvõi ühes sisendis on 1 f8 x1vx2 1 Y
tähestiku tähtedega. Sõltumatuid muutujaid (sisendeid) nimetatakse argumentideks, neist sõltuvaid muutujaid aga funktsioonideks. Loogikafunktsiooni kõik argumendid on loogilised muutujad, millel on kaks väärtust 0 ja 1. Kõiki loogikafunktsioone väljendavad kolm põhitehet: loogiline korrutamine, loogiline liitmine ja loogiline eitus. Loogiline korrutamine (NING). NING-funktsioon on võrdne ühega ainult juhul, kui kõik argumendid on võrdsed ühega. Tehte tähistamiseks kasutatakse nii harilikku korrutus- märki ( • ) kui ka loogilise korrutamise eritähist - katust ( ∧ ). Loogilist korrutamist nimetatakse ka konjunktsiooniks. Loogiline liitmine (VÕI). VÕI-funktsioon on üks siis, kui kas või üks argumentidest võrdub ühega. VÕI-tehte tähistamiseks kasutatakse kas pluss (+) märki või loogilise liitmise eritähist - V tähe kujulist märki ( ∨ ). Loogilist liitmist nimetatakse ka disjunktsiooniks. Loogiline eitus (EI)
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: Lause: ,,Kui kolmnurga küljed on võrdsed, siis on ta nurgad võrdsed"(kehtib). Pöördlause: ,,Kui kolmnurga nurgad on võrdsed, siis ta küljed on võrdsed" (kehtib).
Lisaks lausetele esinevad protseduurides ja nende vahel ka kommentaarid. Kommentaaris võib olla suvaline tekst, mis ei avalda mingit mõju protseduuri täitmisele. Ta peab alati algama ülakomaga ning võib paikneda kas eraldi real või lause(te) järel rea lõpus. Struktuuri järgi jagunevad laused liht- ja liitlauseteks, mis sisaldavad teisi Liht-ja liitlauseid. Laused paigutatakse moodulilehe ridadele. Ühel real on üks või mitu lauset. Viimasel juhul eraldatakse nad üksteisest kooloniga a = Range("a") : b = Range("b") : c = Range("c_"): h = Range("h") k = 0: a = x/2 Üks lause võib paikneda ka mitmel real. Lause jätkutunnuseks on rea lõpus asuv allkriips. Allkriipsu ja temale eelneva märgi vahel peab olema vähemalt üks tühik. Näiteks paikneb järgnev If-lause kahel real If tulu <= 6000 Then maks = O _ Else maks = 0.26 * (tulu - 6000)
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:
kergendamiseks, tuli esimesena arvatavasti Leonardo da Vinci. 1967. aastal 10 / 115 leiti ühest tema avaldamata käsikirjast hammasratastega liitmismasina eskiis. Selle eskiisi järgi valmistatud masin oli täiesti töökõlblik. Esimese laiemalt tuntuks saanud mehhaanilise liitmismasina tegi 1642. aastal prantsuse teadlane Blaise Pascal. Esimese aritmomeetri, millega sai teostada juba nelja aritmeetilist tehet, leiutas 1670. aastate algul saksa teadlane Gottfried Wilhelm Leibniz. Selle tehnikasuuna järglaseks on tänapäeval elektrooniline kalkulaator. Oluline on siinjuures tähele panna, et tegemist on üksikute tehete automatiseerimisega ja seda laadi arvutamise masin nõuab inimese otsest juhtimist. Täiesti automaatselt töötava arvuti idee kuulub inglise matemaatikule Charles Babbage'ile, kes avaldas selle projekti aastal 1834. Tema leidis, et inimese eest võib arvutit juhtida, s.t
Idee peale, et masinat võiks ka rakendada vaimse töö kergendamiseks, tuli esimesena arvatavasti Leonardo da Vinci. 1967. aastal leiti ühest tema avaldamata käsikirjast hammasratastega liitmismasina eskiis. Selle eskiisi järgi valmistatud masin oli täiesti töökõlblik. Esimese laiemalt tuntuks saanud mehhaanilise liitmismasina tegi 1642. aastal prantsuse teadlane Blaise Pascal. Esimese aritmomeetri, millega sai teostada juba nelja aritmeetilist tehet, leiutas 1670. aastate algul saksa teadlane Gottfried Wilhelm Leibniz. Selle tehnikasuuna järglaseks on tänapäeval elektrooniline kalkulaator. Oluline on siinjuures tähele panna, et tegemist on üksikute tehete automatiseerimisega ja seda laadi arvutamise masin nõuab inimese otsest juhtimist. Täiesti automaatselt töötava arvuti idee kuulub inglise matemaatikule Charles Babbage'ile, kes avaldas selle projekti aastal 1834. Tema leidis, et inimese eest võib arvutit juhtida, s.t. tehteid
sajandil. Selliseid reaalarvude erinevaid esitusi on konstrueeritud mitmeid, tegelikult on nad ühe matemaatilise struktuuri – täieliku järjestatud korpuse – konkreetsed esitused. Sellest tõsiasjast lähtudes defineerime me käesolevas kursuses kõigi reaalarvude hulga R kui täieliku järjes- tatud korpuse. 1.1 Järjestatud korpused 1.1.1 Korpuse aksioomid Definitsioon. Korpuseks (field, поле) nimetatakse hulka F , milles on defineeritud kaks bi- naarset tehet, liitmine A : F × F → F , (a, b) 7→ a + b ja korrutamine M: F × F → F, (a, b) 7→ ab (= a · b) , ÜHE MUUTUJA MATEMAATILINE ANALÜÜS 7 nii et on täidetud järgmised tingimused (korpuse aksioomid ): (A1) a + b = b + a kõikide a, b ∈ F korral (liitmise kommutatiivsus), (A2) (a + b) + c = a + (b + c) kõikide a, b, c ∈ F korral (liitmise assotsiatiivsus),
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.
Tallinna Polütehnikum Energeetika õppesuund Rein Kask ELEKTRIAJAMITE JUHTIMINE Õppevahend TPT energeetika õppesuuna õpilastele Tallinn, 2007 Saateks Erialaainete õpikute ja muude õppevahendite krooniline puudus on juba palju aastaid raskendanud kutsehariduskoolide õpilastel omandada erialaseid teadmisi. Käesolev kirjatöö püüab mingilgi määral leevendada seda olukorda Tallinna Polütehnikumi energeetika õppesuuna õpilastele sellise õppeaine kui ,,Elektriajamite juhtimine" õppimisel. Elektriajamid on üheks põhiliseks elektritarvitite liigiks ja neid kasutatakse laialdaselt kõikides eluvaldkondades. On selge, et tulevased elektriala spetsialistid peavad neid hästi tundma ja oskama neid ka juhtida. Elektriajamite juhtimine ongi valdkonnaks, mida käsitleb käesolev õppevahend. Selle koostamisel on autor lähtunud põhimõttest selgitada probleeme nii põhjalikult kui vajalik ja nii napilt kui võimalik siit ka õppe-
valede reeglite ja strateegia sobitamisest tulenevate vigade põhjuseks on algoritmi vale kasutus Veatüüpidest selgema ülevaate saamiseks võib need ka lihtsalt Iiitmis- ja lahutamisvigadeks jagada. Liitmisvead: Algteadmiste puudulikkusest tulenevad vead (liitmine, lahutamine 20 piires). Järgületusvead Algoritmi vale kasutamine: arvutamine vasakult paremale või valede järkude omavahelliitmine Tehte komponentide valesti üksteise alla märkimine Nullivead Hooletusvead Lahutamisvead: Laenamisvead Nullivead 2 Algoritmi vale kasutamine (lahutatakse valest järgust) Puudulikest algteadmistest tulenevad vead Hooletusvead See uurimissuund võimaldab selgitada veaohtlikud kohad, elementaaroskused, mille omandamine
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
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 ....................
annaabi.ee 
