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.
Podstawy logiki i teorii mnogości
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,…
- Autor: Roman Murawski;Kazimierz Świrydowicz
- Ilość stron: 162
- Wydawnictwo: Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
- Numer ISBN: 9788323230557
- Data wydania: 2016-01-01
Oceny czytelników
Ta publikacja nie ma jeszcze ocen.
Dodaj pierwszą recenzję “Podstawy logiki i teorii mnogości”