okładka Zagadnienia logiki formalnej i ogólnej teorii mnogości książka | Adam Jonkisz

Pobierz za darmo fragment ebooka

Zagadnienia logiki formalnej i ogólnej teorii mnogości Adam Jonkisz książka

Moja ocena:

Sprzedaje i dostarcza: SIW Znak

Dodano do koszyka

Koszyk
Promocja

Produkt dostępny Metody dostawy

Zamówienie wyślemy najpóźniej: w poniedziałek

Sprzedaje i dostarcza: SIW Znak

Opis treści

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 informacje na temat książki Zagadnienia logiki formalnej i ogólnej teorii mnogości

Opinie i oceny książki Zagadnienia logiki formalnej i ogólnej teorii mnogości

0,0

0 ocen / 0 opinii

razem z Lubimy Czytać
Oceń
Zagadnienia logiki formalnej i ogólnej teorii mnogości

Zagadnienia logiki formalnej i ogólnej teorii mnogości

Adam Jonkisz,

Moja ocena:
    • Zagadnienia logiki...

      Książka. Oprawa miękka

      64,00 zł  

    • bumerang