Tieto stránky sú zastarané.
Aktuálne informácie nájdete na dai.fmph.uniba.sk.

These pages are outdated.
Refer to dai.fmph.uniba.sk for up-to-date information.

Teória programovania a programovacie paradigmy

Povinné predmety

• Modely konkurentných systémov

Povinne voliteľné predmety

• Logické programovanie
• Teória vypočítateľnosti pre programátorov

Voliteľné predmety

• Úvod do paralelného programovania
• Interaktívne programovanie
• Systémy na prepisovanie termov
• Techniky a implementácie funcionálneho programovania