Murawski Roman, Świrydowicz Kazimierz

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...

Podręcznik składa się z dwóch części. Część pierwszą stanowią rozdziały 1 i 2 poświęcone wykładowi elementów rachunku zdań i rachunku predykatów. Druga część, tzn. rozdziały 3-9, poświęcona jest wykładowi tzw. naiwnej teorii mnogości, czyli teorii mnogości w ujęciu nieaksjomatycznym. Ostatni rozdział 10 prezentuje aksjomatyczne ujęcie teorii...

Podręcznik składa się z dwóch części. Część pierwszą stanowią rozdziały 1 i 2 poświęcone wykładowi elementów rachunku zdań i rachunku predykatów. Druga część, tzn. rozdziały 3-9, poświęcona jest wykładowi tzw. naiwnej teorii mnogości, czyli teorii mnogości w ujęciu nieaksjomatycznym. Ostatni rozdział 10 prezentuje aksjomatyczne ujęcie teorii...

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,...