Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse

Diskreetse matemaatika elemendid, eksami konspekt (0)

1 Hindamata
Punktid

Lausearvutus



  • Lausearvutuse lausetele esitatavad tingimused:
  • Välistatud kolmanda seadus. Iga lause on kas tõene või väär.
  • Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka väär.
  • Tehteid võib teostada ükskõik milliste lausetega.
  • Tehte tulemuseks saadud lause tõeväärtus sõltub ainult komponentlausete tõeväärtustest.

  • Eitus (märk ¬). Lause mittekehtimine.
  • Konjunktsioon (märk &) tähendab seost „ja“.
  • Disjunktsioon (märk ν) väljendab seost „või“. Siin on kasutusel mittevälistav „või“.
  • Implikatsioon (märk →) väljendab tingimuslikku konstruktsiooni „kui …, siis …“.
  • Ekvivalents (märk ↔) tähendab matemaatikas sagedasti kasutatavat seost „ parajasti siis, kui“.
  • Tehete järjekord kõrgemast madalamani ¬, &, ν, →, ↔.
  • Def. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil.
  • Iga lausemuutuja on lausearvutuse valem.
  • Kui ℱ on lausearvutuse valem, siis ka ¬ℱ on lausearvutuse valem.
  • Kui ℱ ja 𝒢 on lausearvutuse valemid, siis ka (ℱ & 𝒢), (ℱ ν 𝒢), (ℱ → 𝒢) ja (ℱ ↔ 𝒢) on lausearvutuse valemid.

  • Kui vaatluse all on korraga hulk lausemuutujaid ja me omistame tõeväärtuse igale muutujale, siis nimetatakse sellist tõeväärtuse komplekti muutujate väärtustuseks.
  • Tehete toimet võib ülevaatlikumalt kirjeldada tõeväärtustabeliga, mille vasakus osas on valemi argumentide kõikvõimalikud väärtused, paremas osas aga tehete tulemused.
  • Lausearvutuse valemit ℱ nimetatakse
  • Samaselt tõeseks, kui ta on igal väärtustusel tõene, valemi tõeväärtuste veerus peab esinema ainult väärtus 1.
  • Samaselt vääraks, kui ta on igal väärtustel väär, valemi tõeväärtuste veerus peab esinema ainult väärtus 0.
  • Lausearvutuse valemit ℱ nimetatakse kehtestatavaks, kui ta on vähemalt ühel väärtustusel tõene. Sellise valemi tõeväärtuste veerus esineb väärtus 1.
  • Seosed valemiklasside vahel
  • Valem ℱ on samaselt tõene parajasti siis, kui tema eitus ¬ℱ on samaselt väär.
  • Valem ℱ on kehtestatav parajasti siis, kui tema eitus ¬ℱ ei ole samaselt tõene.
  • Tõestus. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 14.

  • Valemeid ℱ ja 𝒢 nimetatakse samaväärseteks, kui nende tõeväärtused on võrdsed igal neis valemeis esinevate muutujate väärtustusel.
  • Põhisamaväärsused. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 22.
  • Samaväärsuste kasutamine teisendustes seisneb valemi mingi osavalemi asendamises temaga samaväärsega. Nagu algebras, säilitab selline osavalemi asendamine ka siin samaväärsuse ka terve valemi jaoks.
  • Teoreem . Iga lausearvutuse valemi jaoks leidub temaga samaväärne valem, mis ei sisalda muid tehtemärke, kui
  • ¬, &;
  • ¬, ν;
  • ¬, →.
  • Tõestus. Kolm ülejäänud tehet saab avaldada antud komplekti kaudu.

  • Ütleme, et valemitest ℱ1, ℱ2,…, ℱn järeldub valem 𝒢, kui igal neis valemeis esinevate muutujate väärtustusel, millel ℱ1, ℱ2,…, ℱn on tõesed, on ka 𝒢 tõene.
  • Teoreem. Valemitest ℱ1, ℱ2,…, ℱn järeldub valem 𝒢 parajasti siis, kui valem ℱ1 & ℱ2 & … & ℱn → 𝒢 on samaselt tõene.
  • Tõestus. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 20.

  • Lausemuutujat või selle eitust nimetatakse literaaliks.
  • Olgu vaatluse all komplekt lausemuutujaid 𝒜1, 𝒜2,…, 𝒜n, lisades vajaduse järgi eitusi, moodustame literaalid ℒ1, ℒ2,…, ℒn ning koostame valemi ℒ1 & ℒ2 & … & ℒn. Sellist valemit nimetatakse täielikuks elementaarkonjunktsiooniks.
  • Lausearvutuse valemi ℱ täielikuks disjunktiivseks elementaarkonjunktsiooniks (TDNK) nimetatakse valemiga ℱ samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjunktsioonide disjunktsiooni. TDNK on tõene parajasti nendel väärtustustel, mis vastavad normaalkuju liikmetele .
  • TDNK leidumine. Teoreem. Kui valem ℱ ei ole samaselt väär, siis tal leidub täielik disjunktiivne normaalkuju.
  • Valemi TDNK jaoks on üheselt määratud seal esinevate täielike elementaarkonjunktsioonide hulk, see peab vastama esialgse valemi tõeväärtuse veerule. Seega on TDNK määratud ühesel kuni elementaarkonjunktsioonide järjestuse täpsuseni.
  • TDNK-le teisendamise algoritm https://moodle.ut.ee/mod/url/view.php?id=78717 lk 29 – 30.

  • Boole ’i funktsioonide esitamine lausearvutuse valemitega. https://moodle.ut.ee/mod/resource/view.php?id=125416 lk 14 – 16.

  • Lausearvutuse tehted on kasutusel tingimuste kirjapanemisel:
  • Programmeerimiskeelte tingimuslausetes ja tsüklitingimuste
  • Päringukeeltes
  • Semantilises veebis (ontoloogiad) jne.

  • Tõestamise strateegiad. https://moodle.ut.ee/mod/resource/view.php?id=96258
  • https://moodle.ut.ee/mod/resource/view.php?id=89132

  • **Kvantorite distributeerumine konjunktsiooni ja disjunktsiooniga.
  • **Kvantorite ettetoomine. https://moodle.ut.ee/mod/resource/view.php?id=96260

  • Üldisuse kvantoriga väite tõestamine induktsiooniga naturaalarvudel. https://moodle.ut.ee/mod/url/view.php?id=107318 lk 4 – 9 https://moodle.ut.ee/mod/resource/view.php?id=136869

    Hulgateooria



  • Hulga all mõistetakse üksteisest erinevate objektide kogumit, mida vaadeldakse ühe tervikuna ja kus iga objekti korral on võimalik üheselt kindlaks määrata, kas ta kuulub antud hulka.
  • Hulka kuuluvaid objekte nimetatakse selle hulga elementideks.
  • Kahte hulka A ja B loetakse võrdseteks ja kirjutatakse A = B, kui hulgad A ja B koosnevad samadest elementidest: A = B ⇔ ∀x [x ∈ A ⇔ x ∈ B]
  • Tühjaks hulgaks e. tühihulgaks nimetatakse hulka, mis ei sisalda ühtegi elementi.

  • Naturaalarvude hulk - ℕ
  • Täisarvude hulk - ℤ
  • Ratsionaalarvude hulk - ℚ
  • Reaalarvude hulk - ℝ
  • Kompleksarvude hulk - ℂ
  • Reaalarvude intervallid :

  • Vahemik (a, b).
  • Hulkade A ja B ühisosaks e. lõikeks nimetatakse hulka A ∩ B, mille moodustavad elemendid, mis kuuluvad nii hulka A kui hulka B, st A ∩.
  • Hulkade A ja B vaheks nimetatakse hulka A\B, mille moodustavad elemendid, mis kuuluvad hulka A, aga ei kuulu hulka B, st A\.
  • Universaalhulgaks nimetatakse hulka, mis sisaldab alamhulkadena kõiki antud probleemis või mõttekäigus vaadeldavaid hulki.
  • Hulga A täiendiks A’ nimetatakse hulka, mille moodustavad kõik need universaalse hulga elemendid, mis ei kuulu hulka A: A’.
  • Venni diagrammid, tehete algebralised omadus, nende tõestamine ja kontroll https://moodle.ut.ee/mod/resource/view.php?id=78718 lk 5 – 12

  • Hulkade A ja B otsekorrutiseks e. Descartes’i korrutiseks nimetatakse hulka A × B, mille moodustavad kõik järjestatud paarid (a, b), kus a ∈ A ja b ∈ B: A ×.
  • Hulga A n-ndaks otseastmeks An nimetatakse otsekorrutist A × … × A, kus A esineb n korda.
  • Otsekorrutise omadused. https://moodle.ut.ee/mod/resource/view.php?id=78718 lk 13 – 15.

    Funktsioonid ja relatsioonid



  • Def. Binaarseks seoseks ehk relatsiooniks hulkade X ja Y elementide vahel nimetatakse nende hulkade otsekorrutise suvalist alamhulka ρ ⊆ X × Y
  • Def. n-aarseks seoseks ehk relatsiooniks hulkade X1, X2,…, Xn elementide vahel nimetatakse nende hulkade otsekorrutise suvalist alamhulka ρ ⊆ X1 × X2 × … × Xn
  • Def. Kui ρ ⊆ X × Y on seos hulkade X ja Y elementide vahel, siis ρ pöördseoseks nimetatakse seost ρ

  • Def. Seost f ⊆ X × Y nimetatakse funktsiooniks e. kujutuseks hulgast X hulka Y, kui
    iga x ∈ X jaoks leidub täpselt üks selline y ∈ Y, et (x,y) ∈ f.
  • Def. Kui xX, siis hulga Y elementi y=f(x) nimetatakse elemendi x kujutiseks (funktsiooniga f).
  • Elemendi y ∈ B originaaliks nimetatakse sellist x ∈ X, et f(x) = y.
  • Funktsiooni määramispiirkonnaks nimetatakse funktsiooni definitsioonis esinevat hulka X.
  • Funktsiooni kogu määramispiirkonna kujutist nimetatakse funktsiooni väärtuste piirkonnaks ehk muutumispiirkonnaks.

  • Hulga A ⊆ X kujutiseks nimetatakse hulga Y alamhulka, mis koosneb kõikide A elementide kujutistest: f(A)
  • Hulga B ⊆ Y originaaliks nimetatakse hulka, mis koosneb kõigist nendest X elementidest, mis kujutavad hulga B elemendiks : f -1 (B)
  • Funktsioonide f : X → Y ja g : Y → Z korrutiseks ehk kompositsiooniks nimetatakse funktsiooni gf : X → Z, mis määratakse võrdusega (gf)(x) = g(f(x)), x ∈ X. Funktsioonide f ja g korrutist tähistakse ka g ∘ f.
  • **Hulga kujutise omadusi:
    Olgu f funktsioon X → Y ja A, B ⊆ X. Siis
  • f(∅) = ∅
  • f(X) ⊆ Y
  • Kui A ⊆ B, siis f(A) ⊆ f(B)
  • f(A ∪ B) = f(A) ∪ f(B)
  • f(A ∩ B) ⊆ f(A) ∩ f(B)
  • **Hulga originaali omadusi:
    Olgu f funktsioon X → Y ja A, B ⊆ Y. Siis
  • f -1(∅) = ∅
  • f -1(Y) = X
  • Kui A ⊆ B, siis f -1(A) ⊆ f -1(B)
  • f -1(A ∪ B) = f -1(A) ∪ f -1(B)
  • f -1(A ∩ B) = f -1(A) ∩ f -1(B)
  • f -1(B’) = (f -1(B))’, st f -1(Y \ B) = X \ f -1(B)

  • Funktsiooni f : X → Y nimetatakse injektiivseks ehk üksüheseks, kui iga paari x1, x2 ∈ X, x1 ≠ x2, korral f(x1) ≠ f(x2) (erinevad elemendid teisenevad erinevateks elementideks).
  • Funktsiooni f : X → Y nimetatakse sürjektiivseks ehk pealekujutuseks, kui f(X) = Y ehk kui igal elemendil hulgast Y leidub originaal .
  • Funktsiooni f : X → Y nimetatakse bijektiivseks ehk üksüheseks vastavuseks, kui ta on injektiivne ja sürjektiivne ehk kui igal elemendil hulgast Y leidub parajasti üks originaal.
  • Bijektiivse funktsiooni f : X → Y pöördfunktsiooniks nimetatakse funktsiooni f -1 : Y → X, mis seab igale y ∈ Y vastavusse sellise elemendi x ∈ X, mille korral f(x) = y.
  • Relatsioonide esitusviisid:
  • Loend: definitsiooni järgi on relatsioon paaride hulk. Kui see hulk on lõplik, siis saab teda esitada elementide (so paarida) loendina. Nt, vaatlemerelatsiooni R, mis kehtib kahe arvu x ja y vahel parajasti siis, kui nende arvude sõnalises kujus ei leidu ühist tähte („sõltumatud arvud“). Lihtne on üle kontrollida kõ
  • Boole’i maatriks
  • Graaf : Relatsioone lõpliku hulga X elementide vahel saab kujutada suunatud graafi abil. Kujutame hulga X elemente graafi tippudena ja joonistame tipust x tippu y kaare, kui kehtib xRy. Nt, jaguvusrelatsioon
  • Avaldis : algebralised avaldised, nt võrratused.
  • Hulgal X määratud relatsiooni R nimetatakse
  • refleksiivseks, kui iga x ∈ X korral (x, x) ∈ R. Nt samasusrelatsioon. Maatriksil on peadiagonaalis kõik ühed, graafis on iga tipu juures silmus .
  • antirefleksiivseks, kui iga x ∈ X korral (x, x) ∉ R. Nt relatsioon ≠. Maatriksi peadiagonaal koosneb nullidest, graafis ei ole ühegi tipu juures silmust.
  • sümmeetriliseks, kui (x, y) ∈ R korral alati (y, x) ∈ R. Nt relatsioonid = ja ≠. Maatriks on sümmeetriline peadiagonaali suhtes, suunatud graafis iga kaare jaoks on olemas ka vastupidise suunaga kaar.
  • antisümmeetriliseks, kui (x, y) ∈ R ja (y, x) ∈ R korral alati x = y. Nt võrratused. Maatriksi iga väljaspool peadiagonaali asuva elemendi 1 suhtes on sümmeetriline element 0, suunatud graafis pole kahte vastassuunalist kaart.
  • transitiivseks, kui (x, y) ∈ R ja (y, z) ∈ R korral alati (x, z) ∈ R. Nt võrratused ja alamhulgaks olemised. Maatriksis peab olema kahe 1 ristumiskohas ka 1, graafis, kui pääseb kahe servaga ühest tippu teise, siis peab pääsema ka ühe servaga.

  • Relatsiooni, mis on refleksiivne, sümmeetriline ja transitiivne , nimetatakse ekvivalentsiks. Nt samasusrelatsioon; olgu X kõigi lausearvutusevalemite hulk. Loeme, et kaks valemit on relatsioonis R parajasti siis, kui nad on samaväärsed. Niisugune relatsioon on ekvivalents; fikseerime täisarvu n, olgu täisarvude hulgal määratud relatsioon R, mis kehtib kahe täisarvu a ja b puhul parajasti siis, kui need arvud on annavad arvuga n jagades sama jäägi.
  • Defineerime hulga X iga elemendi x ∈ X jaoks tema ekvivalentsiklassi relatsiooni R jä. Näide: Olgu X lausemuutujatest A ja B moodustatud lausearvutuse valemite hulk ja FRK tähendagu valemite F ja G samaväärsust. Siis valemi F ekvivalentsiklass on kõigi temaga samaväärsete ainult muutujaid A ja B sisaldavate valemite hulk. Selgitasime välja, et hulk X jaguneb 16 ekvivalentsiklassiks.
  • Teoreem hulga jaotumisest ekvivalentsiklassideks:
    Kui R on hulgal X defineeritud ekvivalentsirelatsioon, siis kehtib:
  • Kui kehtib xRy, siis [x]R = [y]R,
  • Kui xRy ei kehti, siis [x]R ∩ [y]R = ∅,
  • Ekvivalentsiklasside ühend on hulk X.
    Tõestus.
  • Kehtigu xRy. Vastavate ekvivalentsiklasside võrduse näitamiseks näitame, et kumbki on teise alamhulk. Olgu z ∈ [x]R. Näitame, et siis ka z ∈ [y]R. Ekvivalentsiklassi definitsioonist saame z kohta xRz. Relatsiooni R sümmeetrilisuse tõttu saame väite 1) eeldusest yRx. Relatsioon R transitiivsus annab nüüd yRz, seega z ∈ [y]R. Analoogiliselt saab tõestada vastupidise kuulumise.
  • Oletame vastuväiteliselt, et klasside ühisosa ei ole tühi. Siis leidub selline z, et z ∈ [x]R ja z ∈ [y]R. Ekvivalentsiklassi definitsiooni rakendades saame xRz ja yRz. Relatsiooni R sümmeetrilisusest saame zRy ja transitiivsust rakendades xRy, mis on vastuolus väite 2) eeldusega.
  • Iga x ∈ X kuulub relatsiooni R refleksiivsuse tõttu iseenda ekvivalentsiklassi ja seega ka ekvivalentsiklasside ühendisse.

  • Relatsiooni, mis on refleksiivne, antisümmeetriline ja transitiivne, nimetatakse mitterangeks järjestuseks, nt suvalisel arvuhulgal määratud mitterange võrratus ≤.
  • Relatsiooni, mis on antirefleksiivne ja transitiivne, nimetatakse rangeks järjestuseks, nt suvalisel arvuhulgal määratud range võrratus
  • Vasakule Paremale
    Diskreetse matemaatika elemendid-eksami konspekt #1 Diskreetse matemaatika elemendid-eksami konspekt #2 Diskreetse matemaatika elemendid-eksami konspekt #3 Diskreetse matemaatika elemendid-eksami konspekt #4 Diskreetse matemaatika elemendid-eksami konspekt #5 Diskreetse matemaatika elemendid-eksami konspekt #6 Diskreetse matemaatika elemendid-eksami konspekt #7 Diskreetse matemaatika elemendid-eksami konspekt #8 Diskreetse matemaatika elemendid-eksami konspekt #9 Diskreetse matemaatika elemendid-eksami konspekt #10 Diskreetse matemaatika elemendid-eksami konspekt #11 Diskreetse matemaatika elemendid-eksami konspekt #12 Diskreetse matemaatika elemendid-eksami konspekt #13
    Punktid 100 punkti Autor soovib selle materjali allalaadimise eest saada 100 punkti.
    Leheküljed ~ 13 lehte Lehekülgede arv dokumendis
    Aeg2014-01-27 Kuupäev, millal dokument üles laeti
    Allalaadimisi 93 laadimist Kokku alla laetud
    Kommentaarid 0 arvamust Teiste kasutajate poolt lisatud kommentaarid
    Autor Ints92 Õppematerjali autor
    Konspekt DME eksamiks, teemad: lausearvutus, hulgateooria, funktsioonid ja relatsioonid, graafiteoorida(lihtgraafid, puud, suunatud graafid)

    Kasutatud allikad

    Sarnased õppematerjalid

    Diskreetse matemaatika elemendid
    92
    docx

    Diskreetse matemaatika elemendid

    o C = {z | z=x+iy; x,y∈R, i2=1 Reaalarvude intervallid 11 o lõik [a, b] = {x | x∈R, a ≤ x ≤ b}, o vahemik (a, b) = {x | x∈R, a < x < b} o poollõik (a, b] = {x | x∈R, a < x ≤ b} o poollõik [a, b) = {x | x∈R, a ≤ x < b} 14. Alamhulk. Ülemhulk. Pärisalamhulk. [3, 4, 5] Alamhulk o DEF: Hulka A nimetatakse hulga B alamhulgaks ehk osahulgaks ja kirjutatakse A ⊆ B, kui kõik hulga A elemendid kuuluvad ka hulka B, st A ⊆ B ⇔ ∀x[ x∈A ⇒ x∈B ] Ülemhulk o DEF: Kui hulk A on hulga B alamhulk, siis nimetatakse hulka B ka hulga A ülemhulgaks ja kirjutatakse B ⊇ A. Pärisalamhulk o DEF: Hulka A nimetatakse hulga B pärisalamhulgaks (pärisosahulgaks) ja kirjutatakse A ⊂ B, kui hulk A on hulga B alamhulk ja A ≠ B. 15. Hulkade ühend, ühisosa, vahe. Universaalhulk. Hulga täiend. Venni diagrammid. Tehete algebralised omadused, nende tõestamine ja kontroll

    Diskreetne matemaatika
    Graafid ja matemaatiline loogika eksamimaterjal
    21
    docx

    Graafid ja matemaatiline loogika eksamimaterjal

    indiviidide piirkonnaks o Vastavalt predikaadi definitsioonile saame igale predikaadile seada vastavusse tema tõesuspiirkonna = { (1, ... , ) |P(1, ... , ) = } Olgu P(1, ... , ) hulgal defineeritud -kohaline predikaat. Siis iga korral tähistavad P(1, ... , ) ja P(1, ... , ) järgmisi ( - 1)-kohalisi predikaate: o P(1, ... , ) = {t, kui x1, ..., xi-1, xi+1, ..., xn on hulga M sellised elemendid, et iga xiM korral P(1, ... , )=t o P(1, ... , ) = {t, kui x1, ..., xi-1, xi+1, ..., xn on hulga M sellised elemendid, et mingi xiM korral P(1, ... , )=t, vastasel juhul P(1, ... , )=v Lõpliku indiviidide piirkonna puhul saab kvantorite rakendamise taandada lausearvutuse tehetele: o Kui = {1, ... , }, siis P(1, ... , )= P(1, ... , -1, 1, +1, ... , ) & ... & P(1, ..., -1, , +1, ... , n)

    Algebra I
    ITT0030 Diskreetne matemaatika II - eksamikonspekt
    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]

    Diskreetne matemaatika ii
    Teoreetilibe informaatika kordamisküsimused
    37
    doc

    Teoreetilibe informaatika kordamisküsimused

    Kontrollime hulka Y = {X | P(X)} Eeldades, et Y kuuluks hulka Y, saame P(Y) = false => Y ei kuulu hulka Y Eeldades, et Y ei kuulu hulka Y, saame P(Y) = true => Y kuulub Y Paradokside elimineerimine hulkade hierarhia ja klassifitseerimisega. 2. Relatsioonid. Ekvivalentsi- ja järjestusseosed. Relatsioon ehk seos hulkade A ja B vahel on alamhulk A x B-le. Seos hulgal A on alamhulk A x A-le. Pöördrelatsioon R-1 on relatsiooni täiend. aRb -> Elemendid a ja b on seoses R Refleksiivsus - iga a korral aRa (a on iseendaga seoses) Sümmeetria ­ iga a korral aRb => bRa (kõik seosed on vastastikused) Transitiivsus ­ iga a korral aRb && bRc => aRc (põhimõtteliselt järjestusseos) Ekvivalentsiseoseks nimetatakse seost, mis on refleksiivne, sümmeetriline ja transitiivne. Elemendiga a (A element) ekvivalentsete elementide hulka nimetatakse a ekvivalentsiklassiks (hulgal A).

    Teoreetiline informaatika
    Eksamikordamisküsimused
    68
    pdf

    Eksamikordamisküsimused

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

    Kategoriseerimata
    Graafid
    4
    doc

    Graafid

    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

    Matemaatika ja statistika
    Diskreetsed struktuurid
    10
    pdf

    Diskreetsed struktuurid

    vähemalt 30 serva, siis ei saa selline graaf sisaldada ühtegi silda. Materjal õpikus. Lk 53­55 (sidusus). Ülesanne 5. Teha kindlaks, kas järgmine positiivsete reaalarvude hulgal määratud relatsioon x2 y R = {(x, y) : 2 = } y x on ekvivalents. 2 Lahendus. Võrdus xy2 = xy on samaväärne võrdusega x3 = y 3, sest põhi- hulga elemendid on positiivsed reaalarvud. Järelikult võib relatsiooni esitada kujul R = {(x, y) : x3 = y 3 }. Kontrollime ekvivalentsi omaduste kehtivust. · Relatsioon on refleksiivne, sest iga positiivse reaalarvu x korral kehtib x3 = x3 , st (x, x) R. · Relatsioon on sümmeetriline, sest kui x3 = y 3, siis ka y 3 = x3 , st kui (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

    Informaatika1
    Diskreetne matemaatika I IAY0010 eksami konspekt
    20
    pdf

    Diskreetne matemaatika I IAY0010 eksami konspekt

    element on samal ajal ka hulga B elemendiks : ∀𝑥(𝑥 ∈ 𝐴 → 𝑥 ∈ 𝐵). Iga hulk on iseenda osahulgaks 𝐴 ⊂ 𝐴. Kui 2 hulka on teineteise osahulkadeks, siis on nad võrdsed: (𝐴 ⊂ 𝐵 ∧ 𝐵 ⊂ 𝐴) ↔ 𝐴 ≡ 𝐵. Venni diagramme kasutatakse hulkade illustratiivseks graafiliseks esitamiseks, kus hulki esitatakse ringjoontega, mille sees võivad olla näidatud hulgaelemendid. 2 hulka – 4 pk ; 3 hulka – 8 pk ; 4 hulka – 16 pk. Universaalhulga I mood. elemendid, mis kuuluvad vaadeldavasse hulka ja elemendid, mis ei kuulu vaadeldavasse hulka. Universaalhulk võeti kasutusele hulka mittekuuluvate elementide esitamiseks. Hulka A mittekuuluvad elemendid mood. hulga A täiendi 𝐴̅. Tühi hulk on elementideta hulk. Tühi hulk ∅ on iga hulga osahulgaks ∀𝐴(∅ ⊂ 𝐴). Mingi hulga A astmehulgaks 2 𝐴 ehk 𝑃(𝐴) nim selle hulga kõikide osahulkade hulka. n-elemendise hulga astmeh-s on 2𝑛 elementi. Hulk on lõplik,

    Diskreetne matemaatika




    Kommentaarid (0)

    Kommentaarid sellele materjalile puuduvad. Ole esimene ja kommenteeri



    Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun