TTÜ Teoreetilise informaatika õppetooli
KURSUSED
LAI5711
TEOREETILINE INFORMAATIKA I (
theoretical informatics
I)
LAI5720
LOOGIKA ARVUTITEADUSES (
computational logic
)
NB!
LISAINFO
LAI5740
FUNKTSIONAALPROGRAMMEERIMINE (
functional programming
)
LAI5750
TEHISINTELLEKTI ALGORITMID (
algorithms of artificial intelligence
)
NB!
LISAINFO
LAI5760
FORMAALSED SPETSIFITSEERIMISMEETODID (
formal specification methods
)
LAI8712
PROGRAMMIDE SEMANTIKA (TEOREETILINE INFORMAATIKA II) (
semantics of programs
)
LAI8721
AGENTLOOGIKAD (
logic of agency
)
NB!
LISAINFO
LAI8770
TARKVARATEHNIKA ERIKURSUS (
software engineering (advanced course
)
LAI9710
TEADMUSLIKUD TARKVARASÜSTEEMID (
knowledge based software systems
)
