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 |