Punktiülesanne 2. Võrrelda pildi sisu ja valikute toimimist üldisuse kvantori definitsiooniga
|
|
- Malle Raag
- 3 aastad tagasi
- Vaatused:
Väljavõte
1 Punktiülesanne 2 Võrrelda pildi sisu ja valikute toimimist üldisuse kvantori definitsiooniga Kahest valikust ühe sisu on üldisuse kvantoriga lause. Kui t tähistab ajamomenti, siis positiivse valiku korral toimib: t(käivitatakseie(t) Küsida t ). Aga negatiivse valiku korral ei toimi selle lause eitus, vaid: t(käivitatakseie(t) Küsida t ).
2 Loeng 4 Predikaatloogika põhiseadused (järg) Kvantorite ja lausearvutuse tehetega soetud tõestamistaktikad
3 Predikaatloogika põhiseadused 1. xa x x A(x), xa x x A x. 2. x A x &B x xa x & xb(x), x A x B x xa x xb(x). 3. x A B x A xb x, x A B x A xb(x) (kus on &, või (aga mitte ~)) 4. x A x B xa x B, x A x B xa x B. 5. xa x ya y, xa x ya y (kus A(x) ei sisalda muutujat y) 6. x ya x, y y xa x, y, x ya x, y y xa x, y. 7. x ya x, y y xa x, y on samaselt tõene 8. xa x xb x x A x B x, x A x &B x xa x & xb(x) on samaselt tõesed. 9. xa x A t, A t xa x, xa x xa x on samaselt tõesed (kus t ei sisalda valemis A seotud muutujaid)
4 Tehete avaldamine predikaatloogika valemites Teor. 1. Järgmised kvantorist ja tehetest koosnevad hulgad on piisavad, et leida iga predikaatloogika valemi jaoks loogiliselt samaväärne valem:,, &,,,,,,,,, &,,,,,,. Tõestus: leiduvad lausearvutuse ja predikaatarvutuse samaväärsused ülejäänud tehete/kvantorite elimineerimiseks. Teoreemi kasutatakse juhtude arvu vähendamiseks induktiivsetes jm tõestustes.
5 Prefikskuju Def. Predikaatarvutuse valem A on prefikskujul, kui A = Q 1 x 1 Q n x n B(x 1, x n, y 1, y m ), kus Q 1,,Q n on kvantorid ja valem B ei sisalda kvantoreid. Teor. 2. Iga predikaatarvutuse valemi jaoks leidub temaga loogiliselt samaväärne prefikskujul valem. Tõestus. On olemas samaväärsused kvantorite välja toomiseks eituse ja binaarsete lausearvutuse tehete alt (vajadusel võib binaarse tehte ühes argumendis muutujaid ümber nimetada). Näide: xa x ~ xb(x) Rakendus: automaattõestamise süsteemides viiakse valemid prefikskujule ja siis asendatakse kvantorid nn Skolemi funktsioonidega
6 Veel mõned tõestused
7 5. Loogikal baseeruvad tõestustaktikad Räägime nüüd tõestuse otsimisest. Täpsemini sellest, milliseid tõestamise taktikaid pakub loogika: kuidas eelduse või väite peatehe ütleb meile ette võimaliku järgmise sammu teoreemi tõestuses. Peale siin vaadeldavate on olemas ka teisi üldisi tõestamise võtteid (näiteks lemma sissetoomine ja induktsioon), aga ka tõestamise taktikaid, mida pakuvad konkreetsed teadaolevad teoreemid (näiteks kolmnurkade kongruentsuse tunnused).
8 Teoreemi üldkuju Tavaliselt on matemaatikas teoreemid sellisel kujul: Kui on täidetud eeldused A 1,, A n, siis kehtib väide B. Mõnikord nad pole küll seose kui, siis abil sõnastatud, aga neid saab sellisele kujule ümber sõnastada. Kasutades järeldumise märki, võib tüüpilise teoreemi üles kirjutada nii: A 1,, A n B (1) Meenutame, et valemitest A 1,, A n järeldub valem B parajasti siis, kui valem A 1 & &A n B on samaselt tõene. St komad mängivad siin konjunktsiooni rolli ja järeldumise märgile vastab implikatsioon. Avaldisi kujul (1) nimetatakse loogikas ka sekventsideks.
9 Mis on tõestus Tõestus on tekst, kus sammude kaupa liikudes jõutakse arusaamiseni, et teoreem kehtib. Kui tekst esitatakse eeldustest alates järeldumise järjekorras, siis igal sammul esitatakse 1) järjekordne väide, 2) millistest eelmistest väidetest ta järeldub, 3) millise tuletusreegli, teoreemi, samasuse vms põhjal ta neist järeldub. Kui sammul esitatav väide on aksioom või varem teadaolev teoreem, siis osad 2) ja 3) seisnevad ainult päritolule viitamises
10 A 1,, A n B (1) Tavaliselt me mõtleme tõestustest nii, et seal tehakse sammsammult järeldusi eeldustest ja juba tõestatud väidetest, kuni on näidatud, et väide kehtib. Eelduste rollis saab kasutada ka valdkonna aksioome ja varem tõestatud teoreeme Tegelikult me aga teisendame mõnel sammul ka väidet ja asendame mingi kujul (1) oleva sekventsi tõestamise mingi(te) teis(t)e sekventsi(de)te tõestamisega. Tõestuse käigus võidakse lisaks algsetele eeldustele A 1,,A n kasutusele võtta teisi teadaolevaid fakte, mille kehtimist me tohime järgmistel sammudel kasutada.
11 Taktikate leidmiseks vaatame läbi loogilised seosed: kvantorid, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents, eitus. Iga loogilise seose jaoks uurime, kuidas saab 1) tõestada väidet, milles see seos on peatehteks, 2) kasutada eeldust, milles see seos on peatehteks. Loogiliste seostega seotud taktikad võimaldavad saada tõestust otsides suure osa samme rutiinselt (automaatselt). Lühemates tõestustes on tavaliselt 0-2 mitterutiinset sammu, kus tuleb midagi muud peale loogikaseostest tulenevate teisenduste välja mõelda/meelde jätta).
12 Liikumissuund - osavalemitele Meie poolt siin vaadeldavad tõestustaktikad lihtsustavad valemeid. Nad asendavad vaadeldava valemi tema osavalemi(te)ga, jättes ära välimise tehte/kvantori. See tähendab, et pärast lõplikku arvu samme on meil lootus jõuda atomaarsete valemiteni, mille korral on selge, kas miski millestki järeldub. Reaalselt õpikutes, artiklites jm esinevates tõestustes tehakse tihti korraga paar ühetehtelist sammu.
13 Väide kujul xb(x) Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n xb(x) Tavaline üldisuse kvantoriga väite tõestamise esimene samm on selline: Tähistagu a suvalist interpretatsiooni kandja elementi. Piisab, kui tõestame A 1,, A n B(a) Siinjuures tähendab a suvalisus seda, et eeldustes A 1,, A n ei ole a kohta midagi väidetud. Fikseeritud interpretatsiooniga tegeledes me ei kasuta sõnu interpretatsiooni kandja element, vaid ütleme Olgu a suvaline naturaalarv/reaalarv/tasandi punkt /...
14 Eeldus kujul xa(x) Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n 1, xa(x) B (1) Kui tõestuses on vaatluse all mingi term t, siis üldisuse kvantoriga eeldusest saab järeldada, et väide A kehtib ka t kohta st (1) tõestamiseks võime tõestada A 1,, A n 1, A(t) B Märkus. Üldisuse kvantoriga eelduse võib ka alles jätta (kui teda edaspidi veel vaja on).
15 Väide kujul xb(x) Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n xb(x) Teoreemi saab tõestada sellise taktikaga: Valime interpretatsiooni kandja sellise elemendi b, mille korral kehtib B(b), ja tõestame, et kehtib A 1,, A n B(b) Olenevalt olukorrast võib b olla valitud mingi konstandi, muutuja või avaldise kujul. Tihti ei saa sellist sammu tõestuses esimesena teha, sest on vaja teada sellist elementi/avaldist, mille korral B(b) on tõene.
16 Eeldus kujul xb(x) Tõestatav teoreem on kujul A 1,, A n 1, xa(x) B Kui xa(x) on tõene, siis tingimust A rahuldav element leidub. Tähistame ta c -ga ja asendame eelduse xa(x) eeldusega A(c). Seega: piisab, kui tõestame A 1,, A n 1, A(c) B Siinjuures peab c olema uus tähis. Ta ei tohi esineda teistes eeldustes ega väites B.
17 Väide kujul B&C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n B&C Teoreemi saab tõestada sellise taktikaga: Tõestame A 1,, A n B ja A 1,, A n C
18 Eeldus kujul B&C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n 1, B&C D Konjunktsiooni tõesusest järeldub konjunktsiooni liikmete tõesus. Seega piisab, kui tõestame A 1,, A n 1, B, C D
19 Väide kujul B C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n B C Teoreemi tõestamiseks piisab, kui näitame, et eeldustest järeldub B või eeldustest järeldub C, st A 1,, A n B või A 1,, A n C Tavaliselt ei saa väites olevat disjunktsiooni asendada ühe liikmega kohe tõestuse alguses, sest kumbki disjunktsiooni liige ei järeldu eeldustest. Näiteks kui meil on tegemist lausearvutuse valemitega, siis kehtib küll C B B C, aga B ega C kumbki ei järeldu eeldustest. Kui aga ka eeldused sisaldavad disjunktsioone, siis jaguneb tõestus harudeks, kus väites oleva disjunktsiooni saab asendada sobiva liikmega.
20 Eeldus kujul B C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n 1, B C D Piisab, kui tõestame, et kehtivad: A 1,, A n 1, B D ja A 1,, A n 1, C D Kui kehtivad teised eeldused ja disjunktsioon B C, siis kehtib ka vähemalt üks lausetest B ja C ning vastavast eelduste komplektist järeldub D.
21 Siin lõppes 1. märtsi loeng, järgmiste slaidide sisuga jätkatakse 8. märtsil
22 Punktiülesanne 4
23 Väide kujul B C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n B C Teoreemi saab tõestada sellise taktikaga: Piisab, kui eeldame, et kehtib ka B, ja tõestame C, st võime teoreemi tõestamiseks tõestada A 1,, A n, B C
24 Eeldus kujul B C Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n 1, B C D Sellist eeldust/fakti saame kasutada siis, kui meil on teada, et implikatsiooni eeldus B on täidetud. Siis saame kasutada, et kehtib ka C. Oluline näide: Me teame paljusid juba tõestatud teoreeme. Tavaliselt on nad samuti implikatsiooni/järeldumisseose kujul: Eeldused Väide. Mingit teoreemi saame oma tõestuses kasutada siis, kui oleme näidanud, et selle teoreemi eeldused on täidetud.
25 Väide kujul B Vaatleme olukorda, kus tõestatav teoreem on kujul A 1,, A n B Eituse tõestamise levinuim võte on vastuolule viimine. Eeldatakse vastuväiteliselt, et lisaks eeldustele kehtib ka B. Tõestatakse, et siis saab mingi väite C jaoks tõestada, et kehtivad C ja C, st piisab, kui tõestame mingi C jaoks A 1,, A n, B C ja A 1,, A n, B C Millise väite C abil me vastuolu tekitame, tuleb igal korral eraldi otsustada.
26 Eeldus kujul B Tõestatav teoreem on kujul A 1,, A n 1, B C Eeldus B tähendab, et me teame, et B on väär. Mingi väite väärus annab meile tavaliselt üsna vähe informatsiooni. Tüüpiline eitusega eelduse tekkimise/kasutamise koht on vastuväiteline tõestus, kui teoreemi väide on ilma eituseta. Siis vastuväiteline oletus tähendab eitusega eelduse tekkimist vastuolu tõestamisel, sest me asendame A 1,, A n B tõestamise vastuolu tõestamisega: A 1,, A n, B C ja A 1,, A n, B C
27 Teoreem vastuväitelisest tõestusest Teoreem. Teoreemi P Q tõestamiseks piisab, kui tõestame Q P. See teoreem järeldub triviaalsest lausearvutuse samaväärsusest Q P P Q Teoreemi võib kirja panna sellise sekventsina: Q P P Q
28 Väide kujul B C Tõestatav teoreem on kujul A 1,, A n B C Ekvivalentsi tõestamiseks tõestatakse tavaliselt kaks implikatsiooni: A 1,, A n B C ja A 1,, A n C B
29 Eeldus kujul B C Tõestatav teoreem on kujul A 1,, A n 1, B C D Ekvivalentsi kehtimist kasutatakse kahel viisil: 1) Ekvivalentsist võime järeldada mõlemasuunalised implikatsioonid, st ekvivalentsiga sekventsi tõestamiseks on piisav tõestada sekvents A 1,, A n 1, B C, C B D 2) Kui tõestuses esineb üks valemitest B ja C, siis võime ta asendada teisega.
30 Kvantoriga väidete tõestamine ja ümberlükkamine Väite xb(x) tõestamiseks piisab, kui esitame sobiva muutuja väärtuse a ja tõestame, et kehtib B(a). Väite xb(x) tõestamiseks peame tõestama, et B(a) kehtib vaadeldava hulga iga elemendi a korral. Näited ei tõesta väite xb(x) kehtimist! Väite xb(x) ümberlükkamiseks peame tõestama, et kehtib x B(x). Näited ei lükka väidet xb(x) ümber! Väite xb(x) ümberlükkamiseks piisab nn kontranäitest: esitame sobiva muutuja väärtuse a ja tõestame, et kehtib B(a). xb(x) x B(x) xb(x) x B(x)
31 Teoreemide kasutamisest tõestustes Tõestustes kasutatakse peale teoreemi eeldustena kirja pandud väidete ka teadaolevaid teoreeme. See, milliseid väiteid saab mingis tõestuses teadaolevate faktidena kasutada, sõltub kontekstist: mis on juba teada ja mis mitte. Teadusartiklis võib kasutada kõiki teaduslikus kirjanduses avaldatud teoreeme. Kui pole tegemist õpikuteoreemidega, siis peab viitama allikale. Loengus saab kasutada kursuses juba esitatud teoreeme. Mõnikord kasutatakse ka kursuses tõestamata väiteid, viidates kirjandusele. Eksami sooritaja peab peale kursuses olevate üksikute teoreemide teadma ka seda, kuidas aine sisu on üles ehitatud ja mitte kasutama hilisemaid teoreeme varasemate põhjendamiseks. Praktikumi/kontrolltöö ülesannete puhul tavaliselt fikseeritakse, mida võib kasutada.
Diskreetne 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....................
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
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
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 - 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)
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.................................
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
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
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
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
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,
Rohkemlcs05-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)
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
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
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
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
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
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
RohkemITI 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)
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
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
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
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
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
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
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
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
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
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?-
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
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
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
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
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.
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
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:
RohkemMicrosoft PowerPoint - Loodusteaduslik uurimismeetod.ppt
Bioloogia Loodusteaduslik uurimismeetod Tiina Kapten Bioloogia Teadus, mis uurib elu. bios - elu logos - teadmised Algselt võib rääkida kolmest teadusharust: Botaanika Teadus taimedest Zooloogia Teadus
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
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:
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 - VOTA_dok_menetlemine_OIS_ doc
Varasemate õpingute ja töökogemuse arvestamine (VÕTA ) dokumentide menetlemise protsess ÕISis Koostanud: Ele Hansen Ele Mägi Tartu 2012 1. Aine ülekandmine-õppekavajärgne aine Varasemalt sooritatud aine
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
RohkemLisa 1 KINNITATUD direktori käskkirjaga nr 1-2/99 Võru Gümnaasiumi koolieksami eristuskiri 1. Eksami eesmärk saada ülevaade õppimise ja õpe
Lisa 1 KINNITATUD direktori 06.10.2017 käskkirjaga nr 1-2/99 Võru Gümnaasiumi koolieksami eristuskiri 1. Eksami eesmärk saada ülevaade õppimise ja õpetamise tulemuslikkusest koolis ning suunata eksami
RohkemloogikaYL_netis_2018_NAIDISED.indd
. Lihtne nagu AB Igas reas ja veerus peavad tähed A, B ja esinema vaid korra. Väljaspool ruudustikku antud tähed näitavad, mis täht on selles suunas esimene. Vastuseks kirjutage ringidesse sattuvad tähed
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
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?
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)
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 -
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
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
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
RohkemSPORTident Air+
Tarmo Klaar 2012-2013 Esimene koolitus Eestis 2012, Põlvas Ülevaade Uus riistvara Vana tarkvara Proovime kasutada, näited Põhineb hetkel teadaoleval funktsionaalsusel. Tootja ei ole veel lõplikku versiooni
RohkemMicrosoft PowerPoint - Kindlustuskelmus [Compatibility Mode]
Olavi-Jüri Luik Vandeadvokaat Advokaadibüroo LEXTAL 21.veebruar 2014 i iseloomustab Robin Hood ilik käitumine kindlustus on rikas ja temalt raha võtmine ei ole kuritegu. Näiteks näitavad Saksamaal ja USA-s
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
RohkemMicrosoft PowerPoint - IRZ0020_praktikum4.pptx
IRZ0020 Kodeerimine i ja krüpteerimine praktikum 4 Julia Berdnikova, julia.berdnikova@ttu.ee www.lr.ttu.ee/~juliad l 1 Infoedastussüsteemi struktuurskeem Saatja Vastuvõtja Infoallikas Kooder Modulaator
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
RohkemAM_Ple_NonLegReport
9.1.2019 A8-0475/36 36 Põhjendus BG BG. arvestades, et kahjuks ei leidnud see vastuolu erikomisjonis lahendust; 9.1.2019 A8-0475/37 37 Põhjendus BI BI. arvestades, et niinimetatud Monsanto dokumendid ja
RohkemG4S poolt võetavad kohustused 1. G4S juurutab oma hinnastamispõhimõtetes käesolevale dokumendile lisatud hinnastamismaatriksi. Hinnastamismaatriks läh
G4S poolt võetavad kohustused 1. G4S juurutab oma hinnastamispõhimõtetes käesolevale dokumendile lisatud hinnastamismaatriksi. Hinnastamismaatriks lähtub järgmistest põhimõtetest. a. Hinnastamismaatriks
RohkemARENGUVESTLUSED COACHINGU PRINTSIIPE SILMAS PIDADES Arendava vestluste printsiibid: Eneseanalüüs, keskendumine tugevustele, julgustamine, motiveeriv e
ARENGUVESTLUSED COACHINGU PRINTSIIPE SILMAS PIDADES Arendava vestluste printsiibid: Eneseanalüüs, keskendumine tugevustele, julgustamine, motiveeriv eesmärk Vestluse skeem vestluse läbiviijale Millel tähelepanu
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
Rohkem10/12/2018 Riigieksamite statistika 2017 Riigieksamite statistika 2017 Selgitused N - eksaminandide arv; Keskmine - tulemuste aritmeetiline keskmine (
Riigieksamite statistika 2017 Selgitused N - eksaminandide arv; Keskmine - tulemuste aritmeetiline keskmine (punktide kogusumma jagatud sooritajate koguarvuga); Mediaan - statistiline keskmine, mis jaotab
RohkemII kooliastme loodusõpetuse e-tasemetöö eristuskiri Alus: 1) põhikooli riiklik õppekava; vastu võetud 6. jaanuaril 2011; 2) kordade määrus, vastu võet
II kooliastme loodusõpetuse e-tasemetöö eristuskiri Alus: 1) põhikooli riiklik õppekava; vastu võetud 6. jaanuaril 2011; 2) kordade määrus, vastu võetud 15. detsembril 2015; 3) loodusvaldkonna õpitulemuste
RohkemKontrollijate kommentaarid a. piirkondliku matemaatikaolümpiaadi tööde kohta 7. klass (Elts Abel, Mart Abel) Test Ül. 6: Mitmes töös oli π aseme
Kontrollijate kommentaarid 1999. a. piirkondliku matemaatikaolümpiaadi tööde kohta 7. klass (Elts Abel, Mart Abel) Test Ül. 6: Mitmes töös oli π asemel antud vastuseks 3,14. Kontrollijad olid mõnel juhul
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ДЕЛОВОЕ ОБЩЕНИЕ
Tõhusa ja kaasahaarava õppe korraldamine kõrgkoolis 1. Teema aktuaalsus 2. Probleemid 3. Küsitlusleht vastustega 4. Kämmal 5. Õppimise püramiid 6. Kuidas edasi? 7. Allikad 1. Vene keele omandamine on
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
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
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
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?
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)
RohkemÕppekava arendus
Õppekava arendus Ülle Liiber Õppekava kui kokkulepe ja ajastu peegeldus Riiklik õppekava on peegeldus sellest ajast, milles see on koostatud ja kirjutatud valitsevast mõtteviisist ja inimkäsitusest, pedagoogilistest
RohkemMicrosoft Word - Estonian - Practice Reasoning Test doc
GLOBAALNE LOOGIKA TEST HARJUTAMISTEST COPYRIGHT 2008 PROCTER & GAMBLE CINCINNATI, OH 45202 U.S.A. HOIATUS: Kõik õigused kaitstud. Brošüüri ühtegi osa ei tohi mingilgi kujul ega moel paljundada ilma kirjaliku
RohkemWord Pro - digiTUNDkaug.lwp
ARVUSÜSTEEMID Kõik olulised arvusüsteemid on positsioonilised ehk arvu numbrid asuvad neile ettenähtud kindlatel asukohtadel arvujärkudes a i : a a a a a a a - a - a - a - a i Ainus üldtuntud mittepositsiooniline
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
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
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.
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
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.
RohkemVäljaandja: Vabariigi Valitsus Akti liik: määrus Teksti liik: algtekst-terviktekst Redaktsiooni jõustumise kp: Redaktsiooni kehtivuse lõpp:
Väljaandja: Vabariigi Valitsus Akti liik: määrus Teksti liik: algtekst-terviktekst Redaktsiooni jõustumise kp: 01.06.2002 Redaktsiooni kehtivuse lõpp: 22.06.2002 Avaldamismärge: RT I 2000, 49, 314 Meditsiinilisel
RohkemVäärtusta oma vabadust. Eesti Yale Seifide Kasutusjuhend Mudelid: YSB/200/EB1 YSB/250/EB1 YSB/400/EB1 YLB/200/EB1 YSM/250/EG1 YSM/400/EG1 YSM/520/EG1
Väärtusta oma vabadust. Eesti Yale Seifide Kasutusjuhend Mudelid: YSB/200/EB1 YSB/250/EB1 YSB/400/EB1 YLB/200/EB1 YSM/250/EG1 YSM/400/EG1 YSM/520/EG1 YLM/200/EG1 Soovitame selle kasutusjuhendi alles hoida.
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
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
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
RohkemPISA 2015 tagasiside koolile Tallinna Rahumäe Põhikool
PISA 215 tagasiside ile Tallinna Rahumäe Põhi PISA 215 põhiuuringus osales ist 37 õpilast. Allpool on esitatud ülevaade i õpilaste testisoorituse tulemustest. Võrdluseks on ära toodud vastavad näitajad
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
RohkemEESTI STANDARD EVS-EN ISO 3381:2007 See dokument on EVS-i poolt loodud eelvaade RAUDTEEALASED RAKENDUSED Akustika Raudteeveeremi sisemüra mõõtmine (IS
EESTI STANDARD RAUDTEEALASED RAKENDUSED Akustika Raudteeveeremi sisemüra mõõtmine Railway applications Acoustics Measurement of noise inside railbound vehicles EESTI STANDARDIKESKUS EESTI STANDARDI EESSÕNA
RohkemPowerPoint Presentation
Kick-off 30.06.2014 Toetuse kasutamise leping Kadri Klaos 30.06.2014 Lepingu struktuur Eritingimused Üldtingimused Lisa I, Projekti sisukirjeldus Lisa II, Projekti eelarve Lisa III, Projekti rahastamis-
Rohkempropofol: CMDh scientific conclusions and grounds for the variation, amendments to the product information and timetable for the implementation - PSUS
I lisa Teaduslikud järeldused ja müügilubade tingimuste muutmise alused 1 Teaduslikud järeldused Võttes arvesse ravimiohutuse riskihindamise komitee hindamisaruannet propofooli perioodiliste ohutusaruannete
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
RohkemPRESENTATION HEADER IN GREY CAPITALS Subheader in orange Presented by Date Columbus is a part of the registered trademark Columbus IT
PRESENTATION HEADER IN GREY CAPITALS Subheader in orange Presented by Date Columbus is a part of the registered trademark Columbus IT Täisautomatiseeritud ostujuhtimise lahenduse loomine Selveri näitel
RohkemEesti koolinoorte LIII matemaatikaolümpiaad 28. jaanuar 2006 Piirkonnavoor Hindamisjuhised Lp hindaja! 1. Juhime Teie tähelepanu sellele, et alljärgne
Eesti koolinoorte LIII matemaatikaolümpiaad 28. jaanuar 2006 Piirkonnavoor Hindamisjuhised Lp hindaja! 1. Juhime Teie tähelepanu sellele, et alljärgnevas on 7. 9. klasside olümpiaadi I osa (testi) ning
RohkemMittekorrektsed ülesanded 2008
Mittekorrektsed ülesanded 008 Sisukord 1 Näiteid mittekorrektsetest ül.-test ja iseregulariseerimisest 5 1.1 Sissejuhatus............................. 5 1.1.1 Lineaarne võrrand ruumis R...............
RohkemAvalike teenuste nõukogu koosoleku protokoll ( ) Tallinn nr 26-6/ /2283 Algus: Lõpp: Juhatas: Helena Lepp Protok
Avalike teenuste nõukogu koosoleku protokoll (12.03.2019) Tallinn 19.03.2019 nr 26-6/19-0137/2283 Algus: 14.30 Lõpp: 16.10 Juhatas: Helena Lepp Protokollis: Alar Teras ja Helena Kõrge Võtsid osa: Puudusid:
RohkemStatistikatarkvara
Sissejuhatus statistika erialasse, sissejuhatus matemaatika erialasse, 20. september 2018 Statistikatarkvara põgus ülevaade Krista Fischer Statistikatarkvara kategooriad Võib jagada mitut moodi: Tarkvara,
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
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
Rohkem