www.archive-ee-2014.com » EE » T » TTU

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".

    Archived pages: 387 . Archive date: 2014-07.

  • Title: TTÜ arvutiteaduse instituut : Õppeained
    Descriptive info: .. Instituudi kodulehele.. Õppeained.. backlinks.. Jooksev Semester.. Structures.. TTÜ arvutiteaduse instituut.. Eesti keel.. English.. Sel semestril õpetatavate ainete nägemiseks klõpsi siin.. Arvutiteaduse instituudi kursused.. Programmeerimise põhikursus.. - ITI0010.. Loogiline programmeerimine.. - ITI0021.. Funktsionaalne programmeerimine.. - ITI0030.. Algoritmid ja andmestruktuurid.. - ITI0050.. Formaalsed meetodid.. - ITI0060, ITX8025.. Rekursiooniteooria.. - ITI0070.. Eriseminar magistrantidele.. - ITI0080.. Java alusehitus.. - ITI8905.. Arvutigraafika teooria ja praktika.. - ITI0090.. Hübriidsüsteemid.. - ITI0100.. Hübriidsüsteemid - projekt.. - ITI0110.. Tarkvara testimise alused.. - ITI0120.. Mudelipõhine protokollide testimine programmeerimiskeeles C#.. - ITI8020.. Reaalajasüsteemide mudelipõhine valideerimine ja testimine.. - ITI8040.. Foundations of Embedded Real-Time Systems.. - ITI8500.. System reliability and fault-tolerance.. - ITI8540.. Algoritmide ja andmestruktuuride erikursus.. - ITI8590.. Tarkvara automatiseeritud testimin.. - ITI8901.. Hübriidsüsteemide erikursus.. - ITI9100.. Arvutiteaduse eriteemad.. - ITI9120.. Formaalne verifitseerimine.. - ITI9190.. Teoreetiline informaatika 1.. - ITT0010.. Tehisintellekti algoritmid.. - ITT0020.. Loogika arvutiteaduses.. - ITT004.. Rekursiooni- ja keerukusteooria.. - ITT0050.. Programmikeelte semantika.. - ITT903.. Kategooriateooria.. -  ...   C.. - ITV0020.. Kasutajaliidesed võrgutehnoloogia baasil.. - ITV0030.. Võrgurakendused 2: Hajussüsteemide tehnoloogia.. - ITV0040.. Operatsioonisüsteemide ja arvutivõrkude administreerimine.. - ITV0050.. Teadmiste otsing.. - ITV0060.. Semantika ja analüütiline filosoofia.. - ITV0070.. Rakendusliku loogika süvakursus.. - ITV0081.. Andmebaaside administreerimine.. - ITV0090.. Programmeerimise erikursus.. - ITV0101.. Kasutajaliidesed.. - ITV0130.. Introduction to Information Technology.. - ITX0025.. Advanced course of discrete mathematics.. - ITX8015.. Formal methods in system design.. - ITX8025.. Legal Aspects of Cyber Security - ITX8041.. Software Development and System Programming.. - ITX8065.. Information and Cyber Security Assurance in Organisations - ITX8090.. Õppematerjale ja lisainfot leiate ka aadressilt:.. Lambda.. ee.. Vanad õppeained.. [+].. Aine.. Kood.. Võrgurakendused 1: HTML, skriptid ja Java.. WAV3080.. Operatsioonisüsteemid.. WAV3060.. Infotehnoloogiaprojekti inglise keel.. WAI4180.. Hulga- ja graafiteooria.. WAI4010.. Objektorienteeritud programmeerimine.. WAI4080.. Formaalsed keeled ja kompilaatorite koostamine.. WAI4120.. Andmebaaside teostamine.. WAV3040.. Created by:.. system.. last modification: Pühapäev 09 of Veebruar, 2014 [13:40:22 UTC] by.. irve.. source.. history.. Logi sisse.. Articles..

    Original link path: /tiki-index.php
    Open archive

  • Title: TTÜ arvutiteaduse instituut : Õppeained
    Descriptive info: →.. Õppetöö.. Õppeained.. slides..

    Original link path: /tiki-index.php?page_ref_id=19
    Open archive

  • Title: TTÜ arvutiteaduse instituut : Õppeained
    Original link path: /tiki-index.php?page=%C3%95ppeained&refresh=1
    (No additional info available in detailed archive for this subpage)

  • Title: TTÜ arvutiteaduse instituut : Jooksev Semester
    Descriptive info: Avaleht.. Eesti keel.. Kevadsemestri kursused 2014-2015 õppeaastal.. ITI0080.. - õppejõud Juhan-Peep Ernits, Aivo Anier.. ITI0130 Formaalsed meetodid - õppejõud Jüri Vain.. ITI0135 Formaalsed meetodid – projekt - õppejõud Jüri Vain.. ITI8530 Formaalmeetodid reaalaja sardsüsteemide arenduses - õppejõud Jüri Vain.. ITI8565 Masinõpe - õppejõud Kairit Sirts.. ITI8580 Hübriidsüsteemid - õppejõud Sven Nõmm.. ITI8590.. - õppejõud Wolfgang Jeltsch, Keiko Nakata.. ITI9191 Formaalmeetodite eripeatükid - õppejõud Jüri Vain.. ITT0030 Diskreetne matemaatika II - õppejõud Jaan Penjam.. ITT8030 Programmikeelte semantika - õppejõud Tarmo Uustalu.. ITT9070.. - õppejõud Tarmo Uustalu.. ITV0050.. - õppejõud Marko Kääramees.. ITV0060.. Teadmiste otsing, formaliseerimine ja hoidmine.. - õppejõud Tanel Tammet.. ITV0071 Semantika ja analüütiline filosoofia - õppejõud Tanel Tammet.. ITV0130.. - õppejõud Jaagup Irve.. ITV0200 Tarkvaraarenduse meeskonnaprojekt - õppejõud Tanel Tammet.. IAY0361 Automaattestimine - õppejõud Märt Kalmo.. ITX003P Erialapraktika -  ...   Marko Kääramees, õppejõud Aivo Anier , õppejõud Tanel Tammet, õppejõud Jaan Penjam.. ITX8500 Õpetamispraktika - õppejõud Marko Kääramees.. ITX8510 Menetluspraktika - õppejõud Jüri Vain, õppejõud Juhan-Peep Ernits.. ITX8511 Menetluspraktika infotehnoloogias - õppejõud Juhan-Peep Ernits, õppejõud Tanel Tammet, õppejõud Jüri Vain.. IXX9601 Doktoriseminar I - õppejõud Jüri Vain, õppejõud Tanel Tammet, õppejõud Juhan-Peep Ernits.. IXX9602 Doktoriseminar II - õppejõud Juhan-Peep Ernits, õppejõud Jüri Vain, õppejõud Tanel Tammet, õppejõud Rain Ottis.. IXX9603 Doktoriseminar III - õppejõud Jüri Vain, õppejõud Tanel Tammet.. IXX9611 Doktorantide õpetamispraktika I - õppejõud Jüri Vain.. Meie tunniplaani näeb navigeerides lehele http://ois.. ttu.. ee/ ja navigeerides: tunniplaan koondtunniplaan teaduskond:infotehnoloogia instituut:IT arvutiteaduse instituut siis klõpsige otsi vajutage nuppu ja siis Näita.. Kahjuks ei saa selle rituaali asendamiseks viidet teha.. kõik õppeained.. last modification: Teisipäev 04 of Veebruar, 2014 [13:44:46 UTC] by..

    Original link path: /tiki-index.php?page=Jooksev+Semester
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI0020
    Descriptive info: ITI0020.. Loogiline programmeerimine ITI0021.. Teated 2013.. Praktikumide kaitsmistähtajad.. Loogilise programmeerimise praktikumid 2-8 tuleb esitada ja kaitsta 5.. -6.. novembril ja 12.. -13.. novembril toimuvate praktikumide jooksul.. Praktikumid 9 ja 10 vastavalt 26.. -27.. november ja 3.. -4.. detsember.. Kodutöö 2013.. Kodutööks on kabeprogrammi programmeerimine.. Infot vt.. allpoolt.. Kodutöö esitamise tähtaeg on eelviimane (10.. -11.. dets) ja viimane (17.. -18.. dets) praktikum, mil toimub turniir esitatud kabeprogrammide vahel.. Pärast turniiride lõppu ei ole kodutööd enam võimalik esitada.. Hindamiskriteeriumid.. Hindelise arvestuse eelduseks on praktikumitööde ja kodutöö esitamine ning koondhindeks on testide keskhinne.. Praktikumi- ja kodutööd tuleb esitada Moodle's ja kaitsta praktikumi ajal TTÜ arvutiklassis.. Ainult e-postiga saadetud töid ei arvestata.. Arvestusel osalemine ei ole kohustuslik nendele, kes on edukalt kaitsnud praktikumitööd ja kodutöö ning sooritanud 3 testi igaüks tulemusega 60% ja enam.. Järeltööd testidele 1-3 toimuvad semestri viimaste loengute aegadel.. Järeltööde sooritamise tingimused:.. Esimesel katsel tuleb teha järeltööd konkreetselt nendele testidele, mille tulemus oli alla 60%.. Kui ka järeltöö ebaõnnestub, tuleb sooritada koondtöö kursuse kogu materjali peale.. Arvestuse hinnet tõstab see, kui kodutööna valminud kabeprogramm saavutab viimase praktikumi ajal toimuval võistlusel I-III koha: I koht +3 palli; II koht +2 palli; III koht +1pall.. Tulemused:.. Konsultatsioon: -.. Hindeline arvestus:.. 9.. jaanuar 2014 kell 10.. 00, ruum ICT-411.. 16.. Testide ja praktikumide jooksvad tulemused asuvad Moodles.. Loengud.. Loeng 1.. : Mis on loogiline programmeerimine?.. Loeng 2-1.. : Alusmõisteid loogikast I: Lausearvutus.. Loeng 2-2.. : Alusmõisteid loogikast II: Predikaatarvutus.. Loeng 3.. : Resolutsioon ja unifitseerimine.. Loeng 4: Test 1: Loogilise programmeerimise põhimõisted.. Loeng 5.. : Loogilise programmeerimise keel Prolog.. Loeng 6.. : Loogilise programmeerimise andmestruktuurid.. Loeng 7.. : Hulgateooria ja algebra mõistete programmeerimine Prologis.. Loeng 8.. : DCG grammatika reeglid ja loomuliku keele parsimine.. Loeng 9: Listioperatsioonide programmeerimine rekursiooni abil (harjutus Test2-ks).. Loeng 10: Test 2: Listioperatsioonide programmeerimine rekursiooni abil.. Loeng 11.. : Predikaat- ja temporaalloogika valemite interpreteerimine.. Loeng 12.. : Prologi integreerimine teiste programmeerimiskeelte ja keskkondadega.. Loeng 13.. : Kitsendustega loogiline programmeerimine.. Loeng 14: Test 3: Loengute 6-8,11-13 materjal.. Loeng 15: Testide 1 ja 2 järeltööd.. Loeng 16: Koondjäreltöö.. Praktikumid.. Praktikum 1: Tutvumine loogilise programmeerimise keskkonnaga.. SWI-Prolog.. Praktikumi 1 juhend.. Näidismaterjal:.. Objektid ja nende omadused.. Praktikum 2: Prologi teadmusbaasi koostamine.. Praktikumi 2 juhend.. Näidismaterjal:.. Teadmusbaas.. Praktikum 3: Rekursiooni programmeerimine: sügavuti otsing suunatud graafil.. Praktikumi 3 juhend.. Rekursioon.. Praktikum 4: Listioperatsioonide programmeerimine.. Praktikumi 4 juhend.. Listid.. Praktikum 5: Faktide hulgal otsingu programmeerimine.. Praktikumi 5 juhend.. Otsing kabe näitel.. Praktikum 6: Klasside hierarhia ja pärismisreeglite programmeerimine.. Praktikumi 6 juhend.. Klassid ja pärimine.. Praktikum 7: Hulgateooria ja algebra mõistete programmeerimine.. Praktikumi 7 juhend.. Hulgad ja relatsioonid.. Praktikum 8: Loomuliku keele parsimine.. Praktikumi 8 juhend.. Parseri näide.. Praktikum 9: Tõeväärtuse leidmine lause- ja predikaatarvutuses.. Praktikumi 9 juhend.. Lausearvutuse solver.. Praktikum 10: Temporaalloogika valemite interpreteerimine.. Praktikumi 10 juhend.. Lisamaterjalid.. Learn Prolog Now.. Web Testing with Logic Programming - Daniel Gregoire.. Teadmiste kontroll..  ...   Kb.. 494.. 10 : 659.. Loeng_3.. Thu 19 of Sep, 2013 [08:55 UTC] by varje.. 326.. 13 Kb.. 511.. 11 : 658.. Praktikumi_3_juhend.. Tue 17 of Sep, 2013 [12:42 UTC] by varje.. 133.. 30 Kb.. 608.. 12 : 654.. Praktikum_2_juhend2013.. Tue 10 of Sep, 2013 [12:07 UTC] by varje.. 156.. 68 Kb.. 612.. 13 : 653.. Loeng_1_2013.. Tue 10 of Sep, 2013 [11:29 UTC] by varje.. 242.. 17 Kb.. 606.. 14 : 631.. KoondITI0021_Hinded_veebi.. Mon 14 of Jan, 2013 [08:20 UTC] by varje.. 60.. 12 Kb.. 671.. 15 : 629.. Listid_4short.. Thu 27 of Sep, 2012 [07:38 UTC] by varje.. 1.. 45 Kb.. 805.. 16 : 580.. prolog_interfaces.. Prologi integreerimine teiste programmeerimiskeeltega.. Tue 17 of Jan, 2012 [09:21 UTC] by evelin.. 81.. 25 Kb.. 900.. 17 : 570.. Praktikum_9_juhend.. Thu 08 of Dec, 2011 [11:28 UTC] by varje.. 431.. 94 Kb.. 966.. 18 : 568.. Fri 02 of Dec, 2011 [11:20 UTC] by varje.. 105.. 881.. 19 : 567.. Lecture_13.. Tue 29 of Nov, 2011 [17:40 UTC] by varje.. 319.. 21 Kb.. 1553.. 20 : 561.. Loeng_9_loogikate_interpreteerimine.. Tue 08 of Nov, 2011 [15:22 UTC] by varje.. 263.. 1447.. 21 : 552.. Praktikum_4_juhend.. Thu 29 of Sep, 2011 [11:21 UTC] by varje.. 189.. 77 Kb.. 1664.. 22 : 547.. Praktikum_2.. Thu 08 of Sep, 2011 [12:18 UTC] by varje.. 80 Kb.. 1434.. 23 : 544.. Praktikum_1_juhend.. Thu 01 of Sep, 2011 [11:43 UTC] by varje.. 226.. 40 Kb.. 1722.. 24 : 308.. Praktikum3_Marsruutide_leidmine.. Thu 02 of Oct, 2008 [08:16 UTC] by jüri.. 61 Kb.. 3005.. 25 : 117.. kabeprogramm.. Fri 15 of Dec, 2006 [09:58 UTC] by jüri.. 11.. 64 Kb.. 2826.. 26 : 114.. Loeng 8 uus.. Mon 11 of Dec, 2006 [14:06 UTC] by jüri.. 55.. 34 Kb.. 3556.. 27 : 99.. Praktikum 7.. Thu 23 of Nov, 2006 [11:06 UTC] by jüri.. 7.. 75 Kb.. 2850.. 28 : 97.. Praktikum 6.. Thu 23 of Nov, 2006 [10:38 UTC] by jüri.. 08 Kb.. 2721.. 29 : 95.. Thu 23 of Nov, 2006 [10:02 UTC] by jüri.. 13.. 3143.. 30 : 93.. Thu 23 of Nov, 2006 [09:35 UTC] by jüri.. 42.. 90 Kb.. 4306.. 31 : 92.. 43.. 31 Kb.. 3749.. 32 : 44.. Kursusetöö_06.. Wed 27 of Sep, 2006 [13:03 UTC] by jüri.. 3139.. 33 : 43.. arbiiter.. Wed 27 of Sep, 2006 [13:02 UTC] by jüri.. 3.. 23 Kb.. 2787.. 34 : 41.. Loeng_2_2.. Wed 27 of Sep, 2006 [12:52 UTC] by jüri.. 48.. 4729.. 35 : 40.. Loeng_2_1.. 44.. 54 Kb.. 5142.. 36 : 31.. Marsruutide_leidmine.. Marsruutide leidmine.. Mon 25 of Sep, 2006 [15:31 UTC] by jüri.. 66 Kb.. 1653.. 37 : 26.. Praktikum_1.. Mon 25 of Sep, 2006 [12:54 UTC] by jüri.. 26.. 88 Kb.. 3660.. 38 : 25.. LA_solverN.. Mon 25 of Sep, 2006 [12:37 UTC] by jüri.. 3363..

    Original link path: /tiki-index.php?page=ITI0020
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI0030
    Descriptive info: ITI0030.. Ainekood: ITI0030.. Lektor: Tiina Zingel.. Kirjandus:.. R.. Bird.. Introduction to Functional Programming using Haskell.. Prentice Hall, 1998.. S.. Thompson.. Haskell:The Craft of Functional Programming.. 2nd ed.. Addison-Wesley.. 1999.. P.. Hudak.. The Haskell School of Expression: Learning Functional Programming through Multimedia.. Cambridge University Press, New York, 2000.. http://haskell.. org.. org/hugs.. Materjale pdf-s.. Loengute slaidid.. Sissejuhatus ja veidi ajalugu (ppt).. Põhialused ja lihtsad tüübid (ppt).. Tüübid ja tüübiklassid (ppt).. Sisend/väljund (ppt).. Moodulid (ppt).. Monaadid (ppt).. Praktikum 1..  ...   kell 14.. 00.. Koduülesanded II.. : tähtaeg 25.. november kell 14.. Esitatud tööd.. Arvestus.. UUS!.. Arvestust saab teha 25.. novembril ja 9.. detsembril praktikumi ajal.. DMKodu.. tiina.. last modification: Neljapäev 09 of Veebruar, 2012 [18:56:59 UTC] by.. 2 files attached.. 1 : 147.. fploeng2.. ppt.. Thu 27 of Sep, 2007 [12:18 UTC] by tiina.. 66.. 05 Kb.. 1700.. 2 : 136.. fploeng1.. Loeng1.. Thu 13 of Sep, 2007 [11:33 UTC] by tiina.. 31.. 74 Kb.. 1967..

    Original link path: /tiki-index.php?page=ITI0030
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI0060
    Descriptive info: ITI0060.. Formal Methods.. English.. About the course.. Course code: ITI0060 (ITI8530 in IVSM/09 study program).. Lectures: Prof.. Jüri Vain.. Labs: Evelin Halling.. Lectures (ITI0060 and ITI8530): Wed, 14.. 00.. XIV-411 Akadeemia tee 15A.. (every week).. Lab (ITI0060 and ITI8530):.. Wed 16.. 00 XIV-401 Akadeemia tee 15A.. Exercises (ITI8530): Wed, 08.. 00, XIV-411 Akadeemia tee 15A(every even week starting from 03.. 04.. 2013).. Lectures 2013.. Lecture 1:.. Introduction to formal methods.. Lecture 2:.. Modelling transition systems.. Lecture 3:.. Property specification language CTL*.. Lecture 4:.. Model checking CTL.. Lecture 5:.. Uppaal Timed Automata.. Lecture 6:.. Formal specification.. Lecture 7.. 1:.. Proving partial correctness I.. 2:.. Proving partial correctness II.. Lecture 8.. 1:.. Proving partial correctness III.. Proving total correctness.. Lecture 9:.. Non-deterministic sequential programs.. Lecture 10:.. Parallel programs with shared variables.. Lecture 11:.. Parallel programs with message passing.. Lecture 12:.. Introduction to invariant-based programming (IBP).. Abstract.. Introduction to invariant-based programming (I).. Lecture 13:.. Introduction to invariant-based programming (II).. Other materials of the exercises will be uploaded in the course web page.. Submit your homework and lab solutions via e-mail.. Course website updated to spring 2013.. Home assignments:.. No 1:.. Model checking.. : Reader-Writer communication protocol.. No 2:.. : Leader election protocol.. No 3:.. Deductive verification.. : Partial correctness of parallel programs.. GCD.. , deadline (old).. Purse.. Exercises:.. Ex1: Introduction to partial correctness proofs.. Simple z=M**N program.. Labs.. Lab 1: Introduction to modelling in Uppaal:.. Example and explanation.. Model:.. Coffee Machine.. Query:.. Lab 2:.. : Reader-Writer (unreliable) communication protocol 2012.. Lab 3:.. : Leader election protocol 2012.. : Verification exercises: Sequential programs 2012.. : FHL Inference Rules.. : verification example.. Labs 2009 (old.. ).. Course resources.. Lectures 2010.. Tutorial/Manual for UPPAAL.. Spring 2006 course materials (Old).. Tests:.. Test 1: March 29 2012 10.. 00-11.. 30, Room IT-140.. Test 2: April 26 2012 10.. Test 3: May 17 2012 12.. 00-13.. Final Results in Spring 2012.. Results of the exam.. : Results of tests, home assignments and exam (updated in 02.. 06.. 2012).. Help for preparations.. Symbols of logic.. Rules I: Inference rules of Sequent Calculus.. Rules II.. : List of FHL inference rules used in the course.. Invariant construction.. : How to construct invariants.. Message passing and cooperation test.. : How to prove parallel programs.. Examples.. Verification of WHILE-programs.. : Example of verifying FOR-loop.. Exercises.. Examples of exercises and questions.. for the examination.. Try to solve yourself before looking at solutions.. Solutions to.. exercise 1.. ,.. exercise 3.. exercise 4.. exercise 5;9.. and.. CTL exercises.. Exam:.. Date 1: 24 May 2012 at 16.. Room IT-140.. Date 2: 31 May 2012 at 10.. Questions of exam.. : (for repetition).. Consultation:.. 23 May 2012 at 14.. 00 Room IT-137A (also possibility to make tests unpassed yet).. Links.. Formal Methods Europe.. UPPAAL..  ...   Apr, 2012 [15:06 UTC] by varje.. 398.. 676.. 15 : 603.. while-program-example.. Mon 23 of Apr, 2012 [14:57 UTC] by varje.. 700.. 16 : 602.. Lecture_9_1proving.. Wed 18 of Apr, 2012 [17:07 UTC] by varje.. 890.. 89 Kb.. 684.. 17 : 601.. Lecture_8-partial-correctness.. Wed 18 of Apr, 2012 [17:06 UTC] by varje.. 47 Mb.. 739.. 18 : 596.. Lecture_7_specification.. Sun 08 of Apr, 2012 [20:10 UTC] by varje.. 993.. 29 Kb.. 703.. 19 : 594.. Lecture_5_TA_and_TCTL.. Fri 16 of Mar, 2012 [09:22 UTC] by varje.. 62 Mb.. 1087.. 20 : 593.. Lecture_4_12_modelchecking.. 453.. 883.. 21 : 590.. Lecture_3_12_CTL.. Sun 04 of Mar, 2012 [19:03 UTC] by varje.. 772.. 791.. 22 : 589.. Lecture_2_12_transition_systems.. Sun 04 of Mar, 2012 [19:02 UTC] by varje.. 514.. 44 Kb.. 756.. 23 : 588.. Lecture_1_12_intro.. Sun 04 of Mar, 2012 [19:01 UTC] by varje.. 750.. 36 Kb.. 506.. 24 : 584.. TUT2.. Thu 23 of Feb, 2012 [06:49 UTC] by varje.. 731.. 99 Kb.. 1011.. 25 : 583.. tut_abstract-2.. Wed 22 of Feb, 2012 [13:03 UTC] by varje.. 53.. 870.. 26 : 582.. ZDP1.. Wed 22 of Feb, 2012 [12:57 UTC] by varje.. 250.. 41 Kb.. 27 : 539.. Assignment_3.. Wed 18 of Mai, 2011 [12:23 UTC] by varje.. 98.. 57 Kb.. 1121.. 28 : 538.. guidelines_verification_message_passing_parallel.. Mon 16 of Mai, 2011 [11:15 UTC] by varje.. 767.. 1006.. 29 : 477.. Exam_2010.. Mon 31 of Mai, 2010 [11:47 UTC] by varje.. 62.. 81 Kb.. 1670.. 30 : 476.. Wed 26 of Mai, 2010 [08:37 UTC] by varje.. 62 Kb.. 1167.. 31 : 475.. Home_assignment_1_2010.. Wed 26 of Mai, 2010 [08:24 UTC] by varje.. 54.. 55 Kb.. 1633.. 32 : 474.. Home_assignment_3_2010.. Wed 26 of Mai, 2010 [07:45 UTC] by varje.. 154.. 58 Kb.. 1024.. 33 : 459.. Exercises_Sequential_programs.. Mon 19 of Apr, 2010 [07:25 UTC] by varje.. 1550.. 34 : 458.. FHL_Inference_rules.. Mon 19 of Apr, 2010 [07:24 UTC] by varje.. 126.. 87 Kb.. 2281.. 35 : 439.. Praktikum_no_2.. Tue 16 of Mar, 2010 [11:30 UTC] by varje.. 38 Kb.. 1781.. 36 : 391.. Eksami_tulemused.. Mon 08 of Jun, 2009 [12:52 UTC] by varje.. 40.. 1256.. 37 : 371.. java-verification-tools.. Lecture_16_04_verification_tools.. Thu 16 of Apr, 2009 [11:04 UTC] by marko.. 96.. 841.. 38 : 365.. Lecture_4_5_modelchecking.. Thu 05 of Mar, 2009 [13:49 UTC] by jüri.. 324.. 1156.. 39 : 364.. Lecture_3_CTL.. Thu 05 of Mar, 2009 [13:47 UTC] by jüri.. 162.. 82 Kb.. 863.. 40 : 363.. Lecture_2_transition_systems.. Thu 05 of Mar, 2009 [13:45 UTC] by jüri.. 174.. 59 Kb.. 1043.. 41 : 362.. Lecture 1_08.. Lecture 1.. Thu 05 of Mar, 2009 [13:44 UTC] by jüri.. 283.. 65 Kb.. 956.. 42 : 282.. EXAMPLE TASKS OF THE EXAM.. Example tasks.. Sun 18 of Mai, 2008 [09:41 UTC] by irve.. 57.. 1515..

    Original link path: /tiki-index.php?page=ITI0060
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI0070
    Descriptive info: ITI0070.. REKURSIOONITEOORIA.. Ainekood: ITI0070.. NB! See on vana kursus! Praegune on Rekursiooni- ja keerukusteooria!!.. KIRJANDUS.. H.. Rogers Theory of Recursive Functions and Effective Computability (põhiõpik).. J.. R.. Shoenfield Recursion Theory.. D.. S.. Bridges Computability.. M.. Tombak Keerukusteooria.. Kontrolltööd.. Teeme kaks kontrolltööd.. Esimene toimub reedel,13.. novembril, harjutustunnis, ja katab siiani läbitud ülesandetüüpe.. Loengute kava ja materjalid.. Vanad materjalid.. Loeng 1-2(ppt).. :.. Sissejuhatus.. Funktsioonid ja relatsioonid.. Rekursiivsed funktsioonid.. Rekursiivsete funktsioonide defineerimine.. Turingi masin.. Loeng 3-4 (ppt)..  ...   ja rekursiivselt loenduvad seosed.. Loeng 7-8 (ppt).. Peatumisprobleem.. Üks-ühele-taanduvus ja mitu-ühele-taanduvus.. Produktiivsed ja kreatiivsed hulgad.. Lihtsad hulgad.. Loeng 9-10 (ppt).. Tõeväärtustabeli-taanduvus.. Relativiseeritud teooria.. Turingi taanduvus.. Rekursiooniteoreem.. Loeng 11-12 (ppt).. Aritmeetiline hierarhia.. Ülesannete keerukus.. Keerukusklassid.. Loeng 13-14 (ppt).. Veel keerukusklassidest.. Polünomiaalne hierarhia.. Mõned raskemad ülesanded.. Eksam.. Tulemused.. Eksamitulemused.. Eksam koosneb kahest osast.. Esimeses tuleb defineerida ja lahti seletada.. mõisteid.. , teises lahendada ülesandeid (vaata.. näidisülesandeid.. ).. last modification: Reede 23 of November, 2012 [12:02:00 UTC] by..

    Original link path: /tiki-index.php?page=ITI0070
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI0080
    Descriptive info: ITI0080.. Eriseminar magistrantidele(ITI0080)/Master Seminar in Software Engineering (IXX8010).. 2011 Kevad (Anier):.. http://cs.. ee/iti0080.. 2,5 AP/5 CP.. Lecturer:.. Maili Markvardt (maili [at] asaquality.. ee).. Time:.. Tuesdays 17.. 45 - 19.. 15.. Place:.. Küberneetika maja, B-126 (Akadeemia tee 21).. Main area of interest in spring 2008 is software testing and quality assurance.. Participating students can pick sub-topics to be discussed during the semester.. Course requirements.. Presentation, topic agreed with the lecturer, duration 30 minutes.. Examination at the end of the semester.. Information.. Examination: 13th of May, in the seminar.. See.. preparation hints.. !.. Outline.. Date.. Topic/materials.. Presenter.. 29.. 01.. 2008.. Introductory seminar.. 05.. 02.. Introduction to the seminar.. Introduction to testing I.. Maili Markvardt.. 12.. Introduction to testing II.. Bug advocacy.. 19.. UML Testing Profile and TTCN-3.. Issues on Test Coverage I.. 04.. 03.. Issues on Test Coverage II.. Automated Test Data generation.. 18.. Introduction to Model-based testing.. Deveoping test cases and test data.. Gennadi Jakutin.. 25.. 2008.. An overview of TTCN-3.. Ruiqi Zhang.. 01.. Software Testing Principles.. Konstantin Muhhin.. Exploratory testing.. Alo Roots.. 08.. Formal Methods in Software Testing.. Jaanus Kivistik.. Introduction to performance, load and stress testing.. Tanel Lauringson.. 15.. Unit testing with phpUnit.. Julia Bondar.. Unit testing with JUnit.. Tatiana Totskaya.. An example of MBT.. 22.. Practical Security Testing.. Sven Petai.. Test-Driven Development.. Juri Timošin.. Testing throughout the software lifecycle.. Ljudmilla Karu.. 06.. 05.. Nikolai Tšihhatšjov.. Certification in testing area.. Ewa Anna Czekalska.. Examination.. Possible topics.. Introduction to testing and test management.. Testing types.. Functional testing.. Performance and load testing.. Security testing.. Software requirements and testing requirements.. Soft methods for testing (exploratory testing, usability testing).. How do I know I have tested enough? Formal and informal coverage criteria.. Test data generation.. Test automation.. Classic testing theory.. Model-based testing.. Books:.. Mike Andrews, James A.. Whittaker (2006): How to break software: Functional and Security Testing  ...   2008 [13:51 UTC] by maili.. 70.. 2910.. 5 : 277.. Karu_Testing_Throughout_Lifecycle.. Testing throughout SW lifecycle.. Thu 01 of Mai, 2008 [13:34 UTC] by maili.. 923.. 2618.. 6 : 276.. Petai_security.. Practical security testing.. Sat 26 of Apr, 2008 [13:20 UTC] by maili.. 220.. 2438.. 7 : 274.. MBTExample.. MBT example.. Thu 17 of Apr, 2008 [04:25 UTC] by maili.. 112.. 1831.. 8 : 273.. phpunit.. phpUnit.. Thu 17 of Apr, 2008 [04:24 UTC] by maili.. 182.. 78 Kb.. 3842.. 9 : 272.. JUnit.. 184.. 83 Kb.. 5200.. 10 : 271.. Lauringson_Performance.. Performance, load and stress testing.. Sun 13 of Apr, 2008 [11:14 UTC] by maili.. 312.. 2220.. 11 : 270.. Kivistik_FM.. 51.. 20 Kb.. 1823.. 12 : 269.. Muhhin_SWT_principles.. pptx.. Software Testing Principles.. Tue 08 of Apr, 2008 [12:58 UTC] by maili.. 222.. 2839.. 13 : 268.. Roots_ET.. 127.. 49 Kb.. 2673.. 14 : 260.. Zhang_TTCN.. An overivew of TTC-3.. Tue 25 of Mar, 2008 [18:07 UTC] by maili.. 745.. 98 Kb.. 4601.. 15 : 259.. Jakutin_TestCases.. Developing test cases and test data.. Mon 24 of Mar, 2008 [16:16 UTC] by maili.. 646.. 3525.. 16 : 258.. 7_MBT.. Introduction to model-based testing.. Mon 24 of Mar, 2008 [16:12 UTC] by maili.. 77.. 3262.. 17 : 257.. 7_tdg.. Automated Test Data Generation.. Sat 15 of Mar, 2008 [06:27 UTC] by maili.. 217.. 60 Kb.. 5631.. 18 : 255.. 5_coverage2.. Test coverage II.. Tue 04 of Mar, 2008 [18:10 UTC] by maili.. 86.. 53 Kb.. 2507.. 19 : 254.. 4_coverage.. Test coverage I.. Tue 26 of Feb, 2008 [17:22 UTC] by maili.. 109.. 2597.. 20 : 253.. 3_UMLTP.. 18 Mb.. 4602.. 21 : 252.. 2_Bug_advoacy.. Bug Advocacy.. Tue 26 of Feb, 2008 [17:21 UTC] by maili.. 52.. 22 Kb.. 1738.. 22 : 250.. 0_Aine_tutvustus.. Tue 26 of Feb, 2008 [17:19 UTC] by maili.. 45.. 06 Kb.. 1833..

    Original link path: /tiki-index.php?page=ITI0080
    Open archive

  • Title: TTÜ arvutiteaduse instituut : ITI8905
    Descriptive info: ITI8905.. Java Fundamentals.. This course (code: ITI8905) teaches students the core concepts of Java and the JVM.. Multithreading, concurrency, memory model, heap dumps, profiling, performance tuning, meta programming will be tackled.. All subjects are hands-on and require that the student writes reads code and/or tunes the JVM.. The goal of the course is teach the fundamental aspects of Java that every developer should know and thus be able to write almost any program in Java.. Basically, learning how to build the plane not how to be a passenger in the plane.. Original course page:.. http://jf.. 0t.. After passing the course, students will be able to:.. Write multithreaded Java code.. Use Java 5 concurrency API.. Read thread dumps.. Profile Java applications.. Understand Java memory model.. Read and generate Java byte code.. Know most important JVM flags.. Course information.. Java Fundamentals (3EAP,  ...   7 assignments during the lecture period.. Exam has 2 parts: written and oral:.. Written - multiple choice test.. Oral - 2 questions, quick chat (10mins).. Course material.. Lecture 1: Introduction to the course.. Lecture 2: Java IO.. -.. Assignment.. deadline 15.. 2013.. Lecture 3: Java NET.. deadline 21.. Lecture 4: Process IO and NIO.. 2.. deadline 28.. Lecture 5: Threads and Java Memory Model.. deadline 07.. Lecture 6: More Threads: thread-safity and locks.. deadline 14.. Lecture 7: Concurrency API.. Lecture 8: Concurrency: Fork-Join.. Lecture 9: Java Memory Management.. deadline 4.. Lecture 10: Class Loaders.. deadline 11.. Lecture 11: Reflection API and dynamic proxy.. deadline 18.. Lecture 12: Javassist.. , complementary:.. Java Bytecode.. deadline 25.. Lecture 13: Java 7, Generics, AppServers.. deadline 3.. Lecture 14: Java Troubleshooting Performance.. deadline 9.. juhan.. last modification: Esmaspäev 06 of Mai, 2013 [12:28:50 UTC] by.. toomas..

    Original link path: /tiki-index.php?page=ITI8905
    Open archive

  • Title: WAI4150 Hübriidsüsteemid
    Descriptive info: Aine sisu:.. Formaalsete meetodite uued rakendusvaldkonnad: ohutuskriitilised ja reaalaja hübriidsüsteemid -robotid, juhitavad lendobjektid, pilooditaautod jms.. Hübriidsüsteemides toimuvad interaktsioonid diskreetsete komponentide (arvutid) ja pidevate komponentide (andurid, täiturid) vahel.. Teadmised ja praktilised oskused formaalsete meetodite rakendamiseks hübriidsüsteemide analüüsiks ja projekteerimiseks.. Hübriidsüsteemide verifitseerimisprobleemid.. Kaks verifitseerimismeetodite klassi: algoritmiline ja deduktiivne verifitseerimine.. Hübriidautomaadid, lineaarne temporaalloogika, automaadid paremalt pidevatel trajektooridel.. Kestvusarvutuse spetsifitseerimisekeel, tuletussüsteem ja verifitseerimisprobleemid.. Kood:.. ITI0100 (vana kood WAI4150).. Lektor:.. Prof.. Kontakt:.. vain@ioc.. Loengumaterjalid.. Nr.. Teema.. Materjal.. Uuendatud materjalid.. uus!.. loengud2004.. Sissejuhatus hübriidsüsteemidesse.. pdf.. Põhimõisted.. 4.. Täitmise olemasolu.. Täitmise unikaalsus.. 6.. Zenoni hübriidautomaadid.. Avatud hübriidautomaadid ja nende kompositsioon.. 8.. Verifitseerimine, süntees ja valideerimine.. Stabiilsus..  ...   praktikumis antud kodune ülesanne.. Ning esitada see paberkandjal.. Lisaks võib osutuda vajalikuks vastata mõnele täpsustavale küsimusele mudeli osas.. b) Sooritada edukalt kontrolltöö.. (vt.. kordamisküsimused.. Küsimuste tõusetumisel / segasuste esinemisel võib need esitada meili teel või võib leppida kokku aja konsultatsiooniks.. Abiks praktikumiülesannete tegemisel.. PtolemyII 4.. 0.. 1.. http://ptolemy.. eecs.. berkeley.. edu/ptolemyII/.. Pisike programmijupp PtolemyII ja HyVisual mudelite parandamiseks.. fixptiimodel.. jar.. (ver 0.. 021, 21.. 10.. 2004, sisaldab lähtekoodi).. Kasutusjuhend.. Charon.. http://www.. cis.. upenn.. edu/mobies/charon/implementation.. html.. Uppaal.. uppaal.. com.. Lisalugemist.. Sardsüsteemide arendamise projekt "Giotto".. http://www-cad.. edu/~fresco/giotto/.. Hübriidsüsteemide kursus Berkeley's.. http://robotics.. edu/~lygeros/Teaching/ee291E.. Hübriidsüsteemide kursus UPennis.. seas.. edu/%7Epappasg/EE601/.. Viimati muudetud 2.. 12.. 2004..

    Original link path: /kursused/iti0100/
    Open archive


  • Archived pages: 387