lcs05-l3.dvi
|
|
- Rein Juhkam
- 5 aastad tagasi
- Vaatused:
Väljavõte
1 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) reeglid. Loomuliku tuletuse süsteeme võib esitada mitmel moel, siin vaatame standardesitust (à la Prawitz) ja sekventsiesitust (à la Gentzen). Standardesituse omapäraks on, et reeglite eeldused võivad olla tingimuslikud: esinevad reeglid kujul H H 1m1. A 1... B H n1... H nmn. A n 1
2 Siin valemid H 11,..., H 1m1,..., H n1,..., H nmn on reegli erinevate eelduste eeldused (hüpoteesid). Sellise tuletusreegli sisu on, et kui D n D 1 A 1 on valemi A tuletus valemitehulgast Γ {H 11,..., H 1m1 } ja... ja A n on valemi A tuletus valemitehulgast D 1 D n A 1... A n Γ {H n1,..., H nmn }, siis B on valemi B tuletus valemitehulgast Γ. Seega: kasutadaolevad hüpoteesid on tuletuse alamtuletustes erinevad. 2
3 Lauseloogika loomuliku tuletuse standardesitus: Aksioomiskeeme pole, tuletusreeglid on järgmised: I C E (EFQ) A B A B I A B A E L A B B E R A A B I L B A B I R Ạ. A B C C Ḅ. C E Ạ. B A B I A B A B E (MP) 3
4 Eitust vaadatakse sisuliselt kui erikujulist implikatsiooni ( A = A ): Ạ.. A I A A E Lisaks on tarvis veel üht reeglit (selle ärajätmisega saaksime tuletussüsteemi intuitsionistlikule lauseloogikale): Ạ. C Ạ. C C dil. Alternatiive viimasele reeglile: A A TND Ạ.. A RAA A A DNE 4
5 Nimede seletusi: EFQ: ex falso quodlibet, väärusest mida tahes MP: modus ponens dil.: dilemma TND: tertium non datur, kolmandat pole antud (välistatud kolmanda seadus) RAA: reductio ad absurdum, taandamine absurdile DNE: double negation elimination 5
6 Näiteid: +2 p r +1 (p q) (r s) p q q E L +3 p E q s I L q s I, 2 p r q s (p q) (r s) (p r q s) +1 (p q) (r s) r s s I, 1 E R +4 r E q s I R E, 3, q q E +1 q p q I, 3 r E (p q) (q r) I q r I, 4 L (p q) (q r) I R Dilemma, 1, 2 (p q) (q r) 6
7 Loomuliku tuletuse sekventsiesituse idee on muuta arvepidamine parajasti kasutada olevate hüpoteeside üle ilmutatuks. Tõestatavateks/tuletatavateks objektideks pole mitte valemid, vaid nn sekventsid, so figuurid kujul Γ A, kus Γ on lõplik (võibolla tühi) hulk valemeid (NB! hulk, mitte list või multihulk, st järjestus, kordsus ei loe) ning A on valem. (Hulkade kirjutamiseks 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 varemantud 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. 7
8 Sekventsiesituse aksioomiskeemid ja tuletusreeglid: (Paneme tähele, et tingimuslike eeldustega reegleid enam pole.) Γ, A A hyp. Γ I Γ Γ C E Γ A Γ B Γ A B I Γ A B Γ A E Γ A B L Γ B E R Γ A Γ A B I Γ B L Γ A B I Γ A B Γ, A C Γ, B C R E Γ C Γ, A B Γ A B I Γ A B Γ A E Γ B Γ, A Γ A I Γ A Γ A E Γ Γ, A C Γ, A C Γ C dil. 8
9 LAUSELOOGIKA: SEKVENTSIARVUTUS Sekventsiarvutused on kolmas alternatiiv tõestussüsteeme Hilberti süsteemide ja loomuliku tuletuse süsteemide kõrval. Neid ei tohi segamini ajada loomuliku tuletuse sekventsiesitustega. Kui loomulikus tuletuses olid igal konnektiivil oma sissetoomise ja väljaviimise reeglid, siis sekventsiarvutustes on igal konnektiivil oma parema ja vasaku poole reeglid. Sekventsid on sedapuhku nö mitmejärelduselised: sekvents on figuur kujul Γ, kus nii Γ kui ka on lõplikud (võibolla tühjad) hulgad valemeid (taas hulgad, mitte listid või multihulgad, st järjestus, kordsus 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. 9
10 Sekventsiarvutuse aksioomiskeemid ja tuletusreeglid (tagasisuunalisele otsimisele häälestatud versiooni jaoks): Γ, R Γ A, Γ B, Γ A B, Γ, A A, hyp R Γ, 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 10
11 Mõned näited: q, p p, r hyp. q, p q, r hyp. p q r, p p, r hyp. q, p p q, r R q, r, p r hyp. q, p q r, p r L p q, p q r, p r L p q, p q r p r R (p q) (p q r) p r L (p q) (p q r) (p r) R 11
12 p p, q hyp. q, p q hyp. p q, p q L p q, q, p L p q, q p R p q q p R (p q) ( q p) R q r, p p, r hyp. r, q r, p r hyp. p r, q r, p r L p r, q q, r hyp. p r, r, q r hyp. p r, q r, q r L p r, q r, p q r L p r, q r p q r R p r (q r) (p q r) R (p r) ((q r) (p q r)) R 12
ITI Loogika arvutiteaduses
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)
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
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
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
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
RohkemMicrosoft Word - ref - Romet Piho - Tutorial D.doc
Tartu Ülikool Andmetöötluskeel "Tutorial D" realisatsiooni "Rel" põhjal Referaat aines Tarkvaratehnika Romet Piho Informaatika 2 Juhendaja Indrek Sander Tartu 2005 Sissejuhatus Tänapäeval on niinimetatud
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
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
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....................
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,
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-
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
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
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
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
RohkemAktiivtöö. Kuri Muri Teema: viha ja agressiivsus. Toimetulek vihaga. Alateema: eneseanalüüs, vihapäevik. Õpitulemused. Õpilane: oskab ära tunda olukor
Aktiivtöö. Kuri Muri Teema: viha ja agressiivsus. Toimetulek vihaga. Alateema: eneseanalüüs, vihapäevik. Õpitulemused. Õpilane: oskab ära tunda olukorrad, mis tekitavad viha; oskab ära tunda kehalisi reaktsioone,
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
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
RohkemPolünoomi juured Juure definitsioon ja Bézout teoreem Vaadelgem polünoomi kus K on mingi korpus. f = a 0 x n + a 1 x n a n 1 x
1 5.5. Polünoomi juured 5.5.1. Juure definitsioon ja Bézout teoreem Vaadelgem polünoomi kus K on mingi korpus. f = a 0 x n + a 1 x n 1 +... + a n 1 x + a n K[x], (1) Definitsioon 1. Olgu c K. Polünoomi
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:
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
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
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?-
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)
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
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
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
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 =
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
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
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
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
RohkemRuutvormid Denitsioon 1. P n Ütleme, et avaldis i;j=1 a ijx i x j ; kus a ij = a ji ; a ij 2 K ja K on korpus, on ruutvorm üle korpuse K muutujate x 1
Ruutvormid Denitsioon. P n Ütleme, et avaldis i;j= a ijx i x j ; kus a ij = a ji ; a ij K ja K on korus, on ruutvorm üle koruse K muutujate x ;;x n suhtes. Maatriksit =(a ij ) nimetame selle ruutvormi
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:
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...
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.................................
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
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
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
RohkemHäälestusutiliit Kasutusjuhend
Häälestusutiliit Kasutusjuhend Autoriõigus 2007, 2008 Hewlett-Packard Development Company, L.P. Windows on Microsoft Corporationi USAs registreeritud kaubamärk. Käesolevas dokumendis sisalduvat teavet
RohkemArcGIS Online Konto loomine Veebikaardi loomine Rakenduste tegemine - esitlus
PILVI TAUER Tallinna Tehnikagümnaasium ArcGIS Online 1.Konto loomine 2.Veebikaardi loomine 3.Rakenduste tegemine - esitlus Avaliku konto loomine Ava ArcGIS Online keskkond http://www.arcgis.com/ ning logi
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
RohkemMatemaatiline analüüs IV 1 3. Mitme muutuja funktsioonide diferentseerimine 1. Mitme muutuja funktsiooni osatuletised Üleminekul ühe muutuja funktsioo
Matemaatiline analüüs IV 1 3. Mitme muutuja funktsioonide diferentseerimine 1. Mitme muutuja funktsiooni osatuletised Üleminekul üe muutuja funktsioonidelt m muutuja funktsioonidele, kus m, 3,..., kerkib
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)
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
RohkemSügis 2018 Kõrgema matemaatika 2. kontrolltöö tagasiside Üle 20 punkti kogus tervelt viis üliõpilast: Robert Johannes Sarap, Enely Ernits, August Luur
Sügis 2018 Kõrgema matemaatika 2. kontrolltöö tagasiside Üle 20 punkti kogus tervelt viis üliõpilast: Robert Johannes Sarap, Enely Ernits, August Luure, Urmi Tari ja Miriam Nurm. Ka teistel oli edasiminek
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
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
RohkemTARTU ÜLIKOOL LOODUS- JA TÄPPISTEADUSTE VALDKOND ARVUTITEADUSE INSTITUUT Lauri Kongas Turvaauk CVE Referaat aines Andmeturve MTAT Õpp
TARTU ÜLIKOOL LOODUS- JA TÄPPISTEADUSTE VALDKOND ARVUTITEADUSE INSTITUUT Lauri Kongas Turvaauk CVE-2016-0778 Referaat aines Andmeturve MTAT.03.134 Õppejõud: Meelis Roos Tartu 2016 OpenSSH OpenSSH hõlmab
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?
RohkemMicrosoft PowerPoint - BPP_MLHvaade_juuni2012 (2)
Balti pakendi protseduur MLH kogemus Iivi Ammon, Ravimitootjate Liit Ravimiameti infopäev 13.06.2012 Eeltöö ja protseduuri algus Päev -30 MLH esindajad kolmes riigis jõuavad arusaamani Balti pakendi protseduuri
Rohkem(Microsoft PowerPoint - seminar_6_n\365uded-ainemudel tagasiside.ppt [Compatibility Mode])
Tarkvara projekt seminar VI Eelmise iteratsiooni tagasivaade, testimine, installatsioonijuhend, järgmise iteratsiooni näited. Karel Kravik Administratiivset:protestid Probleem: protestide hulk ja kvaliteet
RohkemDevilink PR Pistikuga relee Paigaldusjuhend EE
Devilink PR Pistikuga relee Paigaldusjuhend EE devireg 550 22.0 22.0 devireg 550 1. Kasutamine Devilink PR Devilink PR (Pistikuga relee) on seade kütteseadmete või muude elektriseadmete sisse/välja lülitamiseks
RohkemMicrosoft Word - essee_CVE ___KASVANDIK_MARKKO.docx
Tartu Ülikool CVE-2013-7040 Referaat aines Andmeturve Autor: Markko Kasvandik Juhendaja : Meelis Roos Tartu 2015 1.CVE 2013 7040 olemus. CVE 2013 7040 sisu seisneb krüptograafilises nõrkuses. Turvaaugu
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
RohkemEesti keele võõrkeelena olümpiaadi lõppvoor 2013 Kõik ülesanded on siin lühendatult. Valikus on küsimusi mõlema vanuserühma töödest. Ülesanne 1. Kirju
Eesti keele võõrkeelena olümpiaadi lõppvoor 2013 Kõik ülesanded on siin lühendatult. Valikus on küsimusi mõlema vanuserühma töödest. Ülesanne 1. Kirjuta sõna vastandsõna ehk antonüüm, nii et sõna tüvi
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
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 - HOTSEC kasutusjuhend v1.900.docx
HOTSEC Tarkvara kasutusjuhend v. 1.9 1 Sisukord Käivitamine:... 3 Programmi kasutamine... 4 Kasutajate lisamine ja eemaldamine:... 6 Jooksev logi:... 9 Häired:... 9 2 HOTSEC põhioperatsioonide kirjeldus
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
RohkemVL1_praks2_2009s
Biomeetria praks 2 Illustreeritud (mittetäielik) tööjuhend Eeltöö 1. Avage MS Excel is oma kursuse ankeedivastuseid sisaldav andmestik (see, mida 1. praktikumiski analüüsisite), 2. nimetage Sheet3 ümber
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
RohkemPIDEVSIGNAALIDE TÖÖTLEMINE
5. Lõpliku siirdega filtrid (I) SIGNAALITÖÖTLUS II Loegumaterjal 5 (I/II) Toomas uube I filter omab lõpliku pikkusega diskreetset impulsskaja hi iltri väljudsigaal y o kovolutsioo impulsskajast ja diskreetsest
RohkemSotsiaalministri 17. septembri a määrus nr 53 Tervise infosüsteemi edastatavate dokumentide andmekoosseisud ning nende säilitamise tingimused ja
Sotsiaalministri 17. septembri 2008. a määrus nr 53 Tervise infosüsteemi edastatavate dokumentide andmekoosseisud ning nende säilitamise tingimused ja kord Lisa 2 Statsionaarse epikriisi andmekoosseis
RohkemEID TARKVARA (v.1812 baasil)
EID tarkvara ülevaade V.18.12 baasil Dokumendi info Loomise aeg 21.01.2019 Tellija RIA Autor Urmas Vanem, OctoX Versioon 19.01 Versiooni info Kuupäev Versioon Muutused/märkused 21.01.2019 19.01/1 Avalik
RohkemPraks 1
Biomeetria praks 6 Illustreeritud (mittetäielik) tööjuhend Eeltöö 1. Avage MS Excel is oma kursuse ankeedivastuseid sisaldav andmestik, 2. lisage uus tööleht, nimetage see ümber leheküljeks Praks6 ja 3.
RohkemMTAT Loeng 11 ( )
Reageerimisaeg. Otsingud tekstis, andmebaasis ja multimeedias. Professionaalsed otsingu liidesed. Visualiseerimine (1/37) Reageerimisaeg (2/37) Reageerimisaeg ja selle mõjud Reageerimisaeg Sekundite arv,
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,
RohkemMicrosoft PowerPoint - Mart2.ppt
Üldindeksi järjestuse tutvustamine ja põhjendamine Mart Uba Biomeetria sektor mart.uba@jkkeskus.ee Üldindeksi arvutamine Sobivaks üldindeksi mudeliks kõrge elupäevatoodanguga lehmade eluajatoodangu suurendamiseks
RohkemBIOMEHHAANILINE TAUST- PÕHIPRINTSIIBID
BIOMEHHAANILINE TAUST - PÕHIPRINTSIIBID HOIA LIIGESED NEUTRAALSES ASENDIS Siis on lihased lõdvestunud ja saavad paremini töötada Lihaste, liigeste ja kõõluste stressi põhjustavad: kokkupigistatud käed
Rohkem3D mänguarenduse kursus (MTAT ) Loeng 3 Jaanus Uri 2013
3D mänguarenduse kursus (MTAT.03.283) Loeng 3 Jaanus Uri 2013 Teemad Tee leidmine ja navigatsioon Andmete protseduuriline genereerimine Projektijuhtimine Tee leidmine Navigatsiooni võrgustik (navigation
RohkemEUROOPA LIIDU NÕUKOGU Brüssel, 15. mai 2008 (22.05) (OR. en) 9192/08 Institutsioonidevaheline dokument: 2008/0096 (CNB) UEM 110 ECOFIN 166 SAATEMÄRKUS
EUROOPA LIIDU NÕUKOGU Brüssel, 15. mai 2008 (22.05) (OR. en) 9192/08 Institutsioonidevaheline dokument: 2008/0096 (CNB) UEM 110 ECOFIN 166 SAATEMÄRKUSED Saatja: Euroopa Komisjoni peasekretär, allkirjastanud
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
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
Rohkem7 KODEERIMISTEOORIA 7.1 Sissejuhatus Me vaatleme teadete edastamist läbi kanali, mis sisaldab müra ja võib seetõttu moonutada lähteteadet. Lähteteade
7 KODEERIMISTEOORIA 7.1 Sissejuhatus Me vaatleme teadete edastamist läbi kanali, mis sisaldab müra ja võib seetõttu moonutada lähteteadet. Lähteteade kodeeritakse, st esitatakse sümbolite kujul, edastatakse
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
RohkemAjaveeb-veebileht.pptx
Inoftehnoloogia ja koostöö Ajaveeb ehk blog Ka veebipäevik, weblog - sisaldab perioodiliselt lisatavaid postitusi, mis on pööratud kronoloogilises järjekorras Ajaveeb võib olla avalik (nähtav kõigile lugejatele)või
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
RohkemEuroopa Liidu Teataja L 109 Eestikeelne väljaanne Õigusaktid 60. aastakäik 26. aprill 2017 Sisukord II Muud kui seadusandlikud aktid MÄÄRUSED Komisjon
Euroopa Liidu Teataja L 109 Eestikeelne väljaanne Õigusaktid 60. aastakäik 26. aprill 2017 Sisukord II Muud kui seadusandlikud aktid MÄÄRUSED Komisjoni rakendusmäärus (EL) 2017/716, 10. aprill 2017, millega
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).
Rohkem