Podstawy logiki i teorii mnogości
Autorzy: Roman Murawski , Kazimierz Świrydowicz
Wydawca: Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości. Przeznaczony jest dla zaocznych studentów informatyki. Część pierwsza poświęcona jest rachunkowi zdań i rachunkowi predykatów oraz funkcjom logicznym i aksjomatycznemu ujęciu logiki klasycznej.
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości. Przeznaczony jest dla zaocznych studentów informatyki. Część pierwsza poświęcona jest rachunkowi zdań i rachunkowi predykatów oraz funkcjom logicznym i aksjomatycznemu ujęciu logiki klasycznej. Część druga to wykład elementów nieaksjomatycznej (naiwnej) teorii mnogości (algebra zbiorów, relacje, funkcje, teoria mocy). Do książki dołączono dodatek zawierający uwagi historyczne o rozwoju logiki formalnej i teorii mnogości.
Dodatkowe informacje
Komentarze i rencenzje
Brak ocen, komentarzy i recenzji.
Chcesz dodać komentarz lub ocenę?
Aby dodawać komentarze i oceny, musisz być zalogowany.
