..,xn ∈ N korral kehtib seos f (x1,...,xn) = a) y, mis on vähim selline element, et g(x1,...,xn,y) = 0 ja iga z < y korral g(x ,...,xn,z) on määratud ja pole 0; b) pole määratud, vastasel juhul. Ehk y on esimene element, mille puhul g(x1,...,xn,y) = 0. Funktsiooni f esitatakse sel juhil operaatortermi abil selliselt: f = μy [g]. DEF: Osaliselt rekursiivsed funktsioonid on konstrueeritavad elementaarfunktsioonidest superpositsiooni-, rekursiooni- ja minimeerimisoperaatori abil. DEF: Kõikjal määratud rekursiivseid funktsioone nimetatakse täisrekursiivseteks funktsioonideks. 20 Cantori funktsioonid. Arvutatava funktsiooni ühekohalised esindajad. Cantori funktsioon (kahekohaline) seab igale naturaalarvude paarile vastavusse tema koodi: c(x,y) = 0,5(x +y)(x+y+1)+x. Leiduvad ka pöördfunktsioonid koodile vastava naturaalarvu leidmiseks. l(c(x, y)) = x; r(c(x, y)) = y c3(x,y,z) = c(x,c(y,z)) cm(x1,x2,...,xm) = c(x1,cm−1(x2,..
===SUULISE OSA KÜSIMUSED JA VASTUSED=== I. Lausearvutus 1. Mis on algmõiste? Nimeta vähemalt 3 algmõistet. Mõisted, mida kasutatakse teiste mõistete defineerimiseks. Algmõisteid ise ei defineerita. Näiteks tihti peetakse algmõisteteks: punkt, sirge, tasand, ruum, hulk, arv, suurus 2. Mis on definitsioon ja milliseid reegleid peab ta täitma? Definitsioon on mõistete määratlemine lihtsamate ja tuntumate mõistete kaudu. Definitsioon peab täitma järgnevaid reegled: 1. Definitsioon peab sisaldama ainult nii palju tunnuseid, et see täpselt määraks millega tegu 2. Mõistet ennast ei tohi mõiste defineerimisel kasutada 3. Definitsioon peab võimalusel olema jaatav 4. Peab olema selge ja arusaadav 3. Mis on aksioom? Nimeta vähemalt 3 aksioomi. Põhitõde, mida peetakse vaieldamatult õigeks. Aksioomid on näiteks: 1. Igale naturaalarvukle järgneb vahetult ainult üks naturaalarv 2. Kaht erinevat punkti läbib ainult üks sirge 3. Väljaspool
===SUULISE OSA KÜSIMUSED JA VASTUSED=== I. Lausearvutus 1. Mis on algmõiste? Nimeta vähemalt 3 algmõistet. Mõisted, mida kasutatakse teiste mõistete defineerimiseks. Algmõisteid ise ei defineerita. Näiteks tihti peetakse algmõisteteks: punkt, sirge, tasand, ruum, hulk, arv, suurus 2. Mis on definitsioon ja milliseid reegleid peab ta täitma? Definitsioon on mõistete määratlemine lihtsamate ja tuntumate mõistete kaudu. Definitsioon peab täitma järgnevaid reegled: 1. Definitsioon peab sisaldama ainult nii palju tunnuseid, et see täpselt määraks millega tegu 2. Mõistet ennast ei tohi mõiste defineerimisel kasutada 3. Definitsioon peab võimalusel olema jaatav 4. Peab olema selge ja arusaadav 3. Mis on aksioom? Nimeta vähemalt 3 aksioomi. Põhitõde, mida peetakse vaieldamatult õigeks. Aksioomid on näiteks: 1. Igale naturaalarvukle järgneb vahetult ainult üks naturaalarv 2. Kaht erinevat punkti läbib ainult üks sirge 3. Väljaspool
1. LOENG Sissejuhatus Lausearvutus: Teoreemid sõnastatakse tavaliselt kujul: ,,Kui A, siis B". Teoreemi osa A, mis on seotud sõnaga kui, nimetatakse teoreemi eelduseks, ja osa, mis on seotud sõnaga siis, väiteks. Näide: Kui kaks vektorit on risti, siis nende vektorite skalaarkorrutis on null. Näide: Kui nurgad on kõrvunurgad, siis nende summa on 180o. Teoreemi tõestamine tähendab selle näitamist, et eeldusest A järeldub väide B. Tõestamisel lähtutakse aksioomidest ja varem tõestatud teoreemidest. Vahetades teoreemis ,,Kui A, siis B" eelduse ja väite, saame lause ,,Kui B, siis A". Seda lauset nimetatakse antud lause pöördlauseks. Kui lause kehtib, siis selle lause pöördlause ei pruugi kehtida. Näide: Lause: ,,Kui arv lõpeb nulliga, siis ta jagub viiega" (kehtib). Pöördlause: ,,Kui arv jagub viiega, siis ta lõpeb nulliga" (ei kehti). Näide: Lause: ,,Kui kolmnurga kül
Tingimused 1. Välistatud kolmanda seadus. Iga lause on kas tõene või väär. 2. Mittevasturääkivuse seadus. Ükski lause pole korraga tõene ja väär. Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite järgi: 1. Iga lausemuutuja on lausearvutuse valem. 2. Kui F on lausearvutuse valem, siis ka F on lausearvutuse valem. 3. Kui F ja G on lausearvutuse valemid, siis ka (F&G), (FVG),(F->G) ja (F<->G) on lausearvutuse valemid. Osavalem : Kõiki antud valemi konstrueerimise käigus tekkinud valemeid nimetatakse selle valemi osavalemiteks ehk alamvalemiteks, konstrueerimise viimasel sammul kasutatud suhet aga peatehteks. Kokkulepped sulgude kohta: 1. Tehete prioriteet kõrgemast madalamani on , &, V, ->, <->. 2. Vasakassotsiatiivsus: kui mitme liikme konjuktsioonis või disjunktsioonis sooritatakse. tehteid vasakult paremale, siis võib tehete järjekorda täpsustavatest sulgudest l
Seosed Seoseks (ehk vastavuseks, sageli ka relatsiooniks või suhteks) hulkade ja vahel nimetatakse otsekorrutise × mistahes osahulka. Seega, seos hulkade ja vahel on järjestatud paaride (,) hulk, kus ja . Teisiti öeldes, seos on mingi osahulk ×. Paari (,)× korral öeldakse, et elemendid ja on seoses ning tähistatakse ka . Mõnikord öeldakse osahulga kohta, et see on seose graafik. Kui =, ehk kui ×, siis räägitakse seosest hulgal . Näide 1. Olgu ={2,3} ja ={1,2,3,4,5,6}. Siis 1={(2,2),(2,3),(3,1), (3,5)} on binaarne seos hulkade ja vahel. Samade hulkade ja korral võime vaadelda veel palju teisi seoseid, näiteks seost 2, mis on antud tingimusega, et see koosneb paaridest (,), millede korral jagub arvuga . Siis 2={(2,2),(2,4),(2,6),(3,3),(3,6)}. Näide 2. Olgu hulgaks kõigi naturaalarvude hulk ning seoseks osahulk hulgas ×, mis koosneb kõikidest paaridest (,), mille korral arv on arvu jagaja. Seega ={(,) ,, | }.
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
Teoreetiline informaatika Kordamisküsimuste vastused Eero Ringmäe 1. Hulkade spetsifitseerimine, tehted hulkadega, hulgateooria paradoksid. Hulk: Korteezh järjestatud lõplik hulk. Hulk mingi arv elemente, mille vahel on leitav seos klassifitseeritud elementide kogum. Hulk samalaadsete objektide järjestamata kogum. Hulga esitamine: elementide loeteluna A = {2;3;4} predikaadi abil A = {x | P(x)} Tühihulk on iga hulga osahulk. Iga hulk on iseenda osahulk. Hulga boleaan kõigi osahulkade hulk. H boleaan on 2H. 2H = {x | x on osahulgaks H-le}. Boleaani võimsus |2H| = 2|H| Tühja hulga boleaani võimsus on 1. Tehted: Hulkade võrdsus = A on B osahulk AND B on A osahulk. Ekvivalentsiseose definitsioon ((A => B) && (B => A)) hulgas sisaldavad samu elemente. Hulga osahulk võib võrduda hulgaga. Hulga pärisosahulk ei või võrduda. Hulkade ühend C = {x | x kuulub A &&
Kõik kommentaarid