Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Diskreetne matemaatika eksami kordamise materjal". Need materjalid aitavad sul teemat sügavamalt mõista.
graaf, graafi, muutuja, loogika, tehe, graafil, lausearvutus, tehte, inversioon, tõeväärtus, relatsioon, tehted, predikaat, ühisosa, algebra, tehet, ekvivalents, kvantor, täiend, kaared, tipud, euleri, konjunktsioon, disjunktsioon, implikatsioon, sidu, ühene, tehete, kontuur, hamiltoni, klassid, osalise, sümmeetriline, normaalkuju, avaldiseDiskmatt 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
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
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.
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
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
Diskreetse Matemaatika alla kuuluvad: 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 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 liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem. Kui A on valem, siis valemid on ka 𝐴̅ ja (A). Kui A ja B on valemid, siis on valemid ka 𝐴∧𝐵,𝐴∨𝐵,𝐴→𝐵,𝐴↔𝐵
[24]. Naturaalarvude kanooniline kuju. Suurim ühistegur ja vähim ühiskordne. [25]. Fermat teoreem. Pseudoalgarvud ja Carmichaeli arvud. [26]. Eukleidese algoritm. [27]. Lineaarsed diofantilised võrrandid. [28]. Täisarvude kongruentsid. Kongruentsi omadusi. [29]. Moodularitmeetika. [30]. Algarvulisuse Fermat` test. Miller-Rabini test. [31]. Graafid ja graafide omadused. Ahelad ja tsüklid graafis. [32]. Euleri graafid. Hamiltoni tsüklid. [33]. Puud. Puude omadused. [34]. Graafi vähima kaaluga aluspuud. [35]. Märgendatud puud. Puude esitamine arvuti mälus. [36]. Prüferi kood. Märgendatud puude loendamine. Cayley teoreem. [37]. Märgendamata puude arv. [38]. Kooskõlad graafis. Berge'i teoreem. [39]. Kooskõlad kahealuselises graafis. Halli teoreem. [40]. Tasandiline graaf. Euleri valem: seos tasandilise graafi tippude, servade ja tahkude arvude vahel. Eulri valemi rakendusi. [41]. Graafi tasandilisuse kriteeriumid. Kuratowski teoreem. [42]
vaid 1 kindel element). Lõpmatut hulka nimetatakse loenduvaks, kui see on võrdvõimas naturaalarvude hulgaga. |H| on hulga võimsus ehk lõpliku hulga korral elementide arv hulgas. Lõpmatu hulga võimsus leitakse, seades tema elemendid bijektiivsesse vastavusse (üks- ühesesse) mõne tuntud võimsusega hulga (näiteks naturaalarvude hulga) elementidega. 4. Graafid. Puude esitused. Programmide esitamine puuna Mittejärjestatud ja mitteorienteeritud graaf on paar G = (A,R), kus A on tippude hulk ja kaarte hulk R on seos hulgal A. Graafi saab esitada paaride hulgana (A + R analüütiliselt, või predikaadina) või joonisena. Graafide võrdsus: Graafid G1 = (A1, R1) ja G1 = (A2, R2) on võrdsed ehk isomorfsed, kui leidub selline bijektiivne kujutus f: A1 A2 nii, et aR1b = f(a)R2f(b) Kui igale tipule a G1-st leidub tipp b G2-st, millele saab vastavusse seada samade tippude kaared ja kõik G2 tipud saavad ka kaetud.
Graafid Graaf koosneb tippudest(sõlmedest) ja neid ühendavatest kaartest. Kaarega võib ühendada suvalisi graafi tippe, sealhulgas on võimalik kaar samale tipule (iseendale). Iga kaar on määratud kahe tipuga. Orienteeritud graaf: kaared on järjestatud tipupaarid. Def: Graaf on paar (V,E), kus V on mittetühi hulk ning E hulk, mille elementideks on hulga V kaheelemendilised alamhulgad. Näide lk 47 (Palm) Tipu aste tipust väljuvate servade arv. Teoreem: Igas graafis on kõigi tippude astmete summa võrdne servade arvu kahekordsega. Järeldus: Igas graafis on paaritu astemga tippe paarisarv. Ahel graafis tippude järjend, kus iga kaks järjestikust tippu on servaga ühendatud (esimene ja viimane on otstipud vahepeal sisetipud).
1 0 0 1 0 1 1 1 0 0 1 0 G= 0 1 1 0 0 1 H= 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 Lahendus. Joonistades välja graafide täiendid, leiame, et graafi G täiend on tsükkel tippudega 1, 4, 5, 3, 2, 6 ning graafi H täiend on tsükkel tippudega 1, 2, 5, 4, 3, 6. Et kaks sama tippude arvuga tsüklit on isomorfsed, siis on ka graafid G ja H isomorfsed. Üks isomorfism on näiteks bijektsioon , mis teisendab graafi G tipud graafi H tippudeks järgmisel viisil: (1) = 1, (2) = 3, (3) = 4, (4) = 2, (5) = 5, (6) = 6. Materjal õpikus. Lk 5759 (graafide isomorfism). Lk 62, ülesanded 3741. Ülesanne 4
kompilaatorist jne. Algoritmid ja andmestruktuurid 2015 1 1.2 Algoritmi keerukus • On hinnang sellele, kuidas algoritmi poolt esitatavad nõudmised ajale muutuvad näiteks siis, kui probleemi mõõt kasvab. Keerukus mõjutab jõudlust, kuid mitte vastupidi. • On põhioperatsioonide arvu sõltuvusfunktsioon sisendi suurusest. • Põhioperatsioon: üks tehe, üks tsüklitingimus või üks rida • Keerukusprobleemidega tegeleb vastav teadus – arvutuslik keerukusteooria. Ajalise keerukuse uurimine Mahulise keerukuse uurimine algoritmi alusel koostatud programi tööaja programmi tööks kasutatava mälu mahu hindamine hindamine • Keerukusfunktsiooni kasvukiirus – kui kiiresti kasvab antud algoritmi järgi koostatud
Millistel tingimustel on osaliselt määratud funktsioon; täielikult määratud funktsioon; sürjektsioon; injektsioon; bijektsioon? BINAARSUHTED 4 Meie poolt vaadeldavad binaarsuhteid võib käsitleda kui vastavuse erijuhtu, kus lähte- ja sihthulk langavad kokku (D()=R()=A). Tähistame järgnevas binaarsuhet tähega R AxA. Binaarsuhet on mugav interpreteerida suhte graafiga - s.o. orienteeritud graaf, kus hulga A elemendid vastavad tippudele ja seosed elementide vahel - kaartele. Suhte võime esitada binaarmaatriksina (naabrusmaatriksina). Näide. Hulga A={a,b,c,d,e} elementideks on arvutikomponendid: a-sisendseade, b- aritmeetika- loogikaseade, c-juhtseade, d-mälu, e-väljundseade. Binaarsuhe R seob kahte elementi, kui esimene seade annab teisele infot arvuti töö käigus. a b c d e a 1 1 1 1 0
Vastavus - eksamil tudengi poolt saadud hinne. Millistel tingimustel on osaliselt määratud funktsioon; täielikult määratud funktsioon; sürjektsioon; injektsioon; bijektsioon? BINAARSUHTED Meie poolt vaadeldavad binaarsuhteid võib käsitleda kui vastavuse erijuhtu, kus lähte- ja sihthulk langavad kokku (D()=R()=A). Tähistame järgnevas binaarsuhet tähega R AxA. Binaarsuhet on mugav interpreteerida suhte graafiga - s.o. orienteeritud graaf, kus hulga A elemendid vastavad tippudele ja seosed elementide vahel - kaartele. Suhte võime esitada binaarmaatriksina (naabrusmaatriksina). Näide. Hulga A={a,b,c,d,e} elementideks on arvutikomponendid: a-sisendseade, b- aritmeetika- loogikaseade, c-juhtseade, d-mälu, e-väljundseade. Binaarsuhe R seob kahte elementi, kui esimene seade annab teisele infot arvuti töö käigus. a b c d e a 1 1 1 1 0
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 . . .
Hulgad Millest hulk koosneb? Hulk koosneb hulagelementidest. Kuidas hulka tavaliselt tähistatakse? Hulka tähistatakse tavaliselt suurtähtedega näiteks A,B,C,D... . Millised hulga esitusviisid on olemas? Hulka võib esitada tema elementide täieliku loeteluna looksulgude vahel nt {a,b,c,d} või {a,b,c,d} Hulka võib esitada tema elementide osalise loeteluna, mis esitab mingit rehulaarselt äratuntavat seaduspärastust nt {0,1,2,3,4......} Hulka võib esitada üldise avaldise kaudu, mis kehtib kõigi hulgaelementide jaoks. Millal on hulgad teineteisega võrdsed? Hulgad on võrdsed, kui nad koosnevad samadest elementidest. Nt {1,3,5}={5,1,3} Kui palju võib ühte hulgaelementi hulgas sisalduda? Hulgas ei eksisteeri korduvaid elemente, iga elementi on hulgas üks eksemplaar. Milliste sümbolitega tähistatakse elemendi hulka kuulimist või mittekuulumist? No see eurosümbol on kuulumise märk ja mittekuulumise märk on sama, aint maha kriipsutatud. Millal on mingi hulk teise hul
teineteist. Olemasolu ja üldistuse kvantorid Paljudes matemaatika lausetes esinevad sõnad ,,kõik," ,,iga," ,,leidub," ,,eksisteerib," ,,on olemas," ,,vähemalt üks.". Osa neist lausetest on tõesed, osa väärad. Selliste lausete kirjutamisel kasutatakse loogikas kahte märki. Üks neist on olemasolu kvantor (loetakse ka ,,leidub"), teine üldisuse kvantor (loetakse ka ,,iga"). Kvantori märgi taha tuleb alati kirjutada muutuja, millele see kvantor rakendub. Näide: x, x3 - 27 = 0 tähendab, et leidub x, mille korral x3 - 27 = 0. Üldisel kujul: ,,Leidub x, mille korral kehtib P(x)" ehk ,,vähemalt ühel objektil x on omadus P(x)" ,,Leiduma" = leidub vähemalt üks objekt (s.t võib leiduda ka mitu), mis rahuldab antud tingimust. Väljendit ,,leidub täpselt üks" tähistatakse tavaliselt sümboliga !. Näiteks, !x , 2x - 4 = 0.
Ü les anne: A ntud on hulgad A= { 1,2,3,4} j a B= A .D efineerida relats ioon aRb nii et a< = b,leida s elle relats iooni mä äramis p iirkond j a muutu mi s piirkond. R = { (a,b): a< = b} R = { (1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)} D om (R )= A R ange (R )= A 2. Relatsiooni esitamine (R.Palm järgi) R elats iooni võib es itada paaride loendina nagu ees pool, eriti j uhul kui paare on vähe. Teine võima lus relats ioonide es itamis eks on suunatud graaf. K as utame hulga A j a hulga B ele ment e gaafi tippudena (punktid joonis el) ja tõmb ame kaare punktis t a A punktini b B juhul kui paar (a,b) kuulub vas tavas s e relats iooni. Tule mus ena s aame graafi kus kaared viivad hulgas t A hulka B j a hulkade s ee s kaari pole N äiteks olgu hulk tähes tik A= { a,b} j a hulk B kõigi kahetähelis t e s õnade hulk, mida s aab hulga A tähtedes t koos tada B= { aa,ab,ba,bb} . Loe me, et hulga A täht j a hulga
Ü les anne: A ntud on hulgad A= { 1,2,3,4} j a B= A .D efineerida relats ioon aRb nii et a< = b,leida s elle relats iooni mä äramis p iirkond j a muutu mi s piirkond. R = { (a,b): a< = b} R = { (1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)} D om (R )= A R ange (R )= A 2. Relatsiooni esitamine (R.Palm järgi) R elats iooni võib es itada paaride loendina nagu ees pool, eriti j uhul kui paare on vähe. Teine võima lus relats ioonide es itamis eks on suunatud graaf. K as utame hulga A j a hulga B ele ment e gaafi tippudena (punktid joonis el) ja tõmb ame kaare punktis t a A punktini b B juhul kui paar (a,b) kuulub vas tavas s e relats iooni. Tule mus ena s aame graafi kus kaared viivad hulgas t A hulka B j a hulkade s ee s kaari pole N äiteks olgu hulk tähes tik A= { a,b} j a hulk B kõigi kahetähelis t e s õnade hulk, mida s aab hulga A tähtedes t koos tada B= { aa,ab,ba,bb} . Loe me, et hulga A täht j a hulga
nt {0n1n | n>0 } vt üleval. Lõpliku magasinmäluga automaadi poolt aktsepteeritav keel on kontekstivaba. KV keelte hulk ongi see hulk keeli, mida pinuautomaadid aktsepteerivad. 12 Ühe olekuga pinuautomaatide ja Greibachi mõttes normaliseeritud KV-grammatikate ekvivalentsus. Teoreem: Iga pinuautomaadi M jaoks leidub ühe olekuga M′, nii et nad aktsepteerivad samu keeli. T: teeme palindroome (aiassadassaia) aktsepteeriva automaadi, kogu olekute loogika on asendatud magasini panemise ja sealt võtmise loogikaga. Teoreem: Ühe olekuga pinuautomaadi M jaoks leidub KV grammatika G, nii et L(M)=L(G). DEF: KV grammatika on Greibachi normaalkujul, kui tema produktsioonid on kujul A→aA1A2…An või A→a (muu on tühi sõne) või kujul S → ε, kui keelde L (G) peab kuuluma ka tühi sõne. Iga KV grammatika on teisendatav Greibachi normaalkujule. T: 1) grammatika peab olema Chomsky nk-l. 2) mitteterminaalid nimetatakse ümber A1-ks, A2-ks jne
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
üksühesesse vastavusse näiteks paaride hulga (bijektiivse funktsiooni) ={(1,),(2,),(3,), (4,),(5,)} abil, s.t. (1)=,(2)=,... ,(5)=. Pöödfunktsioon Bijektiivse funktsiooni : pöördfunktsiooniks nimetatakse funktsiooni -1: , mis seab igale vastavusse sellise elemendi , mille korral ()=. Seega, pöördfunktsiooni määramispiirkonnaks on ja muutu-mispiirkonnaks . Pöördfunktsiooni tähistatakse =-1(), kuid selle asemel kasutatakse pigem kuju =-1() (vahetatakse sõltuva ja sõltumatu muutuja tähistused). Seose ehk järjestatud paaride hulgana esitades kehtib -1={ (,) | (,)}. Lause 1. Kui funktsioon -1: on funktsiooni : pöördfunktsioon, siis iga ja korral kehtib ()= -1 ()=. Lause 2. Kui funktsioonil : leidub pöördfunktsioon -1, siis ka funktsioonil -1: leidub pöördfunktsioon ja (-1)-1= . Liitfunktsioon Olgu , ja mingid hulgad. Funktsioonide : ning : liitfunktsiooniks ehk kompositsiooniks nimetatakse niisugust funktsiooni : , et ()=()()=(()) iga korral.
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
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;
· 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õtlemine võib olla nt · preloogiline (müüdiline) · superloogiline (müstiline). Ratsionaalse mõtlemise seaduspärasusi ja vorme uurib loogika. Kreekakeelse sõna lÒgoj (logos) tähendusi: üleslugemine, arveteõiendus, õigustamine, suhe, proportsioon seletamine, tõestamine, mõistus, aruanne, esitlemine, (tõsi)lugu, lausung, sõna, väljend; õpetus; filosoofias: inimmõtlemine ja kõnelemine, teaduslik ratsionaalsus. Sõna ,,loogika" levinud tähendusi: · seaduspärasus maailmas, sündmuste loogika; · seaduspärasus mõtetes, mõtlemise loogika;
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
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
aga ka võimalus mudeli parameetreid piisava täpsusega määrata. 1.3, Muutujad ja parameetrid Matemaatilise mudeli muutujad (ajast sõltuvad liikmed) kirjeldavad süsteemis toimuvaid dünaamilisi protsesse ja on üldiselt (vähemalt põhimõtteliselt) mõõdetavad. Orienteeritud süsteemis, kus on valdavalt tegemist informatsioonilise protsessidega, nimetatakse muutujaid tihti ka signaalideks. Kõik süsteemi muutujad on esitatavad reaalarvuliste hetkväärtustega aja funktsioonidena. Mistahes muutuja hetkväärtused võivad sõltuda teiste muutujate samadele või varasematele ajamomentidele vastavatest hetkväärtustest, kuid mitte tulevaste ajamomentide hetkväärtustest. Süsteemi (või selle elementide) parameetrid on süsteemi või tema elementide iseloomustus-suurused, mis esinevad enamasti dimensiooniga kordajatena süsteemi või mõnda elementi iseloomustavais võrrandeis (matemaatilises mudelis). Parameetrid võivad olla konstandid, sõltuda ajast või mudeli muutujatest
Loeng 8 Andmete struktuur, hoidmine andmebaasis Loeng 9 Topoloogia · Topoloogia algebra/geomeetria osa, mis tegeleb ruumide sarnasusega (homomorfism) · Ruumiliste objektide suhteline asetus o Võrgustikud ja graafid; -graafid ja nende omadused Seotud sirglõikude jada (võrgustik) võime käsitleda graafina: a) Kaart b) Seosed asendame sirglõikudega c) Eemaldame konteksti d) Graafi servad ja tipud Graafi peamine element on ühendus, suund võib vahel olla ka oluline. Omadused - Servade lõikumispunktid ehk graafi tipud - Servad ehk ühendused - Alamgraafid ehk eraldiseisvad hulgad - Ruumiosa (pale või regioon) servade vahel või väljaspool neid - Planaarsed ühendused kõik lõikumised on tasandil - Mitteplanaarne ristumised on viidud mitmesse tasapinda
.. + cnxn à max a11x1 + ... + a1nxn b1 ... am1x1 + ... + amnxn bm x0 Kasutades vektoreid c, b, x ja m*n-maatriksit A kirjutame ülesande vektorkujul: z = (c,x) à max Ax b, x0. Kanooniline kuju: z=(c,x) àmin Ax = b x0 Standardse ülesande teisendamisel kanooniliseks, lisandub igale reale üks mittenegatiivne muutuja, et võrdused oleksid õiged. Maksimumi miinimumiks saamisel korrutame rida läbi -1-ga. Kanoonilise ülesande teisendamisel standardseks korrutame samuti esimese rea -1ga läbi. Kitsendusele lisandub sama kitsenduse vastasmärgiline kitsendus. N: 3x1+x2 = 5 à 3x1+x2 5; -3x1-x2 -5. 9. Lubatavate lahendite hulga omadused (kolm teoreemi) Teoreem 1: Lubatud lahendite hulk Q on kumer. *võtame kaks punkti ning tõmbame nende vahele joone. Joon x = 1x1+2x2 1 + 2 = 1, 1, 2 > 0
Pärimine tähendab seda, et klassi saab defineerida üldisema klassi põhjal. Üldisema klassi atribuudid ja operatsioonid kuuluvad automaatselt ka alamklassi. Kapseldamine tähendab objektide ja atribuutide grupeerimist objektiks, kusjuures atribuutide väärtusi saab kasutada ja muuta vaid läbi operatsioonide. Operatsiooni polümorfism tähendab, et erinevates klassides saab defineerida sama nimega kuid erineva käitumisega operatsiooni. Muutuja polümorfism tähendab, et klassi muutuja võib viidata erinevatel aegadel erinevate klasside objektidele. Pole ühtset standardit selle kohta, milline peaks olema objekt-orienteeritud andmemudel ja andmebaas. 1997 oli objektiandmebaaside käes 3% andmebaasi turust. Andmebaaside valdkonnas tuntud inimesed Relatsioonilise mudeli väljamõtlejaks võib pidada dr. Edgar. F. Codd'i, kes esitas esimesena relatsioonilise andmebaasi põhimõisted 1970 a. ilmunud artiklis: "A relational model of large shared data banks"
TALLINNA TEHNIKAÜLIKOOL Automaatikainstituut Automaatjuhtimise ja süsteemianalüüsi õppetool HÄGUSAD SÜSTEEMID Õppematerjal Koostas: Andri Riid Tallinn 2004 Sissejuhatus 2 Sissejuhatus Viimaste aastakümnete jooksul on hägus loogika leidnud edukat rakendust mitmesuguste juhtimis- ja modelleerimisprobleemide lahendamisel. Informatsiooni esitus hägusloogikasüsteemides on lähedane nendele mehhanismidele, mida inimene igapäevaelus otsuste tegemisel kasutab, mis võimaldab hägusloogikasüsteemide kaudu teha kättesaadavaks traditsioonilistele vahenditele halvasti alluv inimteadmus näiteks protsesside modelleerimis- ja juhtimisrakendustes. Teksti esimeses peatükis antakse kompaktne, kuid piisav ülevaade
süsteemil eripärased. Matemaatilise mudeli muutujad (ajast sõltuvad liikmed) kirjeldavad süsteemis toimuvaid dünaamilisi protsesse ja on üldiselt (vähemalt põhimõtteliselt) mõõdetavad. Orienteeritud süsteemis, kus on valdavalt tegemist informatsioonilise protsessidega, nimetatakse muutujaid tihti ka signaalideks. Kõik süsteemi muutujad on esitatavad reaalarvuliste hetkväärtustega aja funktsioonidena. Mistahes muutuja hetkväärtused võivad sõltuda teiste muutujate samadele või varasematele ajamomentidele vastavatest hetkväärtustest, kuid mitte tulevaste ajamomentide hetkväärtustest. Süsteemi (või selle elementide) parameetrid on süsteemi või tema elementide iseloomustus-suurused, mis esinevad enamasti dimensiooniga kordajatena süsteemi või mõnda elementi iseloomustavais võrrandeis (matemaatilises mudelis). Parameetrid võivad olla konstandid, sõltuda ajast või mudeli muutujatest
annaabi.ee 
