Roman Murawski

Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki....

Książka składa się z dwu zasadniczych części. W Części I autor omawia stanowiska w filozofii matematyki do końca XIX wieku, czyli do czasu powstania współczesnych kierunków filozofii matematyki. Tym ostatnim poświęcona jest Część II, w której mowa o logicyzmie, intuicjonizmie i trendach konstruktywistycznych, o formalizmie oraz o najnowszych...

FILOZOFIA MATEMATYKI I LOGIKI W POLSCE MIĘDZYWOJENNEJ to monografia będąca prezentacją i analizą koncepcji filozoficznych dotyczących matematyki i logiki formułowanych przez polskich logików, matematyków i filozofów w latach 1918-1939. Był to szczególny okres w historii nauki polskiej - to wtedy powstały i rozwijały się lwowsko-warszawska szkoła...

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