ELiTM zaoczne
Egzamin poprawkowy 6.09 godz 17.
Elitm0 - indukcja
ELiTM1 - rachunek zdań i predykatów
ELiTM2 - rachunek zbiorów
ELiTM3 - sumy i przecięcia
ELiTM4 - relacje
ELiTM5 - funkcje
ELiTM6 - zbiory częściowo uporządkowane
ELiTM7 - moce
Regulamin zaliczenia: na każdych ćwiczeniach z wyjątkiem pierwszych i ostatnich jest kartkówka na 4 punkty, razem 32, 8 punktów za aktywność na ćwiczeniach. Egzamin 60 punktów (40 zadania + 20 teoria). Łącznie 100. Oceny od 50 pkt 3.0, od 60 3.5, od 70 4.0, od 80 4.5, od 90 5.0.
Literatura:
- W. Marek, J. Onyszkiewicz - Elementy logiki i teorii mnogości w zadaniach,
- H. Rasiowa - Wstęp do matematyki współczesnej, PWN
- K. Kuratowski - Wstęp do teorii mnogości i topologii, PWN
- W. Guzicki, P. Zakrzewski – Wykłady ze wstępu do matematyki
- W. Guzicki, P. Zakrzewski - Wstęp do matematyki. Zbiór zadań, PWN 2005
- http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci