Seega = -18 ja = 11 Nüüd saan arvutada võrrandi lahendid: 1 (-18) = = -18 gcd(25,41) 1 11 = = 11 gcd(25,41) Kontroll: Paned saadud x ja y esialgsesse võrrandisse. pp = 25 (-18) + 41 11 = -450 + 451 = 1; vp = 1; pp = vp ja seega on leitud lahendid õiged. Vastus: = -18; = 11 Ülesande jätk: Panen aga tähele, et Eukleidese algoritmiga leitud lahendid pole ainukesed võimalikud. Diskreetne matemaatika II Kodused ülesanded 4 Olga Dalton 104493 IAPB21 Kui avaldada y x-i kaudu, saan: 1 - 25 = 41 Ülejäänud y-te leidmiseks saab kasutada järgmist algoritmi: panna x-i asemele järjest suvalisi täisarvu
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 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
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.
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
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.
JÄÄKFUNKTSIOONID 48 LOOGIKAFUNKTSIOONIDE KLASSID 50 DIGITAALSKEEMIDE ELEMENDID 52 LOOGIKAFUNKTSIOONIDE SÜSTEEMID 56 GRAAFID 58 Palju õnne! 67 Soojendus 1. Millise matemaatikavaldkonnaga Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega ega pidevate funktsioonidega. 2. Milliste arvudega Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega, negatiivsete ja kümnendarvudega(komadega arvud). 3. Milliseid funktsioone nimetatakse pidevateks ? Pidevad funktsioonid on sellised, mille graafik on esitatav pideva (kõver)joonena. 4. Mis on verbaalne esitus? Verbaalne esitlus igapäevane suhtluskeel ehk sõnaline esitlus ja kirjalik esitlus. 5
Kõik kommentaarid