Przykładowy zestaw pytań z egzaminu pisemnego zdawanego w terminie “zerowym” u dr hab. Macieja Kandulskiego:
- Tautologia - definicja
- Niezawodny schemat wnioskowania - definicja
- Algebra Boole’a - definicja, przykłady
- Zbiór funkcji zachowujących 0
zb. funkcji zachowujących 1
zb. funkcji samodwoistych
zb. funkcji liniowych
zb. funkcji monotonicznych
definicje, przykłady - Twierdzenie Posta-Jabłońskiego (treść)
- Dowód w rachunku predykatów (dowolny)
- Relacja równoważności
relacja częściowego porządku
relacja liniowego porządku
relacja dobrego porządku
-def. - Udowodnić, że dwa koła na płaszczyźnie są równoliczne.
Wydrukuj ten post