Newsletter

Zagadnienia logiki formalnej i ogólnej teorii mnogości

Adam Jonkisz
Niedostepny
Ostatnio widziany
20.10.2024
£15.42
£14.65
Dostawa do UK zawsze tylko £1.90! (Sprawdź!)

lub
Najniższa cena z ostatnich 30 dni: £13.72
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.

Książka Zagadnienia logiki formalnej i ogólnej teorii mnogości - wysyłka UK tylko £1.90.

Irlandia i inne kraje - sprawdź informacja na stronie "dostawa".

Dane bibliograficzne / Bibliographic info
Rodzaj (nośnik) / Type of product książka / book
Dział / Department Książki i czasopisma / Books and periodicals
Autor / Author Adam Jonkisz
Tytuł / Title Zagadnienia logiki formalnej i ogólnej teorii mnogości
Język / Language polski
Wydawca / Publisher Ignatianum
Rok wydania / Published in year 2024
Rodzaj oprawy / Binding type Miękka
Wymiary / Size 15.5x23.5
Liczba stron / Number of pages 340
Ciężar / Weight 0,514 kg
   
Wydano / Published on 20.05.2024
ISBN 9788376146133 (9788376146133)
EAN/UPC 9788376146133
Stan produktu / Condition nowy / new - sprzedajemy wyłącznie nowe nieużywane produkty
Kategorie

Znaczniki produktu
Zapraszamy do zakupu tego produktu.