ďťż
Zakład Logiki Matematycznej
Wydział Matematyki i Informatyki
Uniwersytet im. A. Mickiewicza w Poznaniu
  Strona główna       Pracownicy       Doktoranci    
  Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci    
               

LOG 210 - Wybrane zagadnienia logiki matematycznej

* Syntetyczne zagadnienia rachunku predykatów: aksjomatyczne podstawy rachunku predykatów, pojęcie dowodu i konsekwencji, twierdzenie o dedukcji, redukcja zbioru aksjomatów rachunku predykatów, twierdzenia o neutralności logiki wobec stałych pozalogicznych, twierdzenie o dowodach założeniowych, niesprzeczność rachunku predykatów, postacie prefiksowe.

* Systemy dedukcyjne i ich własności: systemy dedukcyjne, niesprzeczność, dowód niesprzeczności ograniczonego systemu teorii mnogości, niezależność aksjomatów, zupełność, dowód zupełności elementarnej teorii nierówności.

* Elementy semantyki: interpretacje, spełnianie, pojęcie prawdy, homomorfizmy interpretacji, tautologie, modele, pełność rachunku predykatów i pojęcie wynikania.