Zagadnienia logiki formalnej i ogólnej teorii mnogości | wydawnictwowam.pl
Darmowa dostawa od 45 zł Mando.pl » Katechizmy »
+48 12 629 32 60 Pn-Pt 8.00-16.00
Zagadnienia logiki formalnej i ogólnej teorii mnogości

Zagadnienia logiki formalnej i ogólnej teorii mnogości

książka
Adam Jonkisz
przeczytaj: 

Nota o książce

Książka ta jest drugą spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Zagadnienia podjęte w rozważaniach są wybrane z logiki formalnej i ogólnej teorii mnogości. Najobszerniej jest omawiany klasyczny rachunek zdań, a zwłaszcza metoda założeniowa; spośród rachunków zdań nieklasycznych zostały wybrane rachunki logiki wielowartościowej, modalnej (rozumianej wąsko), deontycznej oraz logika intuicjonistyczna i tzw. logiki pośrednie.

Również charakterystyka logiki predykatów jest skupiona na rachunkach klasycznych – ponownie z naciskiem na system założeniowy. Teoria wynikania zdań kategorycznych jest najpierw omówiona odrębnie, w sposób przyjęty w sylogistyce, uzupełniony o nowsze metody, po czym teoria ta jest zinterpretowana w rachunku predykatów.

W rozdziale poświęconym teorii mnogości są podjęte zagadnienia zwykle umieszczane w jej części zwanej ogólną: podstawowe pojęcia rachunku zbiorów i relacji, wybrane zagadnienia teorii liczb kardynalnych, zagadnienia związane z antynomiami klasycznej teorii mnogości oraz ze sposobami ich usuwania.

Wyniki prezentowane w niniejszej książce, poświęconej zagadnieniom logiki formalnej i ogólnej teorii mnogości, sformułowane w niej definicje, twierdzenia i dowody są – co nieuniknione – wzorowane na znanych opracowaniach. Nie są jednak ich kompilacją, ponieważ różnią się nie tylko układem definicji i twierdzeń, lecz także ich sformułowaniami zapisanymi w jednolitej notacji (symbolice), komentarzami i przykładami, a często także sposobem uzasadniania twierdzeń (sposobem dowodzenia). Są także w książce merytorycznie nowe propozycje, jak algorytmiczna metoda wyszukiwania zależności definicyjnych między funktorami prawdziwościowymi oraz uproszczone metody sprawdzania poprawności logicznej wnioskowań ze zdaniami kategorycznymi.

Szczegółowe dane

Wydanie: 
pierwsze
Rok wydania: 
2024
Oprawa: 
miękka
Liczba stron: 
340
Wymiary: 
156x 232 mm
Waga: 
0.3 kg
ISBN: 
978-83-7614-613-3

Tytuły tych samych autorów

64,00 zł
cena det. za
egz.

Powiadom mnie o dostępności

Produkt chwilowo niedostępny
Koszty dostawySprawdź
Pocztex0 zł
paczkomaty InPost0 zł
sklepy Żabka0 zł
kurier FedEx14.90 zł
wyślij jako prezent14.90 zł
odbiór osobisty0 zł
pliki do pobrania0 zł
prezenty
mando
outlet
obrazy