ITI Loogika arvutiteaduses
|
|
- Marek Mänd
- 5 aastad tagasi
- Vaatused:
Väljavõte
1 Lauseloogika: Loomulik tuletus Loomuliku tuletuse süsteemid on liik tõestussüsteeme nagu Hilbeti süsteemidki. Neile on omane, et igal konnektiivil on oma sissetoomise (intoduction) ja väljaviimise (elimination) eeglid. Loomuliku tuletuse süsteeme võib esitada mitmel moel, siin vaatame standadesitust (à la Pawitz) ja sekventsiesitust (à la Gentzen). Standadesituse omapäaks on, et eeglite eeldused võivad olla tingimuslikud: esinevad eeglid kujul H H. 1m 1. A 1... B H n1.. H. nmn. A n
2 Siin valemid H 11,..., H 1m 1,..., H n1,..., H nmn on eegli einevate eelduste eeldused (hüpoteesid). Sellise tuletuseegli sisu on, et kui D 1 A 1 valemitehulgast Γ {H 11,..., H 1m 1 } ja... ja on valemi A tuletus D n A n on valemi A D 1 A 1... tuletus valemitehulgast Γ {H n1,..., H nmn }, siis B on valemi B tuletus valemitehulgast Γ. Seega: kasutadaolevad hüpoteesid on tuletuse alamtuletustes einevad. D n A n
3 Lauseloogika loomuliku tuletuse standadesitus: Aksioomiskeeme pole, tuletuseeglid on jägmised: I E (EFQ) A B A I A B B A E L A B B E R Ạ... Ḅ... A A B I L B A B I R A B E Ạ... B A I A B A B B E (MP)
4 Eitust vaadatakse sisuliselt kui eikujulist implikatsiooni ( A = A ): Ạ... A I A A Lisaks on tavis veel üht eeglit (selle äajätmisega saaksime tuletussüsteemi intuitsionistlikule lauseloogikale): E Ạ... A. dil. Altenatiive viimasele eeglile: A A TND A. A RAA A DNE A
5 Nimede seletusi: EFQ: ex falso quodlibet, vääusest mida tahes MP: modus ponens dil.: dilemma TND: tetium non datu, kolmandat pole antud (välistatud kolmanda seadus) RAA: eductio ad absudum, taandamine absudile DNE: double negation elimination
6 Näiteid: +2 p +1 (p q) ( s) p q q q s E L +3 p I L q s p q s E +1 (p q) ( s) I, 2 (p q) ( s) (p q s) s I, 1 s q s E R +4 I E R E, 3, 4 +1 q p q I, 3 +2 q +4 q E E I, 4 q (p q) (q ) I L (p q) (q ) I R Dilemma, 1, 2 (p q) (q )
7 Loomuliku tuletuse sekventsiesituse idee on muuta avepidamine paajasti kasutada olevate hüpoteeside üle ilmutatuks. Tõestatavateks/tuletatavateks objektideks pole mitte valemid, vaid nn sekventsid, so guuid kujul Γ A, kus Γ on lõplik (võibolla tühi) hulk valemeid (NB! hulk, mitte list või multihulk, st jäjestus, kodsus ei loe) ning A on valem. (Hulkade kijutamiseks kasutame lihtsustatud süntaksit: A 1,..., A n tähistab hulka {A 1,..., A n }; Γ, A tähistab hulka Γ {A}.) Sekventsi Γ A tõestatavus on sama, mis valemi A tuletatavus valemihulgast Γ loomuliku tuletuse vaemantud esituses. Valem A loetatakse tõestatavaks, kui on tõestatav sekvents A. Sekventsi A 1,..., A n B võib samastada valemiga A 1... A n B; meenutame, et 0 valemi konjuktsioon on.
8 Sekventsiesituse aksioomiskeemid ja tuletuseeglid: (Paneme tähele, et tingimuslike eeldustega eegleid enam pole.) Γ, A hyp. A Γ I Γ Γ E Γ A Γ B Γ A B Γ A B I E Γ A B Γ L E A Γ R B Γ A Γ A I Γ B L B Γ A I Γ A B Γ, A Γ, B R E B Γ Γ, A B Γ A I Γ A B Γ A E B Γ B Γ, A Γ I Γ A Γ A E A Γ Γ, A Γ, A Γ dil.
9 Lauseloogika: Sekventsiavutus Sekventsiavutused on kolmas altenatiiv tõestussüsteeme Hilbeti süsteemide ja loomuliku tuletuse süsteemide kõval. Neid ei tohi segamini ajada loomuliku tuletuse sekventsiesitustega. Kui loomulikus tuletuses olid igal konnektiivil oma sissetoomise ja väljaviimise eeglid, siis sekventsiavutustes on igal konnektiivil oma paema ja vasaku poole eeglid. Sekventsid on sedapuhku nö mitmejäelduselised: sekvents on guu kujul Γ, kus nii Γ kui ka on lõplikud (võibolla tühjad) hulgad valemeid (taas hulgad, mitte listid või multihulgad, st jäjestus, kodsus ei loe). Valem A loetatakse tõestatavaks, kui on tõestatav sekvents A. Sekventsi A 1,..., A n B 1,..., B m võib samastada valemiga A 1... A n B 1... B m ; meenutame, et 0 valemi konjuktsioon on ja 0 valemi disjunktsioon on.
10 Sekventsiavutuse aksioomiskeemid ja tuletuseeglid (tagasisuunalisele otsimisele häälestatud vesiooni jaoks): Γ, R Γ Γ, R Γ A, Γ B, R Γ A B, Γ, A A, hyp Γ Γ, L Γ, L Γ, A, B Γ, A B L Γ A, B, Γ A B, R Γ, A Γ, B Γ, A B Γ, A B, Γ A B, R Γ A, Γ, B Γ, A B Γ, A Γ A, R Γ A, Γ, A L L L
11 Näiteid: q, p p, hyp. q, p q, hyp. p q, p p, hyp. q, p p q, R q,, p hyp. q, p q, p L p q, p q, p L p q, p q p R (p q) (p q ) p L (p q) (p q ) (p ) R
12 p p, q hyp. q, p q hyp. L p q, p q p q, q, p L p q, q p R p q q p R (p q) ( q p) R hyp. hyp. q, p p,, q, p L p, q q, hyp. p,, q p, q, p p, q, q p, q, p q L R p, q p q p (q ) (p q ) R (p ) ((q ) (p q )) R hyp. L
lcs05-l3.dvi
LAUSELOOGIKA: LOOMULIK TULETUS Loomuliku tuletuse süsteemid on liik tõestussüsteeme nagu Hilberti süsteemidki. Neile on omane, et igal konnektiivil on oma sissetoomise (introduction) ja väljaviimise (elimination)
RohkemITI Loogika arvutiteaduses
Predikaatloogika Predikaatloogika on lauseloogika tugev laiendus. Predikaatloogikas saab nimetada asju ning rääkida nende omadustest. Väljendusvõimsuselt on predikaatloogika seega oluliselt peenekoelisem
RohkemWord Pro - diskmatTUND.lwp
Loogikaalgebra ( Boole'i algebra ) George Boole (85 864) Sündinud Inglismaal Lincolnis. 6-aastasena tegutses kooliõpetaja assistendina. Õppis 5 aastat iseseisvalt omal käel matemaatikat, keskendudes hiljem
RohkemMining Meaningful Patterns
Konstantin Tretjakov (kt@ut.ee) EIO õppesessioon 19. märts, 2011 Nimetuse saladus Vanasti kandis sõna programmeerimine natuke teistsugust tähendust: Linear program (~linear plan) X ülesannet * 10 punkti
RohkemDIGITAALTEHNIKA DIGITAALTEHNIKA Arvusüsteemid Kümnendsüsteem Kahendsüsteem Kaheksandsüsteem Kuueteistkü
DIGITAALTEHNIKA DIGITAALTEHNIKA... 1 1. Arvusüsteemid.... 2 1.1.Kümnendsüsteem....2 1.2.Kahendsüsteem.... 2 1.3.Kaheksandsüsteem.... 2 1.4.Kuueteistkümnendsüsteem....2 1.5.Kahendkodeeritud kümnendsüsteem
RohkemPraks 1
Biomeetria praks 3 Illustreeritud (mittetäielik) tööjuhend Eeltöö 1. Avage MS Excel is oma kursuse ankeedivastuseid sisaldav andmestik, 2. lisage uus tööleht, 3. nimetage see ümber leheküljeks Praks3 ja
RohkemInfix Operaatorid I Infix operaatorid (näiteks +) ja tüübid (näiteks ->) kirjutatakse argumentide vahele, mitte argumentide ette. Näiteks: 5 + 2, 2*pi
Infix Operaatorid I Infix operaatorid (näiteks +) ja tüübid (näiteks ->) kirjutatakse argumentide vahele, mitte argumentide ette. Näiteks: 5 + 2, 2*pi*r^2, Float -> Int Infixoperaatori kasutamiseks prefix-vormis
RohkemHWU_AccountingAdvanced_October2006_EST
10. Kulude periodiseerimine Simulatsioone (vt pt 5) kasutatakse ka juhul, kui soovitakse mõnd saadud ostuarvet pikemas perioodis kulusse kanda (nt rendiarve terve aasta kohta). Selleks tuleb koostada erinevad
RohkemExcel Valemite koostamine (HARJUTUS 3) Selles peatükis vaatame millistest osadest koosnevad valemid ning kuidas panna need Excelis kirja nii, et
Excel2016 - Valemite koostamine (HARJUTUS 3) Selles peatükis vaatame millistest osadest koosnevad valemid ning kuidas panna need Excelis kirja nii, et programm suudaks anda tulemusi. Mõisted VALEM - s.o
RohkemDiskreetne matemaatika I Kevad 2019 Loengukonspekt Lektor: Valdis Laan 20. juuni a.
Diskreetne matemaatika I Kevad 2019 Loengukonspekt Lektor: Valdis Laan 20. juuni 2019. a. 2 Sisukord 1 Matemaatiline loogika 7 1.1 Lausearvutus.................................. 7 1.1.1 Põhimõistete meeldetuletamine....................
RohkemPintsli otsade juurde tegemine Esiteks Looge pilt suurusega 64x64 ja tema taustaks olgu läbipaistev kiht (Transparent). Teiseks Minge kihtide (Layers)
Pintsli otsade juurde tegemine Esiteks Looge pilt suurusega 64x64 ja tema taustaks olgu läbipaistev kiht (Transparent). Teiseks Minge kihtide (Layers) aknasse ja looge kaks läbipaistvat kihti juurde. Pange
RohkemTartu Kutsehariduskeskus IKT osakond Merlis Karja-Kännaste ASUTUSE DOKUMENDIREGISTRI AVALIK VAADE Analüüs Juhendaja Mirjam-Merike Sõmer Tartu 2015
Tartu Kutsehariduskeskus IKT osakond Merlis Karja-Kännaste ASUTUSE DOKUMENDIREGISTRI AVALIK VAADE Analüüs Juhendaja Mirjam-Merike Sõmer Tartu 2015 SISUKORD SISSEJUHATUS... 3 1. VILJANDI LINNAVALITSUSE
Rohkemvv05lah.dvi
IMO 05 Eesti võistkonna valikvõistlus 3. 4. aprill 005 Lahendused ja vastused Esimene päev 1. Vastus: π. Vaatleme esiteks juhtu, kus ringjooned c 1 ja c asuvad sirgest l samal pool (joonis 1). Olgu O 1
RohkemI Generaatori mõiste (Java) 1. Variantide läbivaatamine Generaator (ehk generaator-klass) on klass, milles leidub (vähemalt) isendimeetod next(). Kons
I Generaatori mõiste (Java) 1. Variantide läbivaatamine Generaator (ehk generaator-klass) on klass, milles leidub (vähemalt) isendimeetod next(). Konstruktorile antakse andmed, mis iseloomustavad mingit
RohkemWord Pro - digiTUNDkaug.lwp
/ näide: \ neeldumisseadusest x w x y = x tuleneb, et neeldumine toimub ka näiteks avaldises x 2 w x 2 x 5 : x 2 w x 2 x 5 = ( x 2 ) w ( x 2 ) [ x 5 ] = x 2 Digitaalskeemide optimeerimine (lihtsustamine)
Rohkemlvk04lah.dvi
Lahtine matemaatikaülesannete lahendamise võistlus. veebruaril 004. a. Lahendused ja vastused Noorem rühm 1. Vastus: a) jah; b) ei. Lahendus 1. a) Kuna (3m+k) 3 7m 3 +7m k+9mk +k 3 3M +k 3 ning 0 3 0,
RohkemQUANTUM SPIN-OFF - Experiment UNIVERSITEIT ANTWERPEN
1 Kvantfüüsika Tillukeste asjade füüsika, millel on hiiglaslikud rakendusvõimalused 3. osa: PRAKTILISED TEGEVUSED Elektronide difraktsioon Projekti Quantum Spin-Off rahastab Euroopa Liit programmi LLP
RohkemSkriptimiskeeli, mida ei käsitletud Perl Python Visual Basic Script Edition (VBScript) MS DOS/cmd skriptid Windows PowerShell midagi eksootilisemat: G
Skriptimiskeeli, mida ei käsitletud Perl Python Visual Basic Script Edition (VBScript) MS DOS/cmd skriptid Windows PowerShell midagi eksootilisemat: GIMP Script-Fu 1 Skriptimiskeeli: Perl v1.0 loodud Larry
RohkemWelcome to the Nordic Festival 2011
Lupjamine eile, täna, homme 2016 Valli Loide vanemteadur Muldade lupjamise ajaloost Eestis on muldade lupjamisega tegeletud Lääne-Euroopa eeskujul juba alates 1814 aastast von Sieversi poolt Morna ja Heimtali
RohkemScala ülevaade 1 Meetodid, muutujad ja väärtused. Süntaks 2 Lihtsad tüübid ja väärtused. 3 OOP, case-klassid ja mustrisobitus. 4 Puhta Scala väärtusta
Scala ülevaade 1 Meetodid, muutujad ja väärtused. Süntaks 2 Lihtsad tüübid ja väärtused. 3 OOP, case-klassid ja mustrisobitus. 4 Puhta Scala väärtustamine. 5 Keerulisemad tüübid. 6 Nähtavus, implitsiitsus.
RohkemDiskreetne matemaatika I praktikumiülesannete kogu a. kevadsemester
Diskreetne matemaatika I praktikumiülesannete kogu 2019. a. kevadsemester Sisukord 1 Tingimuste ja olukordade analüüsimine 3 2 Tõesuspuu meetod 5 3 Valemite teisendamine 7 4 Normaalkujud 7 5 Predikaadid
RohkemIMO 2000 Eesti võistkonna valikvõistlus Tartus, aprillil a. Ülesannete lahendused Esimene päev 1. Olgu vaadeldavad arvud a 1, a 2, a 3,
IMO 000 Eesti võistkonna valikvõistlus Tartus, 19. 0. aprillil 000. a. Ülesannete lahendused Esimene päev 1. Olgu vaadeldavad arvud a 1, a, a 3, a 4, a 5. Paneme tähele, et (a 1 + a + a 3 a 4 a 5 ) (a
RohkemKOMISJONI RAKENDUSMÄÄRUS (EL) 2018/ 2019, detsember 2018, - millega kehtestatakse määruse (EL) 2016/ artikli 42 tähenduses
L 323/10 19.12.2018 KOMISJONI RAKENDUSMÄÄRUS (EL) 2018/2019, 18. detsember 2018, millega kehtestatakse määruse (EL) 2016/2031 artikli 42 tähenduses kõrge riskiga taimede, taimsete saaduste ja muude objektide
RohkemFailiotsing: find paljude võimalustega otsingukäsk find kataloog tingimused kataloog - otsitakse sellest kataloogist ja tema alamkataloogidest tingimu
Failiotsing: find paljude võimalustega otsingukäsk find kataloog tingimused kataloog - otsitakse sellest kataloogist ja tema alamkataloogidest tingimused: faili nimi faili vanus faili tüüp... 1 Failiotsing:
RohkemStatistiline andmetöötlus
Biomeetria Kahe arvtuuse ühie käitumie, regressiooaalüüs Lieaare regressiooaalüüs Millal kasutada ja mida äitab? Kasutatakse progoosimaks ühe arvtuuse väärtusi teis(t)e järgi. Rümba hid, EEK/kg ( y ) Regressiooivõrrad:
RohkemMicrosoft Word - Järvamaa_KOVid_rahvastiku analüüs.doc
Töömaterjal. Rivo Noorkõiv. Käesolev töö on koostatud Siseministeeriumi poolt osutatava kohalikeomavalitsuste ühinemist toetava konsultatsioonitöö raames. Järvamaa omavalitsuste rahvastiku arengu üldtrendid
Rohkemraamat5_2013.pdf
Peatükk 5 Prognoosiintervall ja Usaldusintervall 5.1 Prognoosiintervall Unustame hetkeks populatsiooni parameetrite hindamise ja pöördume tagasi üksikvaatluste juurde. On raske ennustada, milline on huvipakkuva
RohkemAntennide vastastikune takistus
Antennide vastastikune takistus Eelmises peatükis leidsime antenni kiirgustakistuse arvestamata antenni lähedal teisi objekte. Teised objektid, näiteks teised antennielemendid, võivad aga mõjutada antenni
RohkemÕppematerjalide esitamine Moodle is (alustajatele) seminar sarjas Lõunatund e-õppega 12. septembril 2017 õppedisainerid Ly Sõõrd (LT valdkond) ja Dian
Õppematerjalide esitamine Moodle is (alustajatele) seminar sarjas Lõunatund e-õppega 12. septembril 2017 õppedisainerid Ly Sõõrd (LT valdkond) ja Diana Lõvi (SV valdkond) Järgmised e-lõunad: 10. oktoober
RohkemVKE definitsioon
Väike- ja keskmise suurusega ettevõtete (VKE) definitsioon vastavalt Euroopa Komisjoni määruse 364/2004/EÜ Lisa 1-le. 1. Esiteks tuleb välja selgitada, kas tegemist on ettevõttega. Kõige pealt on VKE-na
RohkemMatemaatiline analüüs III 1 4. Diferentseeruvad funktsioonid 1. Diferentseeruvus antud punktis. Olgu funktsiooni f : D R määramispiirkond D R selles p
Matemaatiline analüüs III 4. Diferentseeruvad funktsioonid. Diferentseeruvus antud punktis. Olgu funktsiooni f : D R määramispiirkond D R selles paragravis mingi (lõplik või lõpmatu) intervall ning olgu
Rohkem1 / loeng Tekstitöötlus Sisend/väljund Teksti lugemine Sõnad
1 / 16 7. loeng Tekstitöötlus Sisend/väljund Teksti lugemine Sõnad 2 / 16 Sisend/väljund vaikimisi: Termid: read, write?-read(x). : 2+3. X = 2+3.?-write(2+3). 2+3 true. Jooksva sisendi vaatamine: seeing?-
RohkemRühmatöö Moodle is Triin Marandi 2017 oktoober
Rühmatöö Moodle is Triin Marandi 2017 oktoober Kes on kasutanud rühmatööd? Nutitelefonid välja ja hääletama! www.menti.com KOOD: 14 10 00 https://www.mentimeter.com/s/1c1250be4e6b7c4ec7608a4fa6d7d591/3e66049189e0
RohkemE-arvete juhend
E- arvete seadistamine ja saatmine Omniva kaudu Standard Books 7.2 põhjal Mai 2015 Sisukord Sissejuhatus... 3 Seadistamine... 3 Registreerimine... 4 E- arve konto... 5 Vastuvõtu eelistus... 5 Valik E-
RohkemKINNITATUD Tallinna Linnavalitsuse 7. novembri 2001 määrusega nr 118 TALLINNA TÄNAVATE JOOKSVA REMONDI JA LINNA PUHASTAMISE NORMATIIVID 1. Üldsätted 1
KINNITATUD Tallinna Linnavalitsuse 7. novembri 2001 määrusega nr 118 TALLINNA TÄNAVATE JOOKSVA REMONDI JA LINNA PUHASTAMISE NORMATIIVID 1. Üldsätted 1.1 Käesolevad normatiivid sätestavad juhised Tallinna
RohkemKaupmehed ja ehitusmeistrid Selle laiendusega mängimiseks on vajalik Carcassonne põhimäng. Laiendit võib mängus kasutada täielikult või osaliselt ning
Kaupmehed ja ehitusmeistrid Selle laiendusega mängimiseks on vajalik Carcassonne põhimäng. Laiendit võib mängus kasutada täielikult või osaliselt ning seda saab kombineerida teiste Carcassonne laiendustega.
RohkemKursuseprogramm Ainekood: IFI6001 Arvuti töövahendina Maht 5 EAP Kontakttundide maht: 56 Õppesemester: K Eksam Eesmärk: Aine lühikirjeldus: (sh isesei
Kursuseprogramm Ainekood: IFI6001 Arvuti töövahendina Maht 5 EAP Kontakttundide maht: 56 Õppesemester: K Eksam Eesmärk: Aine lühikirjeldus: (sh iseseisva töö sisu kirjeldus vastavuses iseseisva töö mahule)
RohkemATV_esmaspäev
Kursuseprogramm Ainekood: IFI6001 Arvuti töövahendina Maht 5 EAP Kontakttundide maht: 56 Õppesemester: K Eksam Eesmärk: Aine lühikirjeldus: (sh iseseisva töö sisu kirjeldus vastavuses iseseisva töö mahule)
RohkemAndmed arvuti mälus Bitid ja baidid
Andmed arvuti mälus Bitid ja baidid A bit about bit Bitt, (ingl k bit) on info mõõtmise ühik, tuleb mõistest binary digit nö kahendarv kahe võimaliku väärtusega 0 ja 1. Saab näidata kahte võimalikku olekut
RohkemRelatsiooniline andmebaaside teooria II. 6. Loeng
Relatsiooniline andmebaaside teooria II. 5. Loeng Anne Villems ATI Loengu plaan Sõltuvuste pere Relatsiooni dekompositsioon Kadudeta ühendi omadus Sõltuvuste pere säilitamine Kui jõuame, siis ka normaalkujud
Rohkem0.2. MAATRIKSALGEBRAST
V SELEKTSIOONIINDEKSID Kuigi geneetiliste paameetite (päitavuskoefitsiendid, geneetilised koelatsioonikodajad, aetusväätused) hindamiseks eaalsetes, suutes ja väga einevatel sugulusastmetel indiviididest
RohkemProgrammeerimiskeel APL Raivo Laanemets 17. mai a.
Programmeerimiskeel APL Raivo Laanemets 17. mai 2009. a. Sissejuhatus I APL - A Programming Language I Kenneth E. Iverson (1920-2004) I Elukutselt matemaatik I Uuris matemaatilist notatsiooni I 1960 -
RohkemMicrosoft Word - Lisa1 , Eramu piirded _LK1-7_.doc
Lisa 1 Kasutatud sümbolite seletused: Sümbol :Max :Min :Average Seletus Pildil märgitud punkti(sp) temperatuur Pildil märgitud piirkonna (Ar) maksimaalne temperatuur Pildil märgitud piirkonna mnimaalne
RohkemPealkiri
TARTU ÜLIKOOL Arvutiteaduse instituut Informaatika õppekava Siiri Saar Teek predikaatarvutuse väljendamisülesannete lahenduste kontrollimiseks Bakalaureusetöö (9 EAP) Juhendaja: Reimo Palm Tartu 2017 Teek
RohkemFunktsionaalne Programmeerimine
Geomeetrilised kujundid Geomeetriliste kujundite definitsioon: data Shape = Rectangle Side Side Ellipse Radius Radius RtTriangle Side Side Polygon [Vertex] deriving Show type Radius = Float type Side =
RohkemMicrosoft PowerPoint - Mis on EstWin.pptx
Mis on EstWin? Mis on EstWin Lairiba baasvõrgu ehitus asulatesse ja mobiili mastidesse, eesmärgiga luua sideettevõtetele võimalus tarbijatele kiire interneti pakkumiseks EstWin projekti käigus juurdepääsuvõrku
RohkemFRESENIUS ÕPPEKESKUS KIIRJUHEND
FRESENIUS ÕPPEKESKUS KIIRJUHEND SISUKORD 1. Kuidas saan Freseniuse õppekeskuksesse? 03 2. Kuidas sisse logida? 04 3. Mida teha, kui ma ei mäleta oma parooli? 05 4. Mida leian kodulehelt pärast sisselogimist?
RohkemSaksa keele riigieksamit asendavate eksamite tulemuste lühianalüüs Ülevaade saksa keele riigieksamit asendavatest eksamitest Saksa keele riigi
Saksa keele riigieksamit asendavate eksamite tulemuste lühianalüüs 2014 1. Ülevaade saksa keele riigieksamit asendavatest eksamitest Saksa keele riigieksam on alates 2014. a asendatud Goethe-Zertifikat
RohkemHeli Ainjärv
Kohaliku omavalitsuse roll rahvusliku liiklusohutusprogrammi elluviimisel Heli Ainjärv Liiklusohutuse lektor Liiklusseadus 3. Liiklejate turvalisuse tagamine Kohalik omavalitsus korraldab liiklusohutusalase
RohkemOperatsioonisüsteemi ülesanded
Praktikum 2 OPERATSIOONISÜSTEEMIDE MASSPAIGALDUS Operatsioonisüsteemide masspaigaldus Suure arvu arvutisüsteemide korral ei ole mõistlik operatsioonisüsteeme paigaldada manuaalselt. Operatsioonisüsteemide
Rohkemefo03v2pkl.dvi
Eesti koolinoorte 50. füüsikaolümpiaad 1. veebruar 2003. a. Piirkondlik voor Põhikooli ülesannete lahendused NB! Käesoleval lahendustelehel on toodud iga ülesande üks õige lahenduskäik. Kõik alternatiivsed
RohkemMatemaatiline maailmapilt MTMM Terje Hõim Johann Langemets Kaido Lätt 2018/19 sügis
Matemaatiline maailmapilt MTMM.00.342 Terje Hõim Johann Langemets Kaido Lätt 2018/19 sügis Sisukord *** 1 Sissejuhatus 1 1.1 Kursuse eesmärk.................................... 2 1.2 Matemaatika kui keel.................................
RohkemUudiseid k-meride abil bakterite leidmisest [Compatibility Mode]
Uudiseid k-meride abil bakterite leidmisest CLARK: fast and accurate classification of metagenomic and genomic sequences using discriminative k-mers(2015) Rachid Ounit, Steve Wanamaker, Timothy J. Close
Rohkem“MÄLUKAS”
Hiiumaa Arenguseminar 2016 Mälu ja mõtlemine Juhi tähelepanu Tauri Tallermaa 27.oktoober 2016 Edu 7 tunnust Allikas: Anthony Robbins. Sisemine jõud 1. Vaimustus 2. Usk e veendumus 3. Strateegia 4. Väärtushinnangute
RohkemERAELU KAITSE JA RIIGI LÄBIPAISTVUSE EEST VAIDEOTSUS avaliku teabe asjas nr /18/2778 Otsuse tegija Otsuse tegemise aeg ja koht Andmekaitse Inspe
ERAELU KAITSE JA RIIGI LÄBIPAISTVUSE EEST VAIDEOTSUS avaliku teabe asjas nr 2.1.-3/18/2778 Otsuse tegija Otsuse tegemise aeg ja koht Andmekaitse Inspektsiooni peainspektor Elve Adamson 06.11.2018 Tallinnas
RohkemKsirKi käsiraamat
Gael Kleag de Chalendar Nemanja Hirsl Tõlge eesti keelde: Marek Laane 2 Sisukord 1 Sissejuhatus 6 2 KsirKi kasutamine 7 2.1 KsirKi mängimine...................................... 7 2.1.1 Mängu käivitamine.................................
RohkemMicrosoft Word - utt_kits_abiks.rtf
Ute ja kitse kasvatamise toetus Toetust on õigus taotleda äriühingutel, füüsilisest isikust ettevõtjatel ja põllumajandusministri poolt nimetatud põllumajanduslikku haridust andvatel õppeasutustel, kellel
RohkemStandardBooks_versiooni_uuendusWin
Versiooni uuendamine Standard Books 7.2 põhjal Windows 7 või uuemale operatsioonisüsteemile SISUKORD 1. ÜKSIKKASUTAJA VERSIOONI INSTALLEERIMINE...lk 2 2. SERVER/MITMEKASUTAJA VERSIOONI INSTALLEERIMINE.lk
Rohkem1. AKE Ajalise keerukuse empiiriline hindamine
http://kodu.ut.ee/~kiho/ads/praktikum/ 4. PSK Paisksalvestus. Loendamine Mõisteid Paisktabel (Hashtable, HashMap) Paisktabeli kasutamine loendamisülesannetes Paiskfunktsioon, kollisoonid (põrked) Praktikumitööd
RohkemP9_10 estonian.cdr
Registreerige oma toode ja saage abi kodulehelt www.philips.com/welcome P9/10 Eestikeelne kasutusjuhend 2 Ühendage P9 kõlar Bluetooth ühenduse kaudu oma Bluetooth seadmega, nagu näiteks ipadiga, iphone'iga,
RohkemKIIRJUHEND Lugege kiirjuhend enne seadme kasutamist hoolikalt läbi. Kõik tärniga (*) märgitud juhised kehtivad WLAN + 3G mudelitele (Lenovo B6000-H(V)
KIIRJUHEND Lugege kiirjuhend enne seadme kasutamist hoolikalt läbi. Kõik tärniga (*) märgitud juhised kehtivad WLAN + 3G mudelitele (Lenovo B6000-H(V) / Lenovo B8000-H). Tehnilised andmed Mudeli nimetus
RohkemJärelevalvetasutegurite kogumise eesmärgil kasutatavate varade koguväärtuse ja koguriskipositsiooni vormide täitmise juhised
Järelevalvetasutegurite kogumise eesmärgil kasutatavate varade koguväärtuse ja koguriskipositsiooni vormide täitmise juhised Aprill 2019 1 Üldised juhised mõlema vormi täitmiseks 1 Nimi, Rahaloomeasutuse
RohkemVL1_praks6_2010k
Biomeetria praks 6 Illustreeritud (mittetäielik) tööjuhend Eeltöö 1. Avage MS Excel is oma kursuse ankeedivastuseid sisaldav andmestik, 2. lisage uus tööleht (Insert / Lisa -> Worksheet / Tööleht), nimetage
RohkemMatemaatika ainekava 8.klass 4 tundi nädalas, kokku 140 tundi Kuu Õpitulemus Õppesisu Algebra (65 t.) Geomeetria (60 t.) Ajavaru kordamiseks (15 õppet
Matemaatika ainekava 8.klass 4 tundi nädalas, kokku 140 tundi Algebra (65 t.) Geomeetria (60 t.) Ajavaru kordamiseks (15 õppetundi) septembernovember korrastab hulkliikmeid Hulkliige. Tehted liidab, lahutab
Rohkemloogika_kyljend_par2.indd
LOOGIKA ALUSED enn kasak Õpik anti esimest korda välja pdf-raamatuna (2013) Käesolevat väljaannet oluliselt täiendatud ja muudetud Õpiku väljaandmist on toetanud Tartu Ülikool Õpiku kujunduses on kasutatud
RohkemVIRUMAA KOLLEDŽ HARIDUSVALDKOND ARENGUFOORUM: IDA-VIRU Mare Roosileht, TalTech Virumaa kolledži arendusdirektor
VIRUMAA KOLLEDŽ HARIDUSVALDKOND ARENGUFOORUM: IDA-VIRU 2030+ Mare Roosileht, TalTech Virumaa kolledži arendusdirektor 22.11.2018 ÜLEVAADE HARIDUSASUTUSTEST* Haridusvaldkond Haridusasutus Arv Märkused Alusharidus
Rohkem(Microsoft PowerPoint - Kas minna \374heskoos v\365i j\344\344da \374ksi - \334histegevuse arendamise t\344nane tegelikkus Rando V\344rni
Kas minna üheskoos või v i jääj ääda üksi? Ühistegevuse arendamise tänane t tegelikkus Eesti Maaülikool Majandus- ja sotsiaalinstituut Maamajanduse ökonoomika vastutusvaldkonna juht Professor Rando Värnik
RohkemMicrosoft Word - Toetuste veebikaardi juhend
Toetuste veebikaardi juhend Toetuste veebikaardi ülesehitus Joonis 1 Toetuste veebikaardi vaade Toetuste veebikaardi vaade jaguneb tinglikult kaheks: 1) Statistika valikute osa 2) Kaardiaken Statistika
RohkemMicrosoft PowerPoint - Raigo Iling, MKM
Kiire interneti ühenduste ( viimase miili ) rajamise analüüs ja ettepanekud Raigo Iling Sideosakond / nõunik 1.04.2016 Eesti infoühiskonna arengukava 2020 eesmärgid 30 Mbit/s kiirusega interneti kättesaadavus
RohkemPÄRNU TÄISKASVANUTE GÜMNAASIUM ESITLUSE KOOSTAMISE JUHEND Pärnu 2019
PÄRNU TÄISKASVANUTE GÜMNAASIUM ESITLUSE KOOSTAMISE JUHEND Pärnu 2019 SISUKORD 1. SLAIDIESITLUS... 3 1.1. Esitlustarkvara... 3 1.2. Slaidiesitluse sisu... 3 1.3. Slaidiesitluse vormistamine... 4 1.3.1 Slaidid...
Rohkem(10. kl. I kursus, Teisendamine, kiirusega, kesk.kiirusega \374lesanded)
TEISENDAMINE Koostanud: Janno Puks 1. Massiühikute teisendamine Eesmärk: vajalik osata teisendada tonne, kilogramme, gramme ja milligramme. Teisenda antud massiühikud etteantud ühikusse: a) 0,25 t = kg
RohkemProgrammi AnimatorDV Simple+ lühike kasutajajuhend
Programmi AnimatorDV Simple+ esmane kasutusjuhend Programm AnimatorDV Simple+ on mõeldud animatsioonide loomiseks. Tegemist on tasuta tarkvaraga, mis töötab videoseadmetega (videokaamera, veebikaamera).
RohkemCommunication from the Commission
EUROOPA KOMISJON Brüssel, 24.8.2016 COM(2016) 544 final 2013/0141 (COD) KOMISJONI TEATIS EUROOPA PARLAMENDILE, mis on esitatud Euroopa Liidu toimimise lepingu artikli 294 lõike 6 alusel ning milles käsitletakse
RohkemIFI6083_Algoritmid_ja_andmestruktuurid_IF_3
Kursuseprogramm IFI6083.DT Algoritmid ja andmestruktuurid Maht 4 EAP Kontakttundide maht: 54 Õppesemester: K Eksam Eesmärk: Aine lühikirjeldus: (sh iseseisva töö sisu kirjeldus vastavuses iseseisva töö
RohkemNarva Õigeusu Humanitaarkooli õppekava kinnitan erakooli pidaja MTÜ Õigeusu Hariduse Ühing Ülestõusmine. Protokoll 27, a. VALIKAINE VANASLA
VALIKAINE VANASLAAVI KEEL gümnaasiumis 1 VANASLAAVI KEEL ÜLDOSA Vanaslaavikeel gümnaasiumis Vanaslaavi keel (kirikuslaavi keel), on vene keel esialuseks, selle omapäraseks vundamendiks, mille peal põhineb
RohkemEUROOPA KOMISJON Brüssel, COM(2018) 284 final ANNEXES 1 to 2 LISAD järgmise dokumendi juurde: Ettepanek: Euroopa Parlamendi ja nõukogu määru
EUROOPA KOMISJON Brüssel, 17.5.2018 COM(2018) 284 final ANNEXES 1 to 2 LISAD järgmise dokumendi juurde: Ettepanek: Euroopa Parlamendi ja nõukogu määrus, millega kehtestatakse uute raskeveokite CO2-heite
RohkemErasmus+ EESKUJUD ÜHISTE VÄÄRTUSTE EDENDAMINE
Erasmus+ EESKUJUD ÜHISTE VÄÄRTUSTE EDENDAMINE LÖÖGE KAASA > kui olete õpetaja või sotsiaaltöötaja ja sooviksite korraldada oma kogukonnas üritust, kus osaleb mõni eeskujuks olev inimene > kui soovite osaleda
RohkemEGESIF_15_ final 09/02/2016 EUROOPA KOMISJON Euroopa struktuuri- ja investeerimisfondid Suunised liikmesriikidele raamatupidamisarvestuse ettev
EGESIF_15_0018-02 final 09/02/2016 EUROOPA KOMISJON Euroopa struktuuri- ja investeerimisfondid Suunised liikmesriikidele raamatupidamisarvestuse ettevalmistamise, kontrolli ja heakskiitmise kohta VASTUTUSE
RohkemRobomadin 2019 Sumo võistluse reeglid 1. Tutvustus Käesolev dokument sätestab reeglid Mini Sumo, LEGO Sumo ja mbot Sumo robotitele. Reeglid tulenevad
Robomadin 2019 Sumo võistluse reeglid 1. Tutvustus Käesolev dokument sätestab reeglid Mini Sumo, LEGO Sumo ja mbot Sumo robotitele. Reeglid tulenevad Robotexi reeglitest. 2. Robotite klassid Robomadin
RohkemMida me teame? Margus Niitsoo
Mida me teame? Margus Niitsoo Tänased teemad Tagasisidest Õppimisest TÜ informaatika esmakursuslased Väljalangevusest Üle kogu Ülikooli TÜ informaatika + IT Kokkuvõte Tagasisidest NB! Tagasiside Tagasiside
RohkemKuidas kehtestada N&M
Kehtestav suhtlemine Kuidas ennast kehtestada, kui Su alluv on naine/mees? Tauri Tallermaa 15. mai 2019 Suhtlemine Kui inimene suhtleb teise inimesega keele vahendusel, leiab aset miski, mida me mujal
RohkemMicrosoft PowerPoint - VKP_VÜFdial_J_AnnikaUettekanne_VKP_ _taiendatudMU.ppt [Compatibility Mode]
Kuidas arendada kohalikke avalikke teenuseid omavalitsuste ja kodanikuühenduste koostöös? Annika Uudelepp Praxise juhatuse liige, Valitsemise ja kodanikeühiskonna programmi direktor 16.09.2009 Tallinnas
RohkemANDMEKAITSE INSPEKTSIOON Valvame, et isikuandmete kasutamisel austatakse eraelu ning et riigi tegevus oleks läbipaistev ISIKUANDMETE KAITSE EEST VASTU
ANDMEKAITSE INSPEKTSIOON Valvame, et isikuandmete kasutamisel austatakse eraelu ning et riigi tegevus oleks läbipaistev ISIKUANDMETE KAITSE EEST VASTUTAV ISIK Juhend kehtestatakse isikuandmete kaitse seaduse
RohkemTARTU ÜLIKOOL MATEMAATIKA-INFORMAATIKATEADUSKOND Arvutiteaduse instituut Infotehnoloogia eriala Roman Jagomägis Programmeerimiskeel privaatsust säilit
TARTU ÜLIKOOL MATEMAATIKA-INFORMAATIKATEADUSKOND Arvutiteaduse instituut Infotehnoloogia eriala Roman Jagomägis Programmeerimiskeel privaatsust säilitavate rakenduste loomiseks Bakalaureusetöö (4 AP) Juhendaja:
RohkemPICANTO Hinnad ja varustused KIA PICANTO HINNAKIRI Mootor VARUSTUSTASE Käigukast CO₂ emissioon (g/km) Kombineeritud kütusekulu Hind Soodush
Hinnad ja varustused KIA HINNAKIRI 01.11.2018 Mootor VARUSTUSTASE Käigukast CO₂ emissioon (g/km) Kombineeritud kütusekulu Hind Soodushind 1,2 MPI, 84 hj EX Manuaal 119 5,2 11 490 1,2 MPI, 84 hj GT Line
Rohkem(loeng3-ohtlikud_koodiloigud)
#include int main (void) uint8_t arr[] = 0x11, 0x22 uint16_t *ptr; ptr = (uint16_t*)&arr[0]; printf ("arr: 0x%02x, 0x%02x\n", arr[0], arr[1]); printf ("ptr: 0x%04x\n", *ptr); /* vigane pointeri
RohkemDE_loeng5
Digitaalelektroonika V loeng loogikalülitused KMOP transistoridega meeldetuletus loogikalülitused TTL baasil baaslülitus inverteri tunnusjooned ja hilistumine LS lülitus kolme olekuga TTL ja avatud kollektoriga
RohkemKuidas vahetada esimesi suspensiooni vedrusid autol VOLKSWAGEN TOURAN 1
Sooritage asendamine järgnevas järjekorras: 1 Vahetage Volkswagen Touran 1 vedrud paarikaupa. 2 Pingutage seisupiduri hooba. 3 Asetage tõkiskingad tagumiste rataste taha. Lõdvendage ratta kinnituspolte.
RohkemManuals Generator
Sooritage asendamine järgnevas järjekorras: 1 Vahetage vedrud paarikaupa. Pingutage seisupiduri hooba. 2 3 Asetage tõkiskingad tagumiste rataste taha. Lõdvendage ratta kinnituspolte. 4 5 Tõstke esimest
RohkemGRUPI-SMS Veebirakenduse kasutamise juhend Rakendus Elisa grupi-smsi rakendus Väljaandja Elisa Eesti AS Juhendi koostamise kuupäev Versioon
GRUPI-SMS Veebirakenduse kasutamise juhend Rakendus Elisa grupi-smsi rakendus Väljaandja Elisa Eesti AS Juhendi koostamise kuupäev 05.02.2018 Versiooni kuupäev 30.01.2018 1 SISUKORD 1. ÜLEVAADE... 3 1.1
Rohkem(Microsoft Word - T\366\366leht m\365isaprogramm 4-6 kl tr\374kkimiseks.doc)
4-6 KLASS 1 Minu nimi on Ma olen praegu Täna on 1. KÄRNERIMAJA JA LILLED Kirjuta või joonista siia kolm kärneri tööriista Kirjuta siia selle taime nimi, 1. TÖÖRIIST 2. TÖÖRIIST 3. TÖÖRIIST mida istutasid
RohkemMicrosoft PowerPoint - veinikaaritamine
Veini kääritamine Martin Sööt Käärimisprotsessi mõjutavad tegurid Temperatuur ja selle mõju veini kvaliteedile: Käärimine on eksotermiline protsess ja seetõttu eraldub käärimisel soojusenergiat punased
RohkemRuumipõhiste ventilatsiooniseadmete Click to edit toimivus Master title style korterelamutes Alo Mikola Tallinn Tehnikaülikool Teadmistepõhine ehitus
Ruumipõhiste ventilatsiooniseadmete Click to edit toimivus Master title style korterelamutes Alo Mikola Tallinn Tehnikaülikool Teadmistepõhine ehitus 2014 Peamised kortermajade ventilatsiooni renoveerimislahendused!
RohkemLääne-Harju Koostöökogu stateegia veebruar 2018 Kerli Lambing
Lääne-Harju Koostöökogu stateegia 2014-2020 08. veebruar 2018 Kerli Lambing Mis see LEADER lähenemine on? Piirkonnapõhine lähenemine Altpoolt tulev algatus Avaliku ja erasektori partnerlus Uuenduslikkuse
RohkemPowerPoint Presentation
Pakendi taaskasutus jäätmekäitleja pilgu läbi Agu Remmelg Ragn-Sells AS ärijuht 30. november 2005 Teemad Ragn-Sells pakenditeenused 3 viisi pakendi liigitamiseks Kes vastutab? Veo- ja rühmapakend vs müügipakend
Rohkem(Microsoft Word - \334levaade erakondade finantsseisust docx)
Ülevaade erakondade finantsmajanduslikust olukorrast seisuga 31.12.2010 Ülevaate eesmärgiks on kirjeldada erakondade rahalist seisu, mis annab informatsiooni nende tugevusest või nõrkusest, mis omakorda
RohkemDVD_8_Klasteranalüüs
Kursus: Mitmemõõtmeline statistika Seminar IX: Objektide grupeerimine hierarhiline klasteranalüüs Õppejõud: Katrin Niglas PhD, dotsent informaatika instituut Objektide grupeerimine Eesmärk (ehk miks objekte
Rohkem