Podstawy logiki i teorii mnogości
Ładowanie...
Data
Promotor
Redaktor
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Wydawnictwo Naukowe UAM
Tytuł alternatywny
Abstrakt
Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości przeznaczony 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 tzw. naiwnej (tzn. nieaksjomatycznej) teorii mnogości (algebra zbiorów, relacje, funkcje, teoria mocy). Do książki dołączono dodatek zawierający uwagi historyczne o rozwoju logiki i teorii mnogości.
Opis
Instytucja finansująca badania
Słowa kluczowe
logika matematyczna, teoria mnogości, funkcje logiczne, logika klasyczna
Cytowanie
Murawski R., Świrydowicz K., Podstawy logiki i teorii mnogości. Wydanie II poprawione, Poznań: Wydawnictwo Naukowe UAM, 2016, s. 162
Seria
ISBN
978-83-232-3055-7