9. Mis on n-mõõtmeline Boole’i ruum? Boole’i ruum on kõigi n-järguliste kahendvektorite hulk võimsusega (| | ). 10. Tuua näide võrreldavatest kahendvektoritest. 00010 < 00110 11. Tuua näide mittevõrreldavatest kahendvektoritest. Mittevõrreldavad vektorid on 10 ja 01. 12. Kas erinevate pikkustega kahendvektorid võivad olla võrreldavad? Omavahel saab võrrelda ainult võrdsete pikkustega vektoreid. Loogikafunktsioonid ja loogikaavaldised 1. Mis on loogikaalgebra? Loogikaalgebra on Boole’i algebra erijuht, kus alushulgaks on kaheelemendiline hulk {0,1}. 2. Millest loogikaalgebra koosneb? Loogikaalgebra koosneb loogikaväärtuste hulgast {0,1}, millele on defineeritud 3 elementaarset loogikatehet: unaarne tehe inversioon (¯) ja binaarsed tehted konjunktsioon (∧) ja disjunktsioon (∨). 3. Mis on loogikamuutuja? Muutuja x on loogikamuutuja, kui ta saab omandada üksnes väärtusi {0 1} 4
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. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷↔𝑸 on nagu 𝑃→𝑄 ja samal ajal ka 𝑄→𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem
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. Loogiline liitmine ehk disjunktsioon ehk VÕI-tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷 ↔ 𝑸 on nagu 𝑃 → 𝑄 ja samal ajal ka 𝑄 → 𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem. Kui A on valem, siis valemid on ka 𝐴̅ ja (A). Kui A ja B on valemid, siis on valemid ka 𝐴 ∧ 𝐵, 𝐴 ∨ 𝐵, 𝐴 → 𝐵, 𝐴 ↔ 𝐵.
KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . Vastus 1 kõige esimesena tehakse loogikaavaldises INVERSIOON Vastus 2 ...selle järel järgmisena tehakse KONJUNKTSIOON Vastus 3 ...ja viimasena tehakse DISJUNKTSIOON Küsimus 4 Õige Hinne 1,00 / 1,00 Loogikatehetel on olemas võõrsõnalised nimetused. Vastus 1 Loogiline lahutamine on pole olemas sellist tehet! Vastus 2 Loogiline liitmine on disjunktsioon Vastus 3 Loogiline korrutamine on konjunktsioon Vastus 4
Diskreetse Matemaatika alla kuuluvad: Formaalsete esituste ainus otstarve on nendes sisalduv info hiljem jälle verbaalseks (ehk mõnda lingvistilisse keelde) tagasi "üles lugeda" — Hulgad: Hulgaalgebra (Cantori algebra), Hulgaaritmeetika (taastada). — Loogika: Lausearvutus, Predikaatarvutus, Tõestusmeetodid Mistahes formaalne esitus peab olema üheselt tõlgendatav! — Loogikaalgebra (Boole'i algebra) — Loogikafunktsioonid: minimeerimine, normaalkujud . . . — Algebralised struktuurid: "mitteformaalne" ≡ "verbaalne" (sünonüümid) Fundamentaalalgebrad: Võred, Rühmad, Ringid, Korpused
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
disjunktsioonide konjunktsioon saadakse tõeväärtustabeli 0de piirkonnast Küsimus 3 Õige - Hinne 1,00 / 1,00 kas järgnev väide on õige või vale? 4-mõõtmeline Boole'i ruum on kõikide 4-järguliste 2ndvektorite hulk. Vali üks: Tõene Väär Küsimus 4 Õige - Hinne 6,00 / 6,00 vali sobivad väljendid, mille korral lause on õige: Täielikult määratud loogikafunktsioon on kõikjal määratud ühene vastavus Küsimus 5 Õige - Hinne 1,00 / 1,00 sisesta lünka õige sõna: on üksik algterm või algtermide disjunktsioon. Elementaardisjunktsioon Küsimus 6 Õige - Hinne 1,00 / 1,00 sisesta õige vastus arvuna: Mitu rida on 4-muutuja loogikafunktsiooni tõeväärtustabelis? Vastus: 16 Küsimus 7 Õige - Hinne 1,00 / 1,00
Mark 1.00 out of 1.00 Select one: True False Question 2 Mitu 2-muutuja loogikafunktsiooni on olemas ? Correct (sisesta õige arv) Mark 1.00 out of 1.00 Answer: 16 Question 3
Diskreetne matemaatika KODUTÖÖ SISUKORD SISUKORD..........................................................................................1 ÜLESANNE 1 LOOGIKAFUNKTSIOON......................................................3 ÜLESANNE 2 TÕEVÄÄRTUSTABEL..........................................................3 ÜLESANNE 3 MINIMAALSED NORMAALKUJUD........................................3 3.1 MDNK KARNAUGH’ KAARDIGA.......................................................................3 3.2 MKNK MCCLUSKEY MEETODIGA.....................................................................4 3.3 VÕRDLUS.............................................................
Hulga A võimsus on n. Leida kõikvõimalike antirefleksiivsete suhete arv; kõikvõimalike sümmeetriliste suhete arv. 6 Antud kõigi sõnade hulk S tähestikus A. Sõna v on sõna w prefiks, kui eksisteerib sõna uS nii, et w = vu. Näidata, et suhe „sõna v on sõna w prefiks“ on osalise järjestuse suhe hulgal S. ALGEBRAD JA ALGEBRALISED SÜSTEEMID. Algebra on süsteem A = < M,S >, kus M on algebra alushulk (objektide hulk) ja S on algebra signatuur (operatsioonide hulk). Näiteks < 2 A , ,, ) on algebra, mille alushulgaks on hulga A astmehulk ning signatuuriks tuntud hulgateoreetilised tehted (täiend, ühend ja ühisosa). Vastavalt tehetes osalevate operandide arvule määratakse signatuuri tüüp, mis on antud näites määratud vektoriga (1,2,2). Põhimõisted Grupoid - lihtsaim algebra < M, >, kus on 2-kohaline operatsioon.
Leida P1 · P2 ja P1 + P2 · Hulga A võimsus on n. Leida kõikvõimalike antirefleksiivsete suhete arv; kõikvõimalike sümmeetriliste suhete arv. · Antud kõigi sõnade hulk S tähestikus A. Sõna v on sõna w prefiks, kui eksisteerib sõna uS nii, et w = vu. Näidata, et suhe ,,sõna v on sõna w prefiks" on osalise järjestuse suhe hulgal S. ALGEBRAD JA ALGEBRALISED SÜSTEEMID. Algebra on süsteem A = < M,S >, kus M on algebra alushulk (objektide hulk) ja S on algebra signatuur (operatsioonide hulk). Näiteks < 2 A , , , ) on algebra, mille alushulgaks on hulga A astmehulk ning signatuuriks tuntud hulgateoreetilised tehted (täiend, ühend ja ühisosa). Vastavalt tehetes osalevate operandide arvule määratakse signatuuri tüüp, mis on antud näites määratud vektoriga (1,2,2). Põhimõisted · Grupoid - lihtsaim algebra < M, · >, kus · on 2-kohaline operatsioon. · Parempoolne ühikelement e : mM (m · e = m).
Kahe muutuja loogikafunktsioonid,Karnaugh,McCluskey Mitu erinevat 1muutuja loogikafunktsiooni on olemas? 4 erinevat. Tabel lk 174 Milline on ainus oluline 1muutuja loogikafunktsioon? Inversioon Kuidas võib nimetada 0 muutuja loogikafunktsiooni? Konstant 1 või konstant 0 Mitu erinevat 2muutuja loogikafunktsiooni on olemas? 16, tabel lk 175-176 Millised 2muutuja funktsioonid sõltuvad mõlemast oma muutujast? F1,f2,f4,f6,f7,f8,f9,f11,f13,f14 Milline erinevus on implikatsioonil ja pöördimplikatsioonil? Implikatsioonil on x1-x2 seos, pöördimplikatsioonil vastupidi, x2-x1 Mis on Pierce´i nool? F8, on disjunktsiooni inversioon ja esitatakse märgiga pierci nool. Vt lk 177 Mis on Shefferi kriips? F14, on konjuktsiooni inversioon ja esitatakse ka märgiga shefferi kriips, vt lk 177
Tallinna Tehnikaülikool Diskreetne Matemaatika KODUTÖÖ Olga Dalton 104493 IAPB11 Tallinn 2010 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number on 104493 Ühtede piirkonna määramiseks saadud 16-nd arv on 28DD194D Seega on ühtede piirkond f(x1,x2,x3,x4) = (1,2,4,8,9,13)1 Määramatuspiirkonna määramiseks saadud 16-nd arv on 2675BD7 Määramatuspiirkond on seega f(x1,x2,x3,x4) = (5,6,7,11) Seega on matriklinumbrile 104493 vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses: f(x1..x4) = (1,2,4,8,9,13)1 (5,6,7,11)_ 2
Eesti Infotehnoloogia Kolledž Digitaalloogika ja Digitaalsüsteemid KODUTÖÖ Tallinn 2013 Sisukord Sisukord.................................................................................................................. 2 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon......................4 1.1 — sisestada lahtrisse oma matriklinumber...................................................4 1.2 — lülitada kalkulaator ümber 16ndsüsteemile (Hex).....................................4 1.3 — kalkulaatoris näidatava 16ndarvu 7-ga korrutamiseks vajutada järjest * ja 7 ning järgnevalt võrdusmärki = korduvalt, kuni näidatav 16ndarv kasvab 7- kohaliseks:.........................................................................................
Eesti Infotehnoloogia Kolledz Digitaalloogika ja digitaalsüsteemid KODUTÖÖ Märt Erik EIK10040050 Rühm A22 Tallinn 2005 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Tehes calculator'iga nõutud ja vajalikud tehted on minu matriklinumbrile 10040050 vastav 4- muutuja loogikafunktsioon oma numbrilises 10ndesituses: f ( x1 x2 x3 x4 ) = ( 0,1,2,5,12,13)1 ( 4,6,9,11) - 2. Kirjutada välja oma matriklinumbrist leitud osaliselt määratud 4- muutuja loogikafunktsiooni tõeväärtustabel. X1 X2 X3 X4 Y 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Kristjan Keskküla 093540 IASB Tallinn 2009 ÜLESANNE 1 Leida oma martiklinumbrile vastav 4-muutuja loogikafunktsioon f(x1, x2, x3, x4) = (2,4,8,9,14,15) (6,11,13) _ (järgnevalt kui funktsioon) 1 ÜLESANNE 2 Leida MDNK ja MKNK, mis sobiksid martiklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks Kuna minu martiklinumber on paarisarvuline leian: MKNK Karnaugh' kaardiga ja MDNK McCluskey' meetodiga. 1) Leian MKNK Karnaugh' kaardiga MKNK leidmiseks joonestan Karnaugh' kaardi, kuhu kannan peale funktsiooni 1d, 0d ja määramatused.
T Karnaugh' kaartide topoloogia 2muutuja Karnaugh' kaart on tabel mõõtmetega 2 2 (või 1 4) ruutu ; 3muutuja Karnaugh' kaart on tabel mõõtmetega 2 4 = 8 ruutu ; 4muutuja Karnaugh' kaart on tabel mõõtmetega 4 4 = 16 ruutu ; e h n ik a t või i 6 - muutuja Karnaugh' kaart v ut Karnaugh' kaartide põhiomadused r 2 - muutuja 3 - muutuja 4 - muutuja Karnaugh' kaart Karnaugh' kaart Karnaugh' kaart A Karnaugh' kaardil on 2 põhiomadust.
Loogikaalgebra ( Boole'i algebra ) Kasutusel on ka alternatiivseid tehtemärke: & ~ + Ü George Boole (1815 — 1864) Inversiooni esitatakse mõnes allikas ka ülakomaga: ¯ x'
MDNK ja MKNK leidmised on teineteisest sõltumatud ja nad võib leida 10 1 0 0 1 10 1 0 0 1 ükskõik kumbas järjekorras. Leiame esimesena MDNK konstantsed muutujad 1-de kontuurile vastav ! DNK saadakse alati loogikafunktsiooni 1de piirkonnast ! vaadeldavas kontuuris elementaarkonjunktsioon Kontuuride valimise reeglid x 3 x4 x1 x 2 00 01 11 10 x 3 x4 x1 x 2 00 01 11 10 f ( x1 x2 x3 x4 ) = ¯1 x2 x3
Tallinna Tehnikaülikool Diskreetne Matemaatika KAUGÕPE KODUTÖÖ 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumber: 184974 7-kohaline 16-nd süsteemi arv: 3C81C42 Ühtede piirkond: f(x1 x2 x3 x4) = (1,2,3,4,8,12)1 9-kohaline 16-nd süsteemi arv: 5111DDC6E Määramatuspiirkond: f(x1 x2 x3 x4) = (5,6,13,14)_ Nullide piirkond: 0,7,9,10,11,15 Minu funktsioon: f(x1 x2 x3 x4) = (1,2,3,4,8,12)1 (5,6,13,14)_ 2. Esitada oma loogikafunktsiooni tõeväärtustabel x1 x2 x3 x4 0000 0 0001 1 0010 1 0011 1 0100 1 0101 -
Tallinna Tehnikaülikool Diskreetne matemaatika KODUTÖÖ Mina Ise 132456 IADB?? Tallinn 2019 ÜLESANNE 1 LOOGIKAFUNKTSIOON Leian oma matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumbri 5 viimast numbrit: 93656 Matriklinumber kuueteistkümnendsüsteemis: 2F478 Seitsmekohaline arv: 3F58CC8 Üheksakohaline arv: 54DFF9FF8 Ühtede piirkond: 3, 5, 8, 12 ( C16 ), 15 ( F16 )/ 0011, 0101, 1000, 1100, 1111 Määramatuspiirkond : 4, 9, 13 ( D16 ) / 0100, 1001, 1101 0-de piirkond : 0, 1, 2, 6, 7, 10 ( A16 ), 11 ( B16 ), 14 ( E16 ) / 0000, 0001, 0010, 0110, 0111, 1010, 1011, 1110 𝒇(x(x1,x2,x3,x4) = ∑ ( 3, 5, 8, 12, 15 )1 ( 4, 9, 13 )_
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 argumendi korral(konjunktsioon, disjunktsioon, implikatsioon, ekvivalents). Unaarne tehe on tehe, mida saab rakendada üksikule argumendile/operandile(inversioon). Ekvivalents on kahepoolne implikatsioon. Elementaarsed loogikatehted on inversioon, konjunktsioon, disjunktsioon, kuna nende abil saab esitada kõik teised tehted.
......................7 1.12. Aritmeetilised operatsioonid kahendsüsteemis.......................................................8 1.12.1. Positiivsete arvude liitmine..............................................................................8 1.12.2 Algebraline liitmine pöörkoondis.....................................................................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade.......................................................................10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid.....................................
......................7 1.12. Aritmeetilised operatsioonid kahendsüsteemis.......................................................8 1.12.1. Positiivsete arvude liitmine..............................................................................8 1.12.2 Algebraline liitmine pöörkoondis.....................................................................8 1.12.3. Algebraline liitmine täiend koodis...................................................................8 2.1. Loogikafunktsioon ja loogika seade....................................................................... 10 2.2. Ühe argumendi loogikafunktsioonid.......................................................................10 2.3. Kahe argumendi loogikafunktsioonid.....................................................................11 2.4. Loogikaseadused.....................................................................................................12 Loogikaelemendid....................................
......................................................................................................... 18 4.1 Dioodelement JA......................................................................................................... 18 4.2 Transistorelement EI ehk inverter................................................................................ 19 4.3 TTL (transistor-transistor loogika) JA-EI...................................................................... 19 4.4 MOP loogika................................................................................................................ 20 4.5 n-MOP loogika............................................................................................................. 20 4.6 Komplementaarne MOP loogika.................................................................................. 20 5 Kombinatsioonseadmete süntees...................................................................................... 22
2. Lausearvutuse tehted. Tehete järjekord. Lausearvutuse valem. [1] Tehted o Eitus (märk ¬). Igapäevakeeles väljendab eitus lause mittekehtimist, näiteks „Lehis ei ole okaspuu“. Selle lause võib kirja panna valemiga ¬A, kus A = „Lehis on okaspuu“. o Konjunktsioon (märk &) tähendab seost „ja“. Näiteks „Puhub tuul ja sajab vihma“ on valemkujul A & B. o Disjunktsioon (märk ∨) väljendab seost „või“. Näiteks „Helen laulab või Mart laulab“ on valemkujul A ∨ B. Sidesõna „või“ kasutatakse siin mittevälistavas tähenduses: „Kas A või B või mõlemad“. Igapäevases keeles on käibel ka välistav „või“: „Kas A või B, 1 aga mitte mõlemad“, näiteks „Ma külvan põllule rukist või panen põllule kartulid“.
nt {0n1n | n>0 } vt üleval. Lõpliku magasinmäluga automaadi poolt aktsepteeritav keel on kontekstivaba. KV keelte hulk ongi see hulk keeli, mida pinuautomaadid aktsepteerivad. 12 Ühe olekuga pinuautomaatide ja Greibachi mõttes normaliseeritud KV-grammatikate ekvivalentsus. Teoreem: Iga pinuautomaadi M jaoks leidub ühe olekuga M′, nii et nad aktsepteerivad samu keeli. T: teeme palindroome (aiassadassaia) aktsepteeriva automaadi, kogu olekute loogika on asendatud magasini panemise ja sealt võtmise loogikaga. Teoreem: Ühe olekuga pinuautomaadi M jaoks leidub KV grammatika G, nii et L(M)=L(G). DEF: KV grammatika on Greibachi normaalkujul, kui tema produktsioonid on kujul A→aA1A2…An või A→a (muu on tühi sõne) või kujul S → ε, kui keelde L (G) peab kuuluma ka tühi sõne. Iga KV grammatika on teisendatav Greibachi normaalkujule. T: 1) grammatika peab olema Chomsky nk-l. 2) mitteterminaalid nimetatakse ümber A1-ks, A2-ks jne
ning nende esitusviisid 1.2.1. Loogikatehted Loogikalülituste projekteerimine, talitlus ja selle analüüs põhineb loogikaalgebral (Boole'i algebra). Muutujatel saab siin olla ainult kaks väärtust 0 - väär ja 1 - tõene. Seepärast nimetatakse seda loogikat ka binaarloogikaks. Loogilisi muutujaid tähistatakse ladina tähestiku tähtedega. Sõltumatuid muutujaid (sisendeid) nimetatakse argumentideks, neist sõltuvaid muutujaid aga funktsioonideks. Loogikafunktsiooni kõik argumendid on loogilised muutujad, millel on kaks väärtust 0 ja 1. Kõiki loogikafunktsioone väljendavad kolm põhitehet: loogiline korrutamine, loogiline liitmine ja loogiline eitus. Loogiline korrutamine (NING). NING-funktsioon on võrdne ühega ainult juhul, kui kõik argumendid on võrdsed ühega. Tehte tähistamiseks kasutatakse nii harilikku korrutus- märki ( • ) kui ka loogilise korrutamise eritähist - katust ( ∧ ). Loogilist korrutamist nimetatakse ka konjunktsiooniks.
34. Funktsiooni kasvamine ja kahanemine 35. Funktsiooni lokaalsed ekstreemumid 36. Funktsiooni suurim ja v¨ahim v¨a¨artus antud l~oigul 37. Funktsiooni graafiku kumerus ja n~ogusus. K¨aa¨nupunktid 38. Funktsiooni graafiku as¨ umptoodid 39. Algfunktsioon ja m¨aa¨ramata integraal 40. Integraalide tabel 2 41. M¨aa¨ramata integraali omadusi 42. Integreerimine muutuja vahetusega 43. Ositi integreerimine 44. Osamurrud ja nende integreerimine 45. Ratsionaalse murru lahutamine osamurdudeks 46. M~onede trigonomeetriliste funktsioonide klasside integreerimine 47. Irratsionaalavaldiste integreerimine 48. M¨aa¨ratud integraali m~oiste 49. M¨aa¨ratud integraali omadused 50. M¨aa¨ratud integraali arvutamine. Newton-Leibnizi valem 51. Muutuja vahetus m¨aa¨ratud integraalis 52. Ositi integreerimine (m¨aa¨ratud integraali korral) 53
Süntaksanalüüs on keele transleerimisprotsessi esimene osa Tr: L1 L2 Edasi tuleb töömahukas sünteesi osa semantiline analüüs. Atribuutgrammatika: Keele semantiline piirkond D objektide hulk, millega tegeleb. Semantika analüüsimiseks tuleb keelele seada vastavusse tema semantiline piirkond. : L D Semantilise piirkonna kirjeldamiseks semantilised muutujad hulgast X = {x1,x2,..}, millest igaühel on domeen piirkonnas D. Seega on muutuja xi jaoks võimalike väärtuste hulk D(xi) alamhulgaks D-le. Iga semantilise muutuja väärtuste hulk on osaliselt järjestet ja sisaldab tühiväärtuse NULL. määramiseks kasutatakse formalismi nimega atribuutgrammatika: AG = (G,A,R) on struktuur, kus G = (,N,P,S) on KV grammatika A: V P(X) on G terminaalide ja mitteterminaalide hulga atribuutide hulk R = Rp (reegel iga produktsiooni kohta) semantikareeglite pere Eeldame, et iga süboli (term, mitteterm) atrib hulk on lõplik.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Mudeli mõiste. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Matemaatiliste mudelite liigitus ja elemendid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Matemaatilise mudeli struktuur ja sisu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2. FUNKTSIOONID JA NENDE ALGEBRA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Arvud ja nende hulgad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Funktsionaalne sõltuvus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Astendamine. Polünoomid. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
· seletada olemasolevaid teadmisi; · saada uusi teadmisi olemasolevate põhjal. Ratsionaalne mõtlemine on järjekindel ja reeglipärane (ehk loogiline) mõtlemine. See võib olla korrigeeritud kogemusega, mille allikaks peetakse tegelikkust. Eesmärgiks on sageli tegelikkusega kohanemine. Irratsionaalne mõtlemine võib olla nt · preloogiline (müüdiline) · superloogiline (müstiline). Ratsionaalse mõtlemise seaduspärasusi ja vorme uurib loogika. Kreekakeelse sõna lÒgoj (logos) tähendusi: üleslugemine, arveteõiendus, õigustamine, suhe, proportsioon seletamine, tõestamine, mõistus, aruanne, esitlemine, (tõsi)lugu, lausung, sõna, väljend; õpetus; filosoofias: inimmõtlemine ja kõnelemine, teaduslik ratsionaalsus. Sõna ,,loogika" levinud tähendusi: · seaduspärasus maailmas, sündmuste loogika; · seaduspärasus mõtetes, mõtlemise loogika;
...............................................................................89 Objektorienteeritud maailm................................................................................................... 89 Mida selle kursusel õpetatakse? Esimese astme materjalid on jaotatud 12-ks teemaks, millega kaasnevad ülesanded harjutamiseks. Nendeks teemadeks on: 1. Suurem sissejuhatav sõnavõtt ehk 'Milleks on vaja programmeerimist?' 2. Põhimõisted: andmetüüp, väärtus, konstant, muutuja, identifikaator, võtmesõna, operand, operaator. Omistamise lause. 3. Aritmeetiline ja loogiline avaldis. 4. Standardprotseduurid andmete sisestamiseks ja väljastamiseks. 5. Tingimuslause. Suunamislause. Valiklause. 6. Struktuursed andmetüübid: jada, massiiv, kirje, fail. 7. Määratud kordus. Eelkontrolliga kordus. Järelkontrolliga kordus. 8. Viitmuutuja. Arvuti mälu paindlik kasutamine. 9. Alamprogrammid. Protseduur ja funktsioon. 10