Logika 1000-212aLOG
1. Struktury relacyjne. Podstruktury, homomorfizmy, kongruencje
2. Algebry termów i unifikacja.
3. Klasy algebr definiowalne równościowo. Algebry wolne.
4. Skladnia i semantyka rachunku zdan i rachunku predykatow.
5. Pojecie spelniania i prawdziwosci formuly.
6. Pojęcie dowodu formalnego. Twierdzenie o pełności.
7. Twierdzenie o zwartości i jego zastosowania.
8. Formalna arytmetyka. Twierdzenie Godla o niezupełności.
9. Informacja o logice intuicjonistycznej.
10. Reguła rezolucji i podstawy programowania w logice.
Wymagania wstępne: Wstęp do teorii mnogości.
Rodzaj przedmiotu
Literatura
1. Z. Adamowicz, P. Zbierski "Logika matematyczna", PWN, 1991.
2. H. Rasiowa "Wstęp do matematyki wspólczesnej", PWN, 1971.
3. W. Marek, J. Onyszkiewicz,
4. "Elementy logiki i teorii mnogości w zadaniach'', PWN, 1996.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: