**Program:**
1. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbior potęgowy, relacje, funkcje, relacje rownoważności, klasy abstrakcji, zbior ilorazowy. (4 godz.)
2. Moce zbiorow. Zbiory skończone i nieskończone. Zbiory przeliczalne. Twierdzenie Cantora i moc continuum. (4 godz.)
3. Częściowe porządki, elementy minimalne i najmniejsze, kresy. Porządki liniowe. Przykłady. Twierdzenia o punkcie stałym. Dobre porządki. (6 godz.)
4. Składnia i semantyka rachunku zdań i rachunku predykatow. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł. Informacja o twierdzeniu o zwartości. (6 godz.)
5. Unifikacja termow. Informacja o metodzie rezolucji. (6 godz.)
6. Dowodzenie twierdzeń. Informacja o gentzenowskich i hilbertowskich systemach dowodzenia. Informacja o twierdzeniu o pełności. (4 godz.)
**Wymagania:** Matematyka w zakresie szkoły średniej
