Pytania z egzaminu pisemnego z podstaw logiki i teorii mnogości
Jak widzicie lista jest niekompletna ale wspólnymi siłami na pewno uda się nam ją uzupełnić 
Proszę pisać w komentarzach lub mailowo.
Szczególnie gr. I
Gr. I
- -definicja dowodu
- -dwa aksjomaty w LPR dla duzego kwantyfikatora
- -funkcja zachowujaca zero, funkcja samodwoista, funkcja monotniczn wraz z przyladami i kontrprzykladami
- -dowod formuly VxA->A
- -wartosci zera w algebrach boole’a
- -reguly wtorne w LPR (definicja + poznane na wykladzie reguly wtorne)
- -definicja tautologii
- -dowod (AnB)’=A’u B’ (u-suma, n-iloczyn)
- -udowodnic, ze przedzial (0,1)eR nie jest przeliczalny
- -semantyczne twierdzenie o podstawianiu (def.)
- -zapisac prawa rozdzielnosci alternatywy wzgledem koniunkcji i w druga strone w KRZ
- -
- -
- -
Gr. II
Kolejność się może nie zgadzać 
- Definicje funkcji zachowującej 1, liniowej, samodwoistej oraz po jednym przykładzie na tak i na nie - z uzasadnieniem.
- Pokaż (albo i udowodnij?), że przedział (0,1) jest nieprzeliczalny
- Definicja funkcji “na” oraz przykład funkcji
, która jest “na”, ale nie jest różnowartościowa.
- -
- -
- -
- -
- -
- -
- -
- -
- -
- -
- -
Wydrukuj ten post
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
Zbiór teorii na kolokwium z logiki (gr. 11) - 26.11.2007
- wersja 2.0
- nie ma jeszcze tego co mieliśmy skserować od drugiej grupy…
(more…)
Zajęcia prowadził: dr hab. Maciej Kandulski
ALGEBRY BOOLE’A
Algebra Boolea
Dualność w algebrach Boole’a
(more…)
Zajęcia prowadził: dr hab. Maciej Kandulski
Literatura
Zdanie w sensie logiki
Klasyczna definicja prawdy
Wnioskowanie
Reguła odrywania (Modus Poneus)
KLASYCZNY RACHUNEK ZDAŃ
Spójniki
Symbole alfabetu języka rachunku zdań
Zmienne zdaniowe
Zbiór formuł jezyka rachunku zdań
Podstawianie
(more…)
