Podstawy logiki i teorii mnogości
Informatyka I, studia zaoczne
(15 godzin)
Logika zdań
. Składnia. Semantyka. Aksjomatyzacja, pojęcie dowodu i tezy.
Logika kwantyfikatorów
. Składnia. Aksjomatyzacja logiki kwantyfikatorów. Przykładowe tezy.
Elementy teorii zbiorów
. Zbiory, działania na zbiorach i ich wasnosci. Algebra zbiorów. Działania uogólnione.
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.
Funkcje.
Bijekcja. Funkcja odwrotna. Obrazy i przeciwobrazy.
Elementy teorii mocy
. Równoliczność zbiorów. Zbiory przeliczalne i nieprzeliczalne.
Literatura
Podręczniki:
M. Ben-Ari,
Logika matematyczna w informatyce
. Seria: Klasyka Informatyki, WNT, 2005.
K. Kuratowski,
Wstęp do teorii mnogości i topologii.
PWN (wiele wydań).
H. Rasiowa,
Wstęp do matematyki współczensnej.
PWN (wiele wydań).
Zbiory zadań:
I. Ławrow, Ł. Maksimowa,
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów.
PWN, 2004.
W. Marek, J. Onyszkiewcz,
Elementy logiki i teorii mnogości w zadaniach.
PWN (wiele wydań).
Powrót