Umiestnenie: LPP | Výučba | CL Homepage | KAI | FMFI UKBratislave

1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2010/11

Prednášky: utorok 16:30-18:30, m. M-III
Cvičenia: utorok 18:10-19:40, m. I-H3
Konzultácie: streda 14:00-15:00, m. I-16
Učiteľ: Ján Komara

Novinky

20.XII.2010 priebežne aktualizované. Konzultácie počas skúšobného obdobia.

... tu nájdete ostatné správy.

O kurze

Tu nájdete všeobecné informácie o kurze 1-AIN-625 Úvod do matematickej logiky pre programátorov.

Literatúra

... ďalšia literatúra.

Cvičenia

Testy

Skúška

Hodnotenie

Tu sa nachádza súhrn vašich výsledkov (celkové hodnotenie).

Staršie správy

4.12.2010 Test z 30.11 je opravený.

18.10.2010 Pridaný súbor obsahujúci vaše celkové hodnotenie.


* – aktualizované v priebehu posledných 7 dní Posledná zmena: 2013-02-07T18:38+0100