Monografia jest 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 okre
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, pr
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
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 przedstawio
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ł
Filozofia matematyki rozwijana jest intensywnie zarówno w Polsce, jak i na świecie. Zajmują się nią uczeni reprezentujący różne dyscypliny. Choć bezpośrednio niepotrzebna właściwie dla uprawiania i r
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
Książka zawiera 19 prac poświęconych rozmaitym zagadnieniom historii logiki i filozofii matematyki. Rozważa się w nich m.in.: rozwój symboliki logicznej, proces przechodzenia od logiki tradycyjnej do
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ł
Książka zawiera osiemnaście prac poświęconych rozmaitym zagadnieniom filozofii i historii matematyki i logiki. Można je podzielić na cztery grupy. Prace pierwszej grupy poświęcone są ogólnym i podsta
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 pred