Logika dla Informatyków
- Logika zdań. Składnia. Semantyka, pojęcie tautologii.
Aksjomatyzacja logiki zdań, pojęcie dowodu i tezy. Informacja o
innych systemach dowodzenia -- rezolucja, rachunek sekwentów.
- Logika kwantyfikatorów. Składnia. Aksjomatyzacja logiki
kwantyfikatorów. Przykadowe tezy.
- Elementy teorii zbiorów. Zbiory, działania na zbiorach i
ich wasnosci. Algebra zbiorów. Działania uogólnione. Pojecie relacji.
- Funkcje. Funkcje i ich podstawowe
własnosci. Bijekcja. Funkcja odwrotna. Obrazy i przeciwobrazy.
- Relacje równoważności. Relacja równoważności, klasy abstrakcji. Podział zbioru.
- Relacje częściowego porządku. Relacja częściowego i
liniowego porządku. Słowa, porządek prefiksowy i
leksykograficzny. Drzewa. Element najmniejszy, najwiekszy, minimalny
i maksymalny. Kresy. Kraty i algebry Boole'a -- podstawowe definicje i
przykady.
- Elementy teorii mocy. Równoliczność zbiorów. Moc zbioru,
liczby kardynalne. Zbiory przeliczalne i nieprzeliczalne. Podstawowe
prawa arytmetyki liczb kardynalnych.
Powrót