Výučba prebieha spolu s kurzom 1-INF-450 Logika pre informatikov ZS 2008/09. Tam nájdete ďalšie informácie.