Opis: Podstawy logiki i teorii mnogości - Murawski Roman, Świrydowicz Kazimierz

Podręcznik skierowany jest do studentów informatyki. Składa się z 9 rozdziałów: 1-4 - wykład logiki matematycznej; 5-9 - podstawy teorii mnogości w ujęciu nieaksjomatycznym.

W rozdz. 1 przedstawione są elementy klasycznego rachunku zdań, zaś w rozdz. 2 omówiono funkcje logiczne. W kolejnych rozdziałach rozważane są: elementy rachunku predykatów, podstawowe pojęcia teorii mnogości, w tym działania na zbiorach i algebrze Boole'a oraz relacje i ich własności. Podstawowe własności funkcji i operacje na funkcjach omówione są w rozdz. 7-8. Rozdz. 9 zawiera podstawy teorii mocy zbiorów i liczb kardynalnych.

Książkę zaopatrzono w Dodatek zbierający ciekawe uwagi dotyczące historii logiki i teorii mnogości. Autorzy zamieszczają interesujące informacje o dorobku logików polskich i ich wkładzie w rozwój teorii mnogości.

Szczegóły: Podstawy logiki i teorii mnogości - Murawski Roman, Świrydowicz Kazimierz

Tytuł: Podstawy logiki i teorii mnogości
Autor: Murawski Roman, Świrydowicz Kazimierz
Wydawnictwo: Wydawnictwo Naukowe UAM
ISBN: 9788323216728
Języki: polski
Rok wydania: 2006
Ilość stron: 162
Format: 17.0x24.0cm
Oprawa: Miękka
Waga: 0.29 kg

Recenzje: Podstawy logiki i teorii mnogości - Murawski Roman, Świrydowicz Kazimierz