Õppeained

Sel semestril õpetatavate ainete nägemiseks klõpsi siin

Programmeerimise põhikursus - ITI0010
Loogiline programmeerimine - ITI0020
Funktsionaalne programmeerimine - ITI0030
Algoritmid ja andmestruktuurid - ITI0050
Formaalsed meetodid - ITI0060
Rekursiooniteooria - ITI0070
Eriseminar magistrantidele - ITI0080
System reliability and fault-tolerance - ITI8540
Arvutigraafika teooria ja praktika - ITI0090
Hübriidsüsteemid - ITI0100
Hübriidsüsteemid - projekt - ITI0110
Tarkvara testimise alused - ITI0110
Foundations of Embedded Real-Time Systems - ITI8500
Algoritmide ja andmestruktuuride erikursus - ITI8590
Tarkvara automatiseeritud testimine -ITI8901
Mudelipõhine protokollide testimine programmeerimiskeeles C# - ITI8020
Reaalajasüsteemide mudelipõhine valideerimine ja testimine - ITI8040
Hübriidsüsteemide erikursus - ITI9100
Arvutiteaduse eriteemad - ITI9120
Formaalne verifitseerimine - ITI9190
Teoreetiline informaatika 1 - ITT0010
Tehisintellekti algoritmid - ITT0020
Loogika arvutiteaduses - ITT0040
Rekursiooni- ja keerukusteooria - ITT0050
Programmikeelte semantika - ITT9031
Kategooriateooria - ITT9035
Agentloogikad - ITT9040
Arvutiteaduse teooriaseminar - ITT9070
Funktsionaalprogrammeerimine - ITT9080
Tüübiteooria - ITT9200
Geomeetrilise loogika teooria ja rakendused - ITT9201
Funktsionaalprogrammeerimine riistvara disainis ja verifitseerimisel - ITT9202
Tüübid ja analüüsid skriptikeeltele - ITT9203
Monaadid programmeerimises ja verifitseerimisel - ITT9204
Arvutivõrkude ründed ja kaitse - ITT9210
Sissejuhatus informaatikasse - ITV0010
Süsteemprogrammeerimine keeles C - ITV0020
Kasutajaliidesed võrgutehnoloogia baasil - ITV0030
Võrgurakendused 2: Hajussüsteemide tehnoloogia - ITV0040
Operatsioonisüsteemide ja arvutivõrkude administreerimine - ITV0050 ja ITV0051
Teadmiste otsing, formaliseerimine ja hoidmine - ITV0060
Semantika ja analüütiline filosoofia - ITV0070
Rakendusliku loogika süvakursus - ITV0081
Andmebaaside administreerimine - ITV0090
Programmeerimise erikursus - ITV0101
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

[+]