Logika i teoria mnogości

1. 05.10.2007: zestaw 1
2. 12.10.2007: zestaw 2
3. 26.10.2007: zestaw 3
4. 16.11.2007: zestaw 4
5. 23.11.2007: zestaw 5, wejściówka
6. 30.11.2007: zestaw 6
7. 14.12.2007: zestaw 7
8. 11.01.2008: zestaw 8
9. 18.01.2008: zestaw 9
10. 25.01.2008: kolokwium: 25.01.08, 26.01.08
11. 04-10.02.2008: kolokwium poprawkowe
12. 09.02.2008: Egzamin Aula B, 16:00 (karta A, karta B, zestaw A, zestaw B)
13. 16.02.2008: Kolokwium poprawkowe (16:00) i egzamin poprawkowy (17:00)

• klasyczny rachunek zdań
• algebra zbiorów
• klasyczny rachunek kwantyfikatorów
• relacje
• funkcje