Formaalsete keelte teooria

Üldinfo

Kood: MTAT.05.114

Punkte: 2 EAP

Tunde: 16 loengutundi

Kontrollivorm: arvestus

Lektor: Prof. Mati Pentus (Moskva Riiklik Ülikool)

Kontakt: Varmo Vene

Tunniplaan:

• E 16.11. kl 10-14, Liivi 2 - 405/403
• T 17.11. kl 10-14, Liivi 2 - 511/405
• K 18.11. kl 10-14, Liivi 2 - 402
• N 19.11. kl 12-16, Liivi 2 - 404

Kursuse toimumist toetab Eesti Infotehnoloogia Sihtasutus IKT-alase kõrghariduse toetusprogrammi Tiigriülikool+ raames.

Loengute materjalid

• Loengukonspekt
• Lühikonspekt
• Ülesanded