Świrydowicz Kazimierz

Książka jest pierwszym w literaturze opracowaniem dotyczącym znaku ikonicznego. Przedstawiony materiał to w dużej mierze oryginalne, własne rozwiązanie autora. Książka składa się z 12 rozdziałów. Pierwsze trzy wprowadzają w problematykę sem

Książka stanowi wynik poszukiwań podjętych w ramach badawczego "Inwigilacja pracowników i studentów UAM przez służby specjalne PRL" realizowanego w Oddziale Instytutu Pamięci Narodowej w Poznaniu. Jest wyborem jawnych dokumentów uzyskanych

Podręcznik, obok materiału na poziomie dostępnym dla studentów filozofii i matematyki (prezentacja podstawowych systemów logiki modalnej, semantyka relacyjna), zawiera opis systemów mających zastosowania w matematyce i filozofii (logika deo

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 aksjomat

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

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

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ń, z