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 ¬, &, , , . g. Def.
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 ¬)
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, siis F = 1 parajasti siis, kui G = 1 ja
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). Ahela pikkus on k kui selles on k+1 tippu. Ahel võib läbida mõnda tippu mitu korda. Lihtahel kõik tipud läbitakse üks kord. Tippude u ja v vaheline kaugus - tippude u ja v vahelise lihtahela pikkus Tsükkel ahel mis lõpeb sama
(x, y) R, siis ka (y, x) R. · Relatsioon on transitiivne, sest kui x3 = y 3 ja y 3 = z 3 , x3 = z 3 , st kui (x, y) R ja (y, z) R, siis ka (x, z) R. Seega see relatsioon on ekvivalents. Materjal õpikus. Lk 9092 (ekvivalentsirelatsioon). Lk 9495, ülesanded 510, 1924. Kontrolltöö lahendused Diskreetsed struktuurid 2. variant Ülesanne 1. Raamat Mittediskreetne matemaatika koosneb 4-st peatükist, igaühes 7 teoreemi. Eksamiülesannete komplekt peab sisaldama 10 teoreemi tõestust, sealjuures igast peatükist vähemalt 2. Mitu võimalust on koostada nendele tingimustele vastav teoreemide tõestustest koosnev eksamikomplekt aines Mittediskreetne matemaatika? Lahendus. Kui komplekt sisaldab 4 teoreemi ühest peatükist ja ülejäänu- test igaühest 2, siis selle peatüki valikuks, millest võetakse 4 teoreemi, on 4
Kordamisküsimused aines "Algoritmid ja andmestruktuurid" Eksamil 1 komplekt katseid Moodles. Enne enesetesti õpi ära asümptootiliste relatsioonide (hinnangute?) definitsioonid. Lõppeksam koosneb teooriaküsimustest ning programmeerimisülesannetest. Eksam toimub arvutiklassi arvutitel e-õppe keskkonnas ning kestab 150 minutit. Meetod Keskmine Halvim Insertion sort, О(n2) O(n2) Stabiilne pistemeetod Binary search, O(log n) O(log n) kahendotsimine Kahendpistemeetod, Stabiilne. binary insertion sort Quicksort, O(n logn) O(n2) Ei ole stabiilne. kiirmeetod Radix sort, O(n) O(n) Stabiilne. positsioonimeetod Merge sort, O(n logn) O(n logn) On enamasti ühildusmeetod
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ääramispi
3) Kõige väiksema märgendiga leht 4 ja selle naabertipp 0. 4) Kõige väiksema märgendiga leht 5 ja selle naabertipp 3. 5) Kõige väiksema märgendiga leht 3 ja selle naabertipp 0. 6) Järele jäid ainult tipud 0 ja 6, mis on omavahel ühendatud ja see on märk, et puu Prüferi kood on leitud ning tippude eemaldamist võib lõpetada. Seega on etteantud puu Prüferi kood: 20030 Vastus: 20030 Diskreetne matemaatika II Kodused ülesanded 5 Olga Dalton 104493 IAPB21 ÜLESANNE 2. Antud on Prüferi kood (0 4 0 0 2 2 0 1 0). Seega on puul 9 + 2 = 11 tippu. Leian selle puu. Selleks leian igale koodi elemendile vähima lehe märgendi nii, et see erineks järgnevatest koodi
Kõik kommentaarid