Logika i teoria mnogości 06-DLOGLMX
Student pozna system logiki klasycznej i zobaczy, jak stosuje się on do formalizacji teorii matematycznych.
Student zapozna się również z pojęciem dowodu i konsekwencji oraz z ich własnościami metalogicznymi.
Wykład teorii mnogości ujętej w sposób aksjomatyczny jest poświęcony bardziej zaawansowanym działom teorii mocy i teorii porządków oraz zagadnieniom metamatematycznym, w tym roli i statusowi aksjomatu wyboru i hipotezy kontinuum.
Literatura
Batóg T., Podstawy logiki, Wydawnictwo Naukowe UAM, Poznań 2003
Borkowski L., Wprowadzenie do logiki i teorii mnogości, Lublin 1991
Grzegorczyk A., Zarys logiki matematycznej, Wyd. Nauk. PWN, Warszawa 2003
Guzicki W., Zbierski P., Podstawy teorii mnogości, Warszawa 1978
Kuratowski K., Mostowski A., Teoria mnogości, Warszawa 1978
Mostowski A., Logika matematyczna, Warszawa-Wrocław 1948
Murawski R., Świrydowicz K., Wstęp do teorii mnogości, Poznań 2006
Słupecki J., Hałkowska K., Piróg-Rzepecka K., Logika matematyczna, Warszawa-Wrocław 1978
Shoenfield J.R., Mathematical Logic, Reading, Mass., 1967
Trzęsicki K., Logika i teoria mnogości. Ujęcie systematyczno-historyczne, Warszawa 2003
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: