Podstawy logiki i teorii mnogości

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.

Informacja dotycząca wprowadzenia produktu do obrotu:
Ten produkt został wprowadzony na rynek przed 13 grudnia 2024 r. zgodnie z obowiązującymi wówczas przepisami (Dyrektywą o ogólnym bezpieczeństwie produktów). W związku z tym może on być nadal sprzedawany bez konieczności dostosowania do nowych wymogów wynikających z Rozporządzenia o Ogólnym Bezpieczeństwie Produktów (GPSR). Produkt zachowuje pełną legalność w obrocie, a jego jakość i bezpieczeństwo pozostają zgodne z obowiązującymi wcześniej standardami.

Information regarding product placement on the market:
This product was placed on the market before December 13, 2024, in accordance with the applicable regulations at the time (the General Product Safety Directive). As a result, it can continue to be sold without needing to meet the new requirements introduced by the General Product Safety Regulation (GPSR). The product remains fully compliant with all previously valid legal standards, ensuring its continued quality and safety.