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.

Ján Komara

Vyučovacie predmety:

• Logika pre informatikov (1)
• Logika pre informatikov (2)
• Špecifikácia a verifikácia programov
• Teória vypočítateľnosti pre programátorov