See on dokumendi vana versioon!


Meie laboratooriumi liikmed loevad mitmeid kursusi (peamiselt Tallinna Tehnikaülikoolis). Rohkem informatsiooni iga kursuse kohta on võimalik leida ülikooli õppeinfosüsteemist.

Ainekood Aine nimetus Õppejõud
ISS0031 Modelleerimine ja identifitseerimine J. Belikov
YMR0064 Arvutialgebra mittelineaarsetes juhtimissüsteemides Ü. Kotta
YMR0065 Algebralised meetodid mittelineaarsetes juhtimissüsteemides Ü. Kotta
YFR0080 Füüsika täiendusõpe T. Mullari
YFR0030 Füüsika T. Mullari
YFR0012 Füüsika II T. Mullari
ITI0021 Loogiline programmeerimine J. Vain
ITI0130 Formaalsed meetodid J. Vain
ITI0135 Formaalsed meetodid - projekt J. Vain
ITI8530 Formaalmeetodid reaalaja sardsüsteemide arenduses J. Vain
ITI8540 Süsteemide usaldusväärsus ja tõrkekindlus J. Vain
ITI9111 Reaalaja süsteemide mudelipõhine testimine ja valideerimine J. Vain
ITI9191 Formaalmeetodite eripeatükid J. Vain
ITX003P Erialapraktika J. Vain
ITX004P Erialapraktika J. Vain
ITX8510 Menetluspraktika J. Vain
ITX8511 Menetluspraktika infotehnoloogias J. Vain
ITX8520 Tarkvaraprojekt J. Vain
IXX9601 Doktoriseminar I J. Vain
IXX9602 Doktoriseminar II J. Vain
IXX9603 Doktoriseminar III J. Vain
IXX9611 Doktorantide õpetamispraktika I J. Vain