Súvisiace: Download | English version |
Prednášky: utorok 16:30-18:00, m. M-III
Cvičenia: štvrtok 16:30-18:00, m. I-H6
Konzultácie: pondelok 14:00-15:00, m. I-16
Učiteľ: Ján Komara
10.12.2007 priebežne aktualizované. Termíny na skúšku.
Tu nájdete všeobecné informácie o kurze 1-AIN-625 Úvod do matematickej logiky pre programátorov.
Tu nájdete súbor obsahujúci termíny na skúšku. Je priebežne aktualizovaný.
Tu sa nachádza súhrn vašich výsledkov (celkové hodnotenie).
29.11.2007 Test z 29.11 je opravený.
12.11.2007 Test bude vo štvrtok 29.11 na cvičení.
2.11.2007 Pridaný súbor obsahujúci zadanie 7. cvičenia.
11.10.2007 Konzultácie sú v pondelok o 14:00-15:00, m. I16.
3.10.2007 Pridaný súbor obsahujúci vaše celkové hodnotenie .
* – aktualizované v priebehu posledných 7 dní | Posledná zmena: 2013-02-07T18:42+0100 |