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

Diskmatt terminid (0)

5 VÄGA HEA
Punktid
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ääramispiirkonna kõigi muutujate puhul
Vastuolu: samaselt väär lause
Või-tehe: disjunktsioon

Hulgad


Alamhulk: hulk, mille kõik elemendid kuuluvad suuremasse hulka, mile alamhulk ta on
Cantori normaalkuju : ühisosade ühend või ühendite ühisosa, kus täiendit on rakendatud ainult üksikutele hulgatähistele
Grassmani valemid: esitavad hulkade ühisosa või ühendi elementide arvu
Hulga astmehulk: hulga kõikide osahulkade hulk
Hulga täiend: hulka mittekuuluvate elementide hulk
Hulk: algmõiste, intuitiivse definitsiooni järgi objektide kogum
Hulkade ühend: elemendid, mis kuuluvad emba- kumba hulka
Hulkade ühisosa: elemendid, mis kuuluvad mõlemasse hulka
Hulkade ristkorrutis : järjestatud paaride hulk, kus esimene element on pärit esimesest teguriks olevast hulgast ja teine teisest teguriks olevast hulgast
Hulkade sümmeetriline vahe: elemendid, mis kuuluvad ühte või teise hulka, aga mitte mõlemasse
Hulkade vahe: elemendid, mis kuuluvad esimesse hulka ja ei kuulu teise hulka
Loenduv hulk: hulk, mille elementide ja naturaalarvude vahel on võimalik sisse seada üksühene vastavus
Loendamatu hulk: hulk, mille elementide ja naturaalarvude vahel ei ole võimalik sisse seada üksühest vastavust (nt reaalarvud)
Lõplik hulk: hulk, mis sisaldab kindla (naturaalarvuga võrdse arvu) elemente
Lõpmatu hulk: hulk, mis sisaldab lõpmatult palju elemente
Minimaalne Cantori normaalkuju: Cantori normaalkuju, mis koosneb vähimast võimalikust arvust hulkadest
Täielik Cantori normaalkuju: CNK, kus igas ühisosa- või ühenditehtes osalevad operandidena kõik avaldises leiduvad hulgad
Tühi hulk: hulk, millesse ei kuulu ühtki elementi
Universaalhulk : hulk, kuhu kuuluvad kõik antud tingimustel võimalikud elemendid
Venni diagramm: hulkade illustratiivse graafilise esitamise moodus , diagrammil näidatakse hulki ringjoontena, mille sees võivad näidatud olla ka hulgaelemendid
Võimsus: lõpliku hulga võimsus on elementide arv selles hulgas

Arvusüsteemid


Arvusüsteemi alus: järguväärtuste arv
Järgu kaal: arvujärgu väärtus, saadakse alust arvujärgu indeksiga astendades
Olulised järgud: intervalli olulised järgud on tema vektorite need 2ndjärgud, mille väärtus on kõigil vektoritel kogu intervalli ulatuses konstantne
Tüvenumbrid: numbrid kõrgeimast mittenullilisest numbrist madalaima mittenullilise numbrini

Loogikaalgebra


Loogikaalgebra: Boole ’i algebra lihtsaim erijuhtLoogikamuutuja: muutuja, mis saab omandada ainult väärtusi 0 või 1

Loogikafunktsioonid


Algterm : avaldise koosseisu kuuluv loogikamuutuja, selle inversioon või konstant 1 või konstant 0
Argumentvektor : loogikamuutujate komplekt, mis esitab funktsiooni igale üksikule muutujale omistatavat väärtust 1 või 0. Muutujate väärtustamisel omandab ka loogikafunktsioon väärtuse
Elementaardisjunktsioon : üksik algterm või algtermide disjunktsioon
Elementaarkonjunktsioon : üksik algterm või algtermide konjunktsioon
Loogikavalemi keerukus: loogikavalemi koosseisus olevate algtermide arv
Loogikavalemi sügavus: kõige pikem tehete ahel, mis tuleb läbida, et saada loogikafunktsiooni väärtus, pmst aeg, mis funktsiooni lahendmiseks kulub
Mitteoluline muutuja: muutuja, millele omistatud loogikaväärtus ei muuda kuidagi funktsiooni väärtust
Tõeväärtustabel: loogikafunktsiooni esitusviis, mis loetleb esitatava funktsiooni väärtused tabelisse korrastatuna kõikide argumentvektorite puhul

Funktsiooni normaalkujude minimeerimine


Disjunktiivne normaalkuju (DNK): elementaarkonjunktsioonide disjunktsioon
Konjunktiivne normaalkuju (KNK): elementaardisjunktsioonide konjunktsioon
Täielik DNK: DNK, kus iga elementaarkonjunktsioon sisaldab funktsiooni kõiki argumente
Täielik KNK: KNK, kus iga elementaardisjunktsioon sisaldab funktsiooni kõiki argumente

Loogikafunktsioonide erikujulised avaldised


Boole’i ruum: kõikvõimalike kahendvektorite hulk
Implikant : 1de piirkonna intervall
Intervall: võrdse pikkusega kahendvektorite hulk võimsusega 2^n, milles iga hulgaelemendi jaoks leidub samas hulgas täpselt n lähisvektorit
Kahendvektor: kahendnumbritena esitatud loogikaväärtuste ühemõõtmeline jada pikkusega n
Lihtimplikant: implikant, mis ei sisaldu üheski suuremas implikandis
Lähisvektorid: võrdse pikkusega kahendvektorid, mis erinevad teineteisest ainult ühes järgus
Nõrgalt määratud loogikafunktsioon: funktsioon, kus üle poole argumentvektoritest on määramatuspiirkonnas
Osaliselt määratud loogikafunktsioon: funktsioon, kus osade argumentvektorite väärtuspole määratud

Loogikaskeemid


Digitaalseade: seade, mis kasutab loogikaskeeme
Digitaalskeem: kahendkoode töötlev elektriskeem
Ja-element: loogikaelement , mis realiseerib loogikatehet “ja”
Loogikaelement: digitaalseadme elementaarkoostisosa, mis teeb loogikaväärtustega 0 ja 1 lihtsaimaid loogikatehteid.
Loogikaskeem: kokkuühendatud loogikaelemendid
Või-element: loogikaelement, mis realiseerib loogikatehet “või”

Loogikafunktsioonide klassid


Monotoonne loogikafunktsioon: funktsioon on monotoonne, kui argumentvektori suurenemisel funktsiooni väärtus ei vähene
Nulli säilitav funktsioon: funktsioon on nulli säilitav, kui kõikide ta muutujate väärtustumisel 0ks, väärtustub ka funktsioon ise 0ks.
Ühte säilitav funktsioon: funktsioon on ühte säilitav, kui kõikide ta muutujate väärtustumisel 1ks, väärtustub ka funktsioon ise 1ks.

Loogikafunktsioonide täielikud süsteemid. Baasid


Baas: minimaalne täielik loogikafunktsioonide süsteem
Loogikafunktsioonide täielik süsteem: loogikafunktsioonide süsteem, mille abil on võimalik kujutada suvalise keerukusega loogikafunktsiooni
Täielikkuse kriteerium : loogika funktsioonide süsteem on täielik, kui ta sisaldab vähemalt ühte igast järgnevast funktsioonist: 0 mittesäilitav, 1 mittesäilitav, mittepööratav, mittemonotoonne, mittelineaarne
****

Graafid


Graaf : objektidevaheliste seoste joonismudel, mis koosneb tippudest ja kaartest.
Orienteerimata graaf: kõik kaared suunamata, neid tähistatakse harilike joontega
Orienteeritud graaf: kõik kaared suunatud, neid tähistatakse nooltega
Ahel: tee orienteerimata graafis
Alamgraaf : graaf on mingi graafi alamgraaf, kui ta on selle graafi mingi taandatud graafi jääkgraaf
Baas: selline minimaalne tippude osahulk , kus selle osahulga tippudest leidub tee selle graafi mistahes tippu (orienteeritud graafis)
Elementaarahel: elementaartee orienteerimata graafis
Elementaartee: tee, mis ei läbi ühtki graafi tippu üle ühe korra
Euleri ahel: läbib täpselt 1 kord kõik orienteerimata graafi kaared, aga ei lõpe oma algustipus.
Euleri graaf: (orienteerimata) graaf, mis omab Euleri tsüklit.
Euleri kontuur : suletud lihttee
Euleri tsükkel: suletud lihtahel
Hamiltoni graaf: (orienteerimata) graaf, mis omab Hamiltoni tsüklit
Hamiltoni kontuur: läbib täpselt 1 kord kõik orienteeritud graafi tipud ja lõpeb oma algustipus
Hamiltoni tsükkel: läbib täpselt 1 kord kõik orienteerimata graafi tipud ja lõpeb oma algustipus
Isomorfsus: 2 graafi on isomorfsed, kui neil on sama tippude ja kaarte arv ning need on seatavad üks-ühesesse vastavusse nii, et mõlemas graafis seovad vastavad kaared vastavaid tippe . (Isomorfsetes graafides võib olla erinev tippude/kaarte tähistus/ paigutus .)
Jääkgraaf: saadakse graafist osade kaarte ärajätmisega, kusjuues kõik tipud säilivad
Kahealuseline graaf: graaf on kahealuseline, kui kõik tema tipud jagunevad kaheks mittelõikuvaks osahulgaks nii, et graafi iga kaar seob ühe osahulga mingit tippu teise osahulga mingi tipuga.
Kontuur: suletud elementaartee orienteeritud graafis
Kromaatiline arv: minimaalne arv, mis näitab, mitme erineva värviga õnnestub graafi tipud värvida nii, et naabertipud oleks eri värvi
Lihtahel: lihttee orienteerimata graafis
Lihttee: tee, mille koosseisus pole korduvaid kaari (tippe võib)
Multigraaf: kordsete kaartega graaf
Puu: sidus tsükliteta orienteerimata graaf
Pöördgraaf: orienteerimata graafi pöördgraaf on samade tippudega orienteerimata graaf, mis sisaldab kaari nende tippude vahel, kus alggraafis pole kaart ja vastupidi.
Sidusus: orienteeritud graaf on sidus, kui igast tema tipust leidub tee igasse teise tippu ja ühepoolselt sidus, kui mistahes kahe tipu vahel leidub tee ühest teise, aga mitte vastupidi.
Suletud tee: tee orienteeritud graafis, mis lõpeb oma algustipus
Sõltumatute tippude hulk: graafi tippude selline osahulk, kus suvalised kaks tippu selles osahulgas pole graafil kaarega seotud.
Taandatud graaf: saadakse osade tippude ja nendega seotud kaarte ärajätmisel.
Tasandiline graaf: graaf on tasandiline, kui ta on paigutatav tasandile nii, et tema kaared ei lõiku (mujal kui tippudes)
Tee: orienteeritud graafi kaarte järjestus, kus iga järgmise kaare algustipuks on eelmise lõpptipp. Pikkus pole piiratud ja kaared võivad korduda.
Tipu aste: (orienteerimatagraafil) tipuga seotud kaarte arv
Tipu sisendaste: (orienteeritud graafil) tippu saabuvate kaarte arv
Tipu väljundaste: (orienteeritud graafil) tipust väljuvate kaarte arv
Tsükkel: suletud elementaarahel orienteerimata graafis
Täielik graaf: graaf, mille iga tipp on ühendatud kõigi teiste tippudega
Tühi graaf: graaf, milles pole ühtki kaart

Vastavused ja relatsioonid


Lähtehulk: hulk millest elemente vastavusse seatakse
Relatsioon : vastavuse erijuht, kus lähte- ja sihthulk on samad

Sihthulk: hulk, millesse elemente vastavusse seatakse

Järjestussuhted


Aatom : osalise järjestussuhte vähimat elementi kattev element
Alamraja: suurim alamtõke
Alamtõke: hulgaelement, millest madalamal ei asu elemente (neid võib olla mitu)
Boole’i algebra: tõkestatud, distributiivne ja täienditega võre
Osaline järjestussuhe: relatsioon, mis on antisümmeetriline ja transitiivne
Täielik järjestussuhe: osalise järjestussuhte erijuht, kus mittevõrreldavaid paare ei leidu.
Võre: (osaline) järjestussuhe, kus iga alushulga suvalise kahe elemendi jaoks leidub alamraja ja ülemraja
Ülemtõke: hulgaelement, millest kõrgemal ei asu elemente (neid võib olla mitu)
Ülemraja: vähim ülemtõke
Diskmatt terminid #1 Diskmatt terminid #2 Diskmatt terminid #3 Diskmatt terminid #4
Punktid 50 punkti Autor soovib selle materjali allalaadimise eest saada 50 punkti.
Leheküljed ~ 4 lehte Lehekülgede arv dokumendis
Aeg2013-04-01 Kuupäev, millal dokument üles laeti
Allalaadimisi 70 laadimist Kokku alla laetud
Kommentaarid 0 arvamust Teiste kasutajate poolt lisatud kommentaarid
Autor gtr3.0 Õppematerjali autor
Diskmatis kasutatavate terminite selgitus.

Sarnased õppematerjalid

Diskreetse matemaatika mõisted selgitustega
42
pdf

Diskreetse matemaatika mõisted selgitustega

Diskreetne matemaatika Sisukord Arvusüsteemid ................................................................................................................................................... 2 Kahendkoodid.................................................................................................................................................... 4 Loogikafunktsioonid ja loogikaavaldised ........................................................................................................... 5 Avaldiste teisendused........................................................................................................................................ 8 Karnaugh’ kaart ................................................................................................................................................. 9 McCluskey’ minimeerimismeetod ................................................................................................................... 10 Loogikaskeemi

Diskreetne matemaatika
Diskreetne matemaatika eksami kordamise materjal
12
docx

Diskreetne matemaatika eksami kordamise materjal

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.  Lihtlause on lihtsaim lausearvutuse lause.  Lausearvutuse lauseid tähistatakse suutre tähtedega A, B, C.  Liitlause koosneb lihtlausetest ning neid siduvatest konstruktisoonidest ja sidesõnadest.  Lausearvutuse loogikatehted on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents.  Binaarsed tehted on need tehted, mida saab teha kahe a

Diskreetne matemaatika
Eksamikordamisküsimused
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
Diskreetne matemaatika I IAY0010 eksami konspekt
20
pdf

Diskreetne matemaatika I IAY0010 eksami konspekt

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. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogilin

Diskreetne matemaatika
Diskreetse matemaatika elemendid-eksami konspekt
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
Diskreetse matemaatika elemendid
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
Graafid ja matemaatiline loogika eksamimaterjal
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
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]. 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




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