Denotatsioonsemantika
|
|
- Raivo Täht
- 2 aastad tagasi
- Vaatused:
Väljavõte
1 Denotatsioonsemantika Kristo Heero ATI 2004
2 Denotatsioonsemantika (1) Meid huvitab ainult programmi täitmise efekt, st. assotsiatsioon alg- ja lõppoleku vahel. Defineeritakse semantiline funktsioon iga süntaktilise kategooria jaoks, st. iga süntaktiline konstruktsioon seotakse matemaatilise objektiga (funktsioon, mis kirjeldab konstruktsiooni täitmise efekti). Kristo Heero Denotatsioonsemantika 2
3 Denotatsioonsemantika (1) Semantilised funktsioonid on denotatsioonsemantikas kompositsioonilised, st iga süntaktilise kategooria baaselemendi jaoks on semantiline klausel iga komponeeritud süntaktilise kategooria elemendi jaoks vastab kompositsioonielementide vahetute klauslite kompositsioon. Kristo Heero Denotatsioonsemantika 3
4 Otsestiili semantika Avaldise S täitmise efekt tähendab oleku muutmist. Defineerime semantilise funktsiooni S ds : Stm (State! State) Kristo Heero Denotatsioonsemantika 4
5 While keele denotatsioonsemantika Kristo Heero Denotatsioonsemantika 5
6 S 1 ;S 2 Kristo Heero Denotatsioonsemantika 6
7 if then else (1) Kristo Heero Denotatsioonsemantika 7
8 if then else (2) Kristo Heero Denotatsioonsemantika 8
9 while do while b do S võib esitada avaldisega if b then (S; while b do S) else skip Saame St. Kristo Heero Denotatsioonsemantika 9
10 Näide: while (x = 0) do skip Kristo Heero Denotatsioonsemantika 10
11 while do (2) Kahjuks sellisest while do definitsioonist ei piisa, sest Leidub funktsionaale, millel on enam kui üks püsipunkt Leidub funktsionaale, millel pole üldse püsipunkti Kristo Heero Denotatsioonsemantika 11
12 Näited funktsionaalidest Eelmises näites oleval funktsionaalil on iga funktsioon g s = s, kui s x = 0. Näiteks järgmisel funktsionaalil puudub püsipunkt : Kristo Heero Denotatsioonsemantika 12
13 Nõudmised püsipunktile (1) Kehtestame nõudmised püsipunktile ja näitame, et neile tingimustele vastavaid püsipunkte on ülimalt üks. Ja näitame, et kõik While keele avaldistest pärinevad funktsionaalid omavad neile tingimustele vastavat püsipunkti. Kristo Heero Denotatsioonsemantika 13
14 Nõudmised püsipunktile (2) Vaatame avaldise while b do S täitmist olekus s 0. On kolm võimalust: A: termineerub B: lokaalses lõpmatus tsüklis (S is on tsükkel) C: globaalses lõpmatus tsüklis Uurime, mida saab öelda funktsionaali F ja selle püsipunkti kohta igal antud võimalusel. Kristo Heero Denotatsioonsemantika 14
15 A while lause termineerumine tähendab, et eksisteerivad olekud s 1,..., s n, et Näiteks avaldis: while 0 x do x := x 1, kus x 0 Kristo Heero Denotatsioonsemantika 15
16 A Olgu g 0 funktsionaali F suvaline püsipunkt, st F g 0 = g 0. Kui i < n, siis Kui i = n, siis Seega g 0 s 0 = s n Kristo Heero Denotatsioonsemantika 16
17 B while b do S olekus s 0 lokaalne lõpmatu tsükkel tähendab, et eksisteerivad olekud s 1,..., s n, et Näiteks avaldis: Kristo Heero Denotatsioonsemantika 17
18 B Analoogselt eelmise näitega saame, et kui i < n, siis g 0 s i = g 0 s i+1 kui i = n, siis Seega g 0 s 0 = undef Kristo Heero Denotatsioonsemantika 18
19 C while b do S olekus s 0 globaalne lõpmatu tsükkel tähendab, et eksisteerivad olekud s 1,... nii, et Näiteks avaldis while (x = 0) do skip Kristo Heero Denotatsioonsemantika 19
20 C Analoogselt eelmise näitega saame g 0 s i = g 0 s i+1 iga i 0 korral. Seega saame g 0 s 0 = g 0 s i iga i korral. Antud situatsioonis me ei saa määrata g 0 s 0 väärtust. Eksisteerib palju F püsipunkte. Kristo Heero Denotatsioonsemantika 20
21 C Iga funktsioon g s = s, kui s x = 0 on antud juhul püsipunktiks, kuna avaldisel while (x = 0) do skip on funktsionaal F : Kristo Heero Denotatsioonsemantika 21
22 C Mida me päriselt tahame: Seega meie eelistatud püsipunkt on: Omadus, mis eristab g 0 mõnest teisest F püsipunktist g on see, et ükskõik millal g 0 s = s siis ka g s = s, kuid mitte vastupidi. Kristo Heero Denotatsioonsemantika 22
23 Püsipunkti teooria Püüame anda formaalse tingimuse soovitud püsipunkti FIX F eksisteerimiseks. Kristo Heero Denotatsioonsemantika 23
24 Osaliste funktsioonide järjestus Defineerime järjestuse osalistel funktsioonidel: State! State. Ütleme, et g 1 g 2, kui funktsioon g : State! State jagab oma tulemusi osalise funktsiooniga g 2 : State! State, st kui g 1 s = s, siis g 2 s = s iga valitud s ja s korral. Kristo Heero Denotatsioonsemantika 24
25 Näited Hasse diagramm Kristo Heero Denotatsioonsemantika 25
26 Alternatiivne esitus Ütleme, et g 1 g 2, siis ja ainult siis, kui graph(g 1 ) graph(g 2 ), kus graph(g) = { <x, y> X Y g x = y ja x X g } st. iga g x = y korral <x, y> graph(g) ja g x = undef korral x X g ehk siis y Y : <x, y> graph(g) Kristo Heero Denotatsioonsemantika 26
27 Järjestatud hulk (1) Järjestatud hulgaks nimetame paari (D, on hulk ja on relatsioon hulgal D nii, et D ), kus D d d (refleksiivne) D d 1 d 2 ja d 2 d 3 järeldub d 1 d 3 (transitiivne) D D D d 1 d 2 ja d 2 d 1 järeldub d 1 = d 2 (antisümmeetriline) D D D Kristo Heero Denotatsioonsemantika 27
28 Järjestatud hulk (2) Relatsiooni D nimetatakse järjestuseks hulgal D. asemel võime kirjutada lihtsalt. D Kui kehtib d d iga d D, siis nimetame d hulga D vähimaks elemendiks. Kristo Heero Denotatsioonsemantika 28
29 Järjestatud hulk (3) Fakt: Kui järjestatud hulgal (D, ) on vähim element d, siis d on unikaalne. Ja seda vähimat elementi tähistame lihtsalt (bottom). Kristo Heero Denotatsioonsemantika 29
30 Näide (1) Olgu S mittetühi hulk ja P (S) = {K K S}, siis (P (S), ) on järjestatud hulk, sest on refleksiivne: K K on transitiivne: kui K 1 K 2 ja K 2 K 3 siis K 1 K 3 on antisümmeetriline: kui K 1 K 2 ja K 2 K 1 siis K 1 = K 2 Kristo Heero Denotatsioonsemantika 30
31 Näide (2) Juhul kui S = {a, b, c}, siis saame järgmise diagrammi: Kusjuures (P (S), ) on ka vähim element: Kristo Heero Denotatsioonsemantika 31
32 Lemma: (State! State, ) on järjestatud hulk, kus osaline funktsioon s = undef s korral on State! State vähim element. Kristo Heero Denotatsioonsemantika 32
33 Nõudmisi FIX F-le. FIX F on F püsipunkt, st. F (FIX F) = FIX F FIX F on vähim F püsipunkt, st. kui F g = g, siis FIX F g. Analoogiliselt varem tõestatule, kui F omab vähimat püsipunki g 0, siis see on unikaalne. Nüüd on vaja veel veenduda, et meil esineda võivad funktsionaalid omaksid tõepoolest vähimat püsipunkti. Kristo Heero Denotatsioonsemantika 33
34 Täielikult järjestatud hulgad Olgu järjestatud hulk (D, ) ja Y D. Siis elementi d D, mille korral d Y, d d nimetatakse Y ülemiseks tõkkeks. Y ülemist tõket d nimetatakse ülemiseks rajaks siis ja ainult siis, kui d on Y ülemine tõke ning järeldub d d. Kui Y eksisteerib ülemine tõke, siis see on unikaalne. Kristo Heero Denotatsioonsemantika 34
35 Kui Y eksisteerib ülemine raja, siis seda tähistame Y. Alamhulka Y nimetatakse ahelaks, kui d 1, d 2 Y korral kehtib d 1 d 2 või d 2 d 1. Näited: (P ({a, b, c}), ), siis alamhulk Y 0 = {, {a}, {a, c}} on ahel. {a,b,c} ja {a, c} on Y 0 ülemised tõkked ja {a, c} on vähim. Alamhulk {, {a}, {c}, {a, c}} aga ei ole ahel. Kuid on olemas siiski ülemine raja {a, c}. Alamhulk on ahel ja iga P ({a, b, c}) element on ülemine tõke, kusjuures ülemiseks rajaks on. Kristo Heero Denotatsioonsemantika 35
36 Näide Olgu g n : State! State defineeritud järgmiselt: Ilmneb, et g n g m, kui n m, sest g n on enamatel olekutel defineerimata. Olgu Y 0 = {g n n 0} Siis Y 0 on ahel, kuna g n g m iga n m. Y 0 vähim ülemine tõke on osaline funktsioon: Kristo Heero Denotatsioonsemantika 36
37 Järjestatud hulka (D, ) nimetatakse täielike ahelatega järjestatud hulgaks (chain complete partially ordered set - ccpo), kui iga ahela Y jaoks leidub Y ning nimetatakse täielikuks võreks, kui Y eksisteerib iga D alamhulga Y korral. Kristo Heero Denotatsioonsemantika 37
38 Fakt: Kui (D, ) on ccpo, siis leidub vähim element, mis on antud järgmiselt: =. Lemma: (State! State, ) on ccpo. Ahela Y ülemine raja on antud järgmiselt: graph( Y) = {graph(g) g Y} st. ( Y) s = s siis ja ainult siis, kui g s = s mõne g Y jaoks. Kristo Heero Denotatsioonsemantika 38
39 Monotoonsed funktsioonid Olgu (D, ) ja (D, ) ccpo d ja täielik funktsioon f: D D. Siis funktsiooni f nimetame monotoonseks, kui d 1 d 2 järeldub f d 1 f d 2 iga d 1 ja d 2 valiku korra. Kristo Heero Denotatsioonsemantika 39
40 Näiteid Olgu ccpo d (P ({a, b, c}), ) ja (P ({d, e}), ) siis funktsioon f 1 : P ({a, b, c}) P ({d, e}) kirjeldatud tabelina on monotoonne: Funktsioon f 2 kirjeldatud tabelina ei ole monotoonne: Kristo Heero Denotatsioonsemantika 40
41 Näiteid harjutamiseks Olgu (P (N), ) ccpo ja järgmised funktsioonid P (N) P (N). Millised neist on monotoonsed: Kristo Heero Denotatsioonsemantika 41
42 Monotoonsete funktsioonide omadused Fakt: Olgu (D, ), (D, ) ja (D, ) ccpo d (täielike ahelatega järjestatud hulgad) ja olgu f : D D ja f : D D monotoonsed funktsioonid. Siis f f : D D on ka monotoonne. Kristo Heero Denotatsioonsemantika 42
43 Lemma: Olgu (D, ), (D, ) ccpo d (täielike ahelatega järjestatud hulgad) ja f: D D monotoonne funktsioon. Kui Y on ahel hulgas D, siis {f d d Y} on ahel hulgas D. Ja veelgi enam, kehtib {f d d Y} f ( Y) Kristo Heero Denotatsioonsemantika 43
44 Üldiselt me ei saa loota, et monotoonne funktsioon säilitab ülemise raja {f d d Y} = f ( Y) Näiteks Kristo Heero Denotatsioonsemantika 44
45 Me ütleme, et funktsioon f: D D, mis on defineeritud ccpo del (D, ), (D, ), on pidev, kui ta on monotoonne ja kehtib {f d d Y} = f ( Y) kõigi mittetühjade ahelate Y korral. Kui {f d d Y} = f ( Y) kehtib tühja ahela korral, st. = f, siis funktsiooni f nimetatakse agaraks (strict). Kristo Heero Denotatsioonsemantika 45
46 Näide Vaata lk 40 esimest funktsiooni. See on rangelt pidev. Kristo Heero Denotatsioonsemantika 46
47 Lemma: Olgu (D, ), (D, ) ja (D, ) ccpo d ja olgu f : D D ja f : D D pidevad funktsioonid. Siis f f : D D on ka pidev. Kui antud funktsioonid on ranged, siis ka nende kompositsioon on range. Kristo Heero Denotatsioonsemantika 47
48 Teoreem: Olgu f : D D pidev funktsioon ccpo l (D, ) vähima elemendiga. Siis FIX f = {f n n 0} defineerib D elemendi ja see element on f vähim püsipunkt. Kristo Heero Denotatsioonsemantika 48
49 Otsestiili semantika eksistents Peame veenduma, et tõepoolest defineerib funktsiooni. Selleks peame näitama, et F on pidev. Kristo Heero Denotatsioonsemantika 49
50 Paneme tähele, et F g = F 1 (F 2 g), kus Kuna pidevate funktsioonide kompositsioon on pidev, siis meil on vaja näidata, et F 1 ja F 2 on pidevad. Kristo Heero Denotatsioonsemantika 50
51 Lemma 4.43: Olgu g 0 : State! State, p : State T ja F g = cond(p, g, g 0 ), siis F on pidev. Lemma 4.45: Olgu g 0 : State! State ja F g = g g 0, siis F on pidev. Kristo Heero Denotatsioonsemantika 51
52 Väide: While keele semantilised võrrandid (vt. slaidi 5) defineerivad täieliku funktsiooni S ds : Stm (State State) Kristo Heero Denotatsioonsemantika 52
53 Näide Vaatame faktoriaali lause denotatsioon-semantikat. Rakendame seda olekule s 0, milles x = 3. kus ehk Kristo Heero Denotatsioonsemantika 53
54 Semantiline ekvivalents Ütleme, et laused S1 ja S2 on semantiliselt ekvivalentsed, kui Kristo Heero Denotatsioonsemantika 54
55 Struktuurse- ja denotatsioonsemantika samaväärsus Teoreem: While keele iga lause S korral kehtib Mõlemad semantilised funktsioonid kohal S on State! State. Järjestatud hulga elemendid d1 ja d2 on võrdsed, kui d1 d2 ja d2 d1. Kristo Heero Denotatsioonsemantika 55
56 Seega teoreemi tõestamiseks piisab kahe järgmise lemma tõestamisest: Lemma 4.56: While keele iga lause S korral kehtib Lemma 4.57: While keele iga lause S korral kehtib Kristo Heero Denotatsioonsemantika 56
57 Laiendame While keelt - Proc Toome sisse plokkstruktuuri lokaalsete muutujate ja protseduuride deklaratsioonid Abstraktne süntaks: Kristo Heero Denotatsioonsemantika 57
58 Skoopimine Staatiline (call p täitmine sisemise blokis modifitseerib globaalset muutujat x) Dünaamiline (call p täitmine sisemises blokis modifitseerib lokaalset muutujat x) Kristo Heero Denotatsioonsemantika 58
59 Iga muutujaga seostame unikaalse aadressi (location) ja iga aadressiga seostame väärtuse. Seega senise State asemel, kus muutuja seoti vahetult tema väärtusega, kasutame Store (väärtuste kogum), kus muutuja aadressid on seotud väärtustega ja Env V (muutuja keskkond), kus muutuja on seotud unikaalse aadressiga. Kristo Heero Denotatsioonsemantika 59
60 Aadresside domeen Loc = Ζ Operatsioon järgmise aadressi saamiseks new : Loc Loc Väärtuste kogum, kus next erimärk, milles hoitakse järgmist vaba aadressi. Store = Loc {next} Ζ Muutuja keskkond Env V = Var Loc Kristo Heero Denotatsioonsemantika 60
61 Seega senine olek s = sto env V, seega defineerime funktsiooni: lookup env V sto = sto env V lookup: Env V Store State Nüüd saame kirja panna uue semantilise funktsiooni S ds : S ds : Stm Env V (Store! Store) Kristo Heero Denotatsioonsemantika 61
62 While keele laused S ds ga. Kristo Heero Denotatsioonsemantika 62
63 Muutuja keskkonna uuendamine Muutuja keskkonda uuendatakse iga kord, kui sisenetakse blokki, mis sisaldab lokaalseid muutujaid. Muutuja deklaratsiooni süntaktilise kategooria jaoks võtame selleks otstarbeks kasutusele semantilise funktsiooni: Kristo Heero Denotatsioonsemantika 63
64 võtab argumentideks paari, mis koosneb hetke muutuja keskkonna ja väärtuste kogumi ning tagastab mõlemad uuendatuna. Kristo Heero Denotatsioonsemantika 64
65 Kuni pole protseduure veel kasutusse võetud, võime laiendada semantilist funktsiooni S ds : Kristo Heero Denotatsioonsemantika 65
66 Protseduuri keskkond On täielik funktsioon, mis seob iga protseduuri tema täidetava keha efektiga: Protseduuri keskkonna uuendamiseks kasutame semantilist funktsiooni protseduuri deklaratsioonil: Kristo Heero Denotatsioonsemantika 66
67 Mitterekursiivsete protseduride Kristo Heero Denotatsioonsemantika 67
68 Semantiline funktsioon keeles Proc Kristo Heero Denotatsioonsemantika 68
69 Rekursiivsed protseduurid Kristo Heero Denotatsioonsemantika 69
Matemaatiline 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
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
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
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
Rohkemloeng7.key
Grammatikate elustamine JFLAPiga Vesal Vojdani (TÜ Arvutiteaduse Instituut) Otse Elust: Java Spec https://docs.oracle.com/javase/specs/jls/se8/html/ jls-14.html#jls-14.9 Kodutöö (2. nädalat) 1. Avaldise
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)
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 -
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,
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
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
RohkemTreeningvõistlus Balti tee 2014 võistkonnale Tartus, 4. novembril 2014 Vastused ja lahendused 1. Vastus: 15, 18, 45 ja kõik 0-ga lõppevad arvud. Olgu
Treeningvõistlus Balti tee 014 võistkonnale Tartus, 4. novembril 014 Vastused ja lahendused 1. Vastus: 15, 18, 45 ja kõik 0-ga lõppevad arvud. Olgu b arvu k üheliste number ning a arv, mille saame arvust
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
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:
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....................
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
RohkemMicrosoft Word - Errata_Andmebaaside_projekteerimine_2013_06
Andmebaaside projekteerimine Erki Eessaar Esimene trükk Teadaolevate vigade nimekiri seisuga 24. juuni 2013 Lehekülg 37 (viimane lõik, teine lause). Korrektne lause on järgnev. Üheks tänapäeva infosüsteemide
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
RohkemFunktsionaalne Programmeerimine
Kõrvalefektid ja Haskell Kõik senised programmid on olnud ilma kõrvalefektideta; so. puhtalt funktsionaalsed. Programmi täitmise ainsaks efektiks on tema väartus. Osade ülesannete jaoks on kõrvalefektid
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...
RohkemPHP
PHP Autorid: Aleksandr Vaskin Aleksandr Bogdanov Keelest Skriptikeel skript teeb oma tööd pärast seda, kui toimus mingi sündmus* Orienteeritud programmeerija eesmärkide saavutamiseks (mugavus on tähtsam
Rohkemprakt8.dvi
Diskreetne matemaatika 2012 8. praktikum Reimo Palm Praktikumiülesanded 1. Kas järgmised graafid on tasandilised? a) b) Lahendus. a) Jah. Vahetades kahe parempoolse tipu asukohad, saame graafi joonistada
Rohkem+/- 7(chomsky???) Deduktiivne jama 1.Hulkade spetsifitseerimine. Hulk on samalaadsete objektide järjestamata kogum, mida käsitlet
+/- 7(chomsky???) 17 29 30 31 32 33 34 Deduktiivne jama 1.Hulkade spetsifitseerimine. Hulk on samalaadsete objektide järjestamata kogum, mida käsitletakse kui tervikut.hulka kuuluvaid objekte nim. hulga
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
RohkemTartu Ülikool Matemaatika-informaatikateaduskond Puhta Matemaatika Instituut Algebra õppetool Riivo Must Mõned katsed üldistada inversseid poolrühmi M
Tartu Ülikool Matemaatika-informaatikateaduskond Puhta Matemaatika Instituut Algebra õppetool Riivo Must Mõned katsed üldistada inversseid poolrühmi Magistritöö Juhendaja: prof. Mati Kilp Tartu 2004 Sisukord
RohkemAutomaatjuhtimise alused Automaatjuhtimissüsteemi kirjeldamine Loeng 2
Automaatjuhtimise alused Automaatjuhtimissüsteemi kirjeldamine Loeng 2 Laplace'i teisendus Diferentsiaalvõrrandite lahendamine ilma tarkvara toeta on keeruline Üheks lahendamisvõtteks on Laplace'i teisendus
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.
Rohkemuntitled
Riistvara kirjelduskeel VHDL L4, L5. Riistvara kirjelduskeel VHDL L6. Mäluga süsteemid VHDL-s L7. VHDL ja süntees 1 Atribuudid Atribuut on väärtus, funktsioon, tüüp, vahemik, signaal või konstant, mida
RohkemNeurovõrgud. Praktikum aprill a. 1 Stohhastilised võrgud Selles praktikumis vaatleme põhilisi stohhastilisi võrke ning nende rakendust k
Neurovõrgud. Praktikum 11. 29. aprill 2005. a. 1 Stohhastilised võrgud Selles praktikumis vaatleme põhilisi stohhastilisi võrke ning nende rakendust kombinatoorsete optimiseerimisülesannete lahendamiseks.
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
RohkemAndmebaasid, MTAT Andmebaasikeeled 11.loeng
Andmebaasid, MTAT.03.264 Andmebaasikeeled 11. loeng Anne Villems Eksamiaegade valimine Kas on vaja eksamiaega mai lõpus? I eksami aeg. valikud: 3., 4. või 5. juuni kell 10.00 II eksami aeg. 17. kell 12.00
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
RohkemAWK Aho Weinberger Kernighan struktuurse teksti töötlemise keel rikkalikult tekstitöötlusvahendeid omal alal suhteliselt lihtne ja kiiresti realiseeri
AWK Aho Weinberger Kernighan struktuurse teksti töötlemise keel rikkalikult tekstitöötlusvahendeid omal alal suhteliselt lihtne ja kiiresti realiseeritav AWK kasutusalad raportite genereerimine ühest formaadist
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 =
Rohkem12. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, Algfunktsioon ja määramata integraal Sisukord 12 Algfunktsioon ja määramata integraal 1
2. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, 203-. 2 Algfunktsioon ja määramata integraal Sisukord 2 Algfunktsioon ja määramata integraal 9 2. Sissejuhatus................................... 50 2.2
RohkemMatemaatilised meetodid loodusteadustes. I Kontrolltöö I järeltöö I variant 1. On antud neli vektorit: a = (2; 1; 0), b = ( 2; 1; 2), c = (1; 0; 2), d
Matemaatilised meetodid loodusteadustes I Kontrolltöö I järeltöö I variant On antud neli vektorit: a (; ; ), b ( ; ; ), c (; ; ), d (; ; ) Leida vektorite a ja b vaheline nurk α ning vekoritele a, b ja
Rohkem8.klass 4 tundi nädalas, kokku 140 tundi Hulkliikmed ( 45 tundi) Õppesisu Hulkliige. Hulkliikmete liitmine ja lahutamine ning korrutamine ja jagamine
8.klass 4 tundi nädalas, kokku 140 tundi Hulkliikmed ( 45 tundi) Hulkliige. Hulkliikmete liitmine ja lahutamine ning korrutamine ja jagamine üksliikmega. Hulkliikme tegurdamine ühise teguri sulgudest väljatoomisega.
Rohkemma1p1.dvi
Peatükk 1 Funktsioonid ja nendega seotud mõisted 1.1 Reaalarvud ja Arvtelg. Absoluutväärtuse mõiste. Reaalarvudest koosnevad hulgad. Enne arvu mõiste käsitlemist toome sisse mõned hulkadega seotud tähised.
Rohkem19. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, Arvridade koonduvustunnused Sisukord 19 Arvridade koonduvustunnused Vahelduvat
9. Marek Kolk, Kõrgem matemaatika, Tartu Ülikool, 203-4. 9 Arvridade koonduvustunnused Sisukord 9 Arvridade koonduvustunnused 23 9. Vahelduvate märkidega read.......................... 24 9.2 Leibniz i
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
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
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
RohkemCPA4164 USB 2.0 kõrgekvaliteediline videoadapter KASUTUSJUHEND 1. PEATÜKK - Ülevaade 1.1 Tutvustus CPA4164 USB 2.0 videoadapter võimaldab teil arvutis
CPA4164 USB 2.0 kõrgekvaliteediline videoadapter KASUTUSJUHEND 1. PEATÜKK - Ülevaade 1.1 Tutvustus CPA4164 USB 2.0 videoadapter võimaldab teil arvutisse laadida ja redigeerida erinevatest analoogvideo
RohkemSkriptid ja käsud
TTÜ informaatikainstituut Skriptid ja käsud Skript on Scratchi programmi suhteliselt sõltumatu üksus, mida mõnedes programmeerimiskeeltes nimetatakse protseduurideks või funktsioonideks. Skript on alati
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
RohkemX Window System tuntud kui: X11 X X-Windows akendussüsteem/akendesüsteem rastergraafikat toetavatele ekraanidele UNIX-maailmas väga levinud mitmesugus
X Window System tuntud kui: X11 X X-Windows akendussüsteem/akendesüsteem rastergraafikat toetavatele ekraanidele UNIX-maailmas väga levinud mitmesugused realisatsioonid ka Windowsile erinevad realisatsioonid
RohkemMicrosoft PowerPoint - Andrus Kallastu Muusikaliste parameetrite mudel helilooja töövahendina Tallinn Tropus De profundis
Andrus Kallastu Muusikaliste parameetrite mudeli rakendamisest teose Tropus De profundis näitel Doktoritöö juhendajad Kerri Kotta ja Helena Tulve Eesti Muusika- ja Teatriakadeemia Doktoritöö Muusikaliste
RohkemTARTU ÜLIKOOL Arvutiteaduse instituut Informaatika õppekava Mirjam Iher Nõrgima eeltingimuse staatiline analüüs pinukeeltele Bakalaureusetöö (9 EAP) J
TARTU ÜLIKOOL Arvutiteaduse instituut Informaatika õppekava Mirjam Iher Nõrgima eeltingimuse staatiline analüüs pinukeeltele Bakalaureusetöö (9 EAP) Juhendaja: Juhendaja: Kalmer Apinis, PhD Vesal Vojdani,
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
RohkemSQL
SQL Kuues loeng 3GL inside 4GL Protseduurid Funktsioonid Tavalised Funktsioonid (üks väljund) Ilma väljundita Protseduurid Viitargumentide kasutamise võimalus Tabel-väljundiga Protseduurid Create function
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
RohkemSQL
SQL Teine loeng Mõtelda CREATE TABLE ( { INTEGER VARCHAR(10)} [ NOT NULL] ); Standard SQL-86 (ANSI X3.135-1986), ISO võttis üle 1987 SQL-89 (ANSIX3.135-1989) SQL-92 (ISO/IEC 9075:1992)
RohkemPALMIKRÜHMAD Peeter Puusempa ettekanded algebra ja geomeetria õppetooli seminaril 11., 18. ja 25. jaanuaril a. 1. Palmikud ja palmikrühmad Ajalo
PALMIKRÜHMAD Peeter Puusempa ettekanded algebra ja geomeetria õppetooli seminaril 11., 18. ja 25. jaanuaril 2009. a. 1. Palmikud ja palmikrühmad Ajaloolisi märkmeid 1891 ilmus Adolf Hurwitzi 1 artikkel
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
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.................................
Rohkem10. peatükk Perevägivald See tund õpetab ära tundma perevägivalda, mille alla kuuluvad kõik füüsilise, seksuaalse, psühholoogilise või majandusliku vä
Perevägivald See tund õpetab ära tundma perevägivalda, mille alla kuuluvad kõik füüsilise, seksuaalse, psühholoogilise või majandusliku vägivalla aktid, mis leiavad aset perekonnas. Tunni eesmärgid Teada
Rohkem2016 aasta märtsi tulumaksu laekumine omavalitsustele See ei olnud ette arvatav Tõesti ei olnud, seda pole juhtunud juba tükk aega. Graafikult näeme,
2016 märtsi tulumaksu laekumine omavalitsustele See ei olnud ette arvatav Tõesti ei olnud, seda pole juhtunud juba tükk aega. Graafikult näeme, et märtsis laekus tulumaksu eelmise märtsist vähem ka 2009
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,
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
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
RohkemPeafail3_2.dvi
TARTU ÜLIKOOL ARVUTITEADUSE INSTITUUT Algoritmid ja andmestruktuurid Ülesannete kogu Versioon 3.2 13. märts 2017. a. 09:45 Koostajad: Ahti Peder Jüri Kiho Härmel Nestra Tartu 2017 Käesoleva õppevahendi
RohkemE-õppe tehnoloogiad kõrgkoolis E-learning Technologies in Higher Education MTAT
Interaktiivsusest e-õppes Anne Villems Seneca (4.-56.a. m.a.j.) Mitte sellepärast me ei söanda uusi asju katsetada, et asjad on keerulised, vaid kuna me ei söanda neid katsetada, on nad keerulised. It
RohkemAutomaadid, keeled, translaatorid
Leksiline nluus Leksiline nluus Leksiline nluus kontrolli progrmmi s~onde (literlsumolite) vstvust leksilistele reeglitele ning teisend progrmmi sumolite (tokens) jdks: { eemld tuhisumolid j kommentrid;
RohkemPowerPointi esitlus
Regulaaravaldised ja skriptimine Windows ja UNIX operatsioonisüsteemides WINDOWS 1. slaid Windows käsurida Käsureaks nimetan programme: cmd.exe powershell.exe Nendesse saab kirjutada käske, millega näiteks
RohkemMTAT Operatsioonisüsteemid - Turvalisus
Regulaaravaldised ja skriptimine Windows ja UNIX operatsioonisüstemides WINDOWS 1. slaid Windows käsurida Käsureaks nimetan programme: cmd.exe powershell.exe command.com (tänapäevastes OS ei kasutata)
RohkemEuroopa Liidu Nõukogu Brüssel, 24. september 2015 (OR. en) 12353/15 ADD 2 ENV 586 ENT 199 MI 583 SAATEMÄRKUSED Saatja: Kättesaamise kuupäev: Saaja: Eu
Euroopa Liidu Nõukogu Brüssel, 24. september 2015 (OR. en) 12353/15 ADD 2 ENV 586 ENT 199 MI 583 SAATEMÄRKUSED Saatja: Kättesaamise kuupäev: Saaja: Euroopa Komisjon 23. september 2015 Nõukogu peasekretariaat
Rohkem6. KLASSI MATEMAATIKA E-TASEMETÖÖ ERISTUSKIRI Alus: haridus- ja teadusministri määrus nr 54, vastu võetud 15. detsembril E-TASEMETÖÖ EESMÄRK Tas
6. KLASSI MATEMAATIKA E-TASEMETÖÖ ERISTUSKIRI Alus: haridus- ja teadusministri määrus nr 54, vastu võetud 15. detsembril 2015. E-TASEMETÖÖ EESMÄRK Tasemetööga läbiviimise eesmärk on hinnata riiklike õppekavade
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
RohkemAbiarstide tagasiside 2016 Küsimustikule vastas 137 tudengit, kellest 81 (60%) olid V kursuse ning 56 (40%) VI kursuse tudengid. Abiarstina olid vasta
Abiarstide tagasiside 2016 Küsimustikule vastas 137 tudengit, kellest 81 (60%) olid V kursuse ning 56 (40%) VI kursuse tudengid. Abiarstina olid vastanutest töötanud 87 tudengit ehk 64%, kellest 79 (91%)
RohkemPealkiri on selline
Kuidas keerulisemad alluvad muudaksid oma käitumist, kui juht seda soovib? Jaana S. Liigand-Juhkam Millest tuleb juttu? - Kuidas enesekehtestamist suhtlemises kasutada? - Miks kardetakse ennast kehtestada?
RohkemANOVA Ühefaktoriline dispersioonanalüüs Treeningu sagedus nädalas Kaal FAKTOR UURITAV TUNNUS Mitmemõõtmeline statistika Kairi Osula 2017/kevad
ANOVA Ühefaktoriline dispersioonanalüüs Treeningu sagedus nädalas Kaal FAKTOR UURITAV TUNNUS Factorial ANOVA Mitmefaktoriline dispersioonanalüüs FAKTOR FAKTOR Treeningu sagedus nädalas Kalorite kogus Kaal
RohkemÕppimine Anne Villems, Margus Niitsoo ja Konstantin Tretjakov
Õppimine Anne Villems, Margus Niitsoo ja Konstantin Tretjakov Kava Kuulame Annet Essed ja Felder Õppimise teooriad 5 Eduka õppe reeglit 5 Olulisemat oskust Anne Loeng Mida uut saite teada andmebaasidest?
RohkemEksam õppeainetes "Andmebaasid I" (IDU0220) ja "Andmebaaside projekteerimine" (IDU3381)
Eksam õppeainetes "Andmebaasid I" (IDU0220) ja "Andmebaaside projekteerimine" (IDU3381) 1.Eksamiajad ja registreerumine Eksamiajad "Andmebaasid I" (IDU0220) Kuupäev Kellaaeg Ruum Maksimaalne osalejate
RohkemMOOCi „Programmeerimise alused“ ülesannete lahenduste analüüs
TARTU ÜLIKOOL LOODUS- JA TÄPPISTEADUSTE VALDKOND Arvutiteaduse instituut Informaatika õppekava Helen Hendrikson MOOCi Programmeerimise alused ülesannete lahenduste analüüs Bakalaureusetöö (9 EAP) Juhendaja:
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
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:
RohkemDNS teenus teoorias ja praktikas Autor Siim Adamson ITK Autor: Siim Adamson ITK
DNS teenus teoorias ja praktikas Autor Siim Adamson ITK 2008 1 Ettekande sisukord Ettekanne jaotatud 9 peatükiks: 1.DNS süsteemi ajalugu 2.DNS süsteemi struktuur 3.DNS kirjete tüübid 4.DNS serveri seadistamine
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.
RohkemLisa 2 Maanteeameti peadirektori käskkirjale nr 0250 Kattega riigimaanteede taastusremondi objektide valikumetoodika Maanteeamet Tallinn 20
Lisa 2 Maanteeameti peadirektori 02.07.2013 käskkirjale nr 0250 Kattega riigimaanteede taastusremondi objektide valikumetoodika Maanteeamet Tallinn 2013 0 Sisukord Sisukord... 1 Sissejuhatus... 2 Metoodika
RohkemMTAT Operatsioonisüsteemid - Turvalisus
Regulaaravaldised ja skriptimine Windows ja UNIX operatsioonisüstemides WINDOWS 1. slaid Windows käsurida Käsureaks nimetan programme: cmd.exe powershell.exe command.com Nendesse saab kirjutada käske,
RohkemPealkiri
Andmebaasid II praktikum Andmebaaside administreerimine Andmete sisestamine KESKKOND, KASUTAJAD, ÕIGUSED Mõisted Tabelid, vaated, trigerid, jpm on objektid Objektid on grupeeritud skeemi Skeemid moodustavad
RohkemMicrosoft PowerPoint - loeng2.pptx
Kirjeldavad statistikud ja graafikud pidevatele tunnustele Krista Fischer Pidevad tunnused ja nende kirjeldamine Pidevaid (tihti ka diskreetseid) tunnuseid iseloomustatakse tavaliselt kirjeldavate statistikute
Rohkemloeng2
Automaadid, keeled, translaatorid Kompilaatori struktuur Leksiline analüüs Regulaaravaldised Leksiline analüüs Süntaks analüüs Semantiline analüüs Analüüs Masinkoodi genereerimine Teisendamine (opt, registrid)
RohkemRakenduste loomise ja programmeerimise alused
Rakenduste loomise ja programmeerimise alused VBA. Sissejuhatus Keskkonna seadistamine VBA programmide kasutamiseks MS Office s VBA-d kasutavad MS Office failid (alates MS Office 2007), tuleb salvestada
RohkemAndmebaasid, MTAT loeng Normaalkujud
Andmebaasid, MTAT.03.264 6. loeng Normaalkujud E-R teisendus relatsiooniliseks Anne Villems Meil on: Relatsiooni mõiste Relatsioonalgebra Kus me oleme? Funktsionaalsete sõltuvuse pere F ja tema sulund
RohkemOperatsioonisüsteemide ehitus
Lõimed Ülevaade Lõime mõiste Lõimede mudelid Probleemid lõimedega seoses Pthreads Solarise lõimed Windows 2000 lõimed Linuxi lõimed Java lõimed VARMO VENE & MEELIS ROOS 2 Ühe- ja mitmelõimelised protsessid
RohkemMicrosoft PowerPoint - Proj.LÜ ja Arh.lahendused.ppt [Ühilduvusrežiim]
PROJEKTEERIMISE LÄHTEÜLESANNE ARHITEKTUURSED TEHNILISED LAHENDUSED Andrus Taliaru ANMERI OÜ tel51 35 565 e-mail: anmeri@anmeri.ee Me jueitahasellistvälimustmajale? PROJEKTEERIMINE JA TEHNILINE KONSULTANT
RohkemPortfoolio Edgar Volkov Ehtekunsti eriala 2015
Portfoolio Edgar Volkov Ehtekunsti eriala 2015 Curriculum vitae Edgar Volkov Sündinud 1992 Tallinnas edgar.volkov@hotmail.com Haridus Tallinna Kunstigümnaasium (2009-2012) Eesti Kunstiakadeemia Ehte- ja
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
RohkemAndmeturve
CORBA Sissejuhatus IDL CORBA struktuur Serveri ehitus Objekti adapter Lisateenused MEELIS ROOS 1 CORBA sissejuhatus CORBA Common Object Request Broker Architecture Üldine Objektipäringute Vahendaja Arhitektuur:)
RohkemLITSENTSILEPING Jõustumise kuupäev: LITSENTSIANDJA Nimi: SinuLab OÜ Registrikood: Aadress: Telefon: E-post:
LITSENTSILEPING Jõustumise kuupäev: 01.01.2017 1. LITSENTSIANDJA Nimi: SinuLab OÜ Registrikood: 12750143 Aadress: Telefon: 5210194 E-post: kontakt@sinulab.ee Esindaja: juhatuse liige Eesnimi Perekonnanimi
RohkemAASTAARUANNE
2014. 2018. aasta statistikatööde loetelu kinnitamisel juunis 2014 andis Vabariigi Valitsus Statistikaametile ja Rahandusle korralduse (valitsuse istungi protokolliline otsus) vaadata koostöös dega üle
RohkemMicrosoft PowerPoint - Keskkonnamoju_rus.ppt
Keskkonnakonverents 07.01.2011 Keskkonnamõju hindamine ja keskkonnamõju strateegiline hindamine on avalik protsess kuidas osaleda? Elar Põldvere (keskkonnaekspert, Alkranel OÜ) Kõik, mis me õpime täna,
RohkemLinux süsteemi administreerimine
Protsesside, mälu jm haldamine Linuxi ehitus (struktuur) Lihtsustatult Protsess Multitasking - palju protsesse töötab paralleelselt Tuumas asub protsesside tabel igal protsessil on identifikaator PID igal
RohkemSissejuhatus mehhatroonikasse MHK0120
Sissejuhatus mehhatroonikasse MHK0120 5. nädala loeng Raavo Josepson raavo.josepson@ttu.ee Pöördliikumine Kulgliikumine Kohavektor Ԧr Kiirus Ԧv = d Ԧr dt Kiirendus Ԧa = dv dt Pöördliikumine Pöördenurk
Rohkempkm_2010_ptk6_ko_ja_kontravariantsus.dvi
Peatükk 6 Kovariantsus ja kontravariantsus ehk mis saab siis kui koordinaatideks pole Descartes i ristkoordinaadid 1 6.1. Sissejuhatus 6-2 6.1 Sissejuhatus Seni oleme kasutanud DRK, kuid üldjuhul ei pruugi
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.
Rohkemelastsus_opetus_2013_ptk2.dvi
Peatükk 2 Pinge 1 2.1. Jõud ja pinged 2-2 2.1 Jõud ja pinged Kehale mõjuvad välisjõud saab jagada kahte rühma. 1. Pindjõud ehk kontaktjõud on põhjustatud keha kontaktist teiste kehade või keskkondadega.
Rohkem