**Program:**
1. Zasada indukcji.
2. Składnia i semantyka rachunku zdań i rachunku predykatów. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł.
3. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma, iloczyn, iloczyn kartezjański, zbiór potęgowy, relacje, funkcje, relacje równoważności, klasy abstrakcji, zbiór ilorazowy.
4. Moce zbiorów. Zbiory skończone i nieskończone. Zbiory przeliczalne i zbiory mocy continuum. Twierdzenia Cantora i Cantora-Bernsteina.
5. Porządki częściowe i liniowe. Dobre porządki. Indukcja noetherowska.
6. Unifikacja termów. Informacja o metodzie rezolucji.
7. Dowodzenie twierdzeń. Informacja o systemie naturalnej dedukcji.
**Wymagania:** Matematyka w zakresie szkoły średniej
