Diskreetsed struktuurid (2)

Sarnased õppematerjalid

92

docx

Diskreetse matemaatika elemendid

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 ¬)

Diskreetne matemaatika

28

docx

ITT0030 Diskreetne matemaatika II - eksamikonspekt

Diskreetne matemaatika II Suulise eksami konspekt IABB 2011 [1]. Hulgad. Alam- ja ülemhulgad. Tehted hulkadega. [2]. Hulga võimsus. Kontiinumhüpotees. [3]. Järjendid. Permutatsioonid. Kombinatsioonid. [4]. Binoomi valem. Pascali kolmnurk. [5]. Liitmis- ja korrutamisreegel kombinatoorikas. [6]. Kordustega permutatsioonid. Multinoomkordajad. [7]. Elimineerimismeetod (juurde- ja mahaarvamise valem). [8]. Korratused ja subfaktoriaalid. [9]. Dirichlet` printsiip. [10]. Arvujadade genereerivad funktsioonid. Jadade ja genereerivate funktsioonide teisendamine. [11]. n objekti jaotamine k gruppi. [12]. Rekurrentsed võrrandid. Rekurrentsi lahendamine ad hoc meetodil ja iteratsioonimeetodil. [13]. Tasandi tükeldamine n sirgega ja n nurgaga. [14]. Lineaarsed rekurrentsed võrrandid. [15]. Rekurrentsete võrrandite lahendamine genereerivate funktsioonide meetodil. [16]. Fibonacci arvud. Üldliikm

Diskreetne matemaatika ii

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. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost ,,parajasti siis, kui". f. Tehete järjekord kõrgemast madalamani ¬, &, , , . g. Def.

Diskreetse matemaatika elemendid

17

doc

Relatsioonid ja funktsioonid

Relatsioonid ja funktsioonid 1. Relatsioon Lähtu me ees pooldefineeri tud hulkade Cartes ius e korrutis es t ehk ris tkorrutis es t (öeldaks e ka ots ekorrutis ) A × B tähendab kõiki järj es tatud paaride hulka (a,b), kus a A j a b B. N 1: A ntud on hulgad A= { 1,2} j a B={ 1} Leia me : A × B= { (1,1),(2,1)} B × A ={ (1,1),(1,2)} J äreldus : A × B B × A Hu lga A × B alam h ulk a R n im etatak s e b in aars eks relats ioon ik s hu lgas t A hu lk a B K ui (a,b) R, s iis kirj utataks e ka aRb. J uhul kui a pole s eotud b-ga s iis kirj utataks e a R b . Erij uhul kui B=A , s iis R on binaars e relats ioon hulgal A . (alterna tiivne levinud tähis tus on A x B : A B ) Relatsiooni (vastavuse) määramispiirkond D om(R )= { a A |leidub b B nii et (a,b) R } (doma in of R) Relatsiooni (vastavuse) muutumispiirkond R ange(R )= { b B | leidub a A nii et (a,b) R} (range of R) N 2: A ntud on hulgad A= { 2,3,4} j a B={ 3,4,5,6,7} . D efinee

Matemaatika ja statistika

17

doc

Relatsioonid ja funktsioonid

Relatsioonid ja funktsioonid 1. Relatsioon on hulk paare Lähtu me ees pooldefineeri tud hulkade Cartes ius e korrutis es t ehk ris tkorrutis es t (öeldaks e ka ots ekorrutis ) A × B tähendab kõiki järj es tatud paaride hulka (a,b), kus a A j a b B. N 1: A ntud on hulgad A= { 1,2} j a B={ 1} Leia me : A × B= { (1,1),(2,1)} B × A ={ (1,1),(1,2)} J äreldus : A × B B × A Hu lga A × B alam h ulk a R n im etatak s e b in aars eks relats ioon ik s hu lgas t A hu lk a B K ui (a,b) R, s iis kirj utataks e ka aRb. J uhul kui a pole s eotud b-ga s iis kirj utataks e a R b . Erij uhul kui B=A , s iis R on binaars e relats ioon hulgal A . (alterna tiivne levinud tähis tus on A x B : A B ) Relatsiooni (vastavuse) määramispiirkond , tähis on Dom(R) D om(R )= { a A |leidub b B nii et (a,b) R } (doma in of R) Relatsiooni (vastavuse) muutumispiirkond R ange(R )= { b B | leidub a A nii et (a,b) R} (range of R) N 2: A ntud on hulgad A= {

Matemaatika

68

pdf

Eksamikordamisküsimused

Diskreetne Matemaatika 2018 Link küsimuste juurde: ​Matemaatika kordamisküsimused​ Sisukord Sisukord 1 Soojendus 2 LAUSEARVUTUS MATEMAATILINE LOOGIKA 2 Hulgad 6 Arvusüsteemid 12 Vastavused ja relatsioonid 18 Järjestussuhted 27 LOOGIKAFUNKTSIOONID 35 KARNAUGH’ KAARDID 45 McCLUSKEY’ MINIMEERIMISMEETOD 46 JÄÄKFUNKTSIOONID 48 LOOGIKAFUNKTSIOONIDE KLASSID 50 DIGITAALSKEEMIDE ELEMENDID 52 LOOGIKAFUNKTSIOONIDE SÜSTEEMID 56 GRAAFID

Kategoriseerimata

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

Algebra I

24

pdf

Rekursiooni ja keerukusteooria eksami konspekt

1 Lõplikud automaadid ja regulaarsed keeled. DEF: Lõplik automaat on sellise arvuti mudel, millel puudub mälu (või seda on väga vähe). DEF: Automaadi M keeleks nimetatakse sõnede hulka A, mida M aktsepteerib. L(M)=A DEF: Keelt nimetatakse regulaarseks, kui seda aktsepteerib mingi deterministlik lõplik automaat. Reg. keelest saab teha lõpliku arvu sõnesid. Tehted regulaarsete keeltega: A∪B = {x|x ∈ A või x ∈ B} ühend nt good, girl, boy, bad A◦B ={xy|x ∈ A ja y ∈ B} konkatenatsioon nt goodboy, goodgirl, badboy, badgirl A∗ = {x1x2...xk|k>=0 ja iga xi ∈ A} sulund nt ε, good, bad, goodgood, badgood… 2 Regulaarsete keelte omadusi. Regulaarsed avaldised. Teoreem: Regularsete keelte hulk on kinnine ühendi suhtes. T: Aktsepteerigu automaat N1 = (Q1,Σ,δ1,Q10,F1) keelt A1 ja automaat N2 = (Q2,Σ,δ2,Q20,F2) keelt A2. Eeldame, et keeltel pole ühiseid olekuid. Ühendi A1 ∪ A2 aktsepteerib lõplik automaat N=(Q;Σ,δ,Q0,F), kus: • Q = {q0} ∪ Q1 �

Informaatika

Meedia

Kommentaarid (2)