Konto

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

Chwilowo niedostępny
48,00 zł
64,00 zł - sugerowana cena detaliczna
Sprzedaje i dostarcza: SIW Znak
Wydawnictwo: Ignatianum
Rodzaj oprawy: Okładka broszurowa (miękka)
Liczba stron: 340
Rok wydania: 2024
Zobacz więcej
Zagadnienia logiki formalnej i ogólnej teorii mnogości
48,00 zł

Inni klienci wybierają również

Zainspiruj się podobnymi wyborami

O książce Zagadnienia logiki formalnej i ogólnej teorii mnogoś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.

Podobne do Zagadnienia logiki formalnej i ogólnej teorii mnogości

Inne książki Adam Jonkisz

Szczegółowe informacje na temat książki Zagadnienia logiki formalnej i ogólnej teorii mnogości

Wydawnictwo: Ignatianum
EAN: 9788376146133
Autor: Adam Jonkisz
Rodzaj oprawy: Okładka broszurowa (miękka)
Liczba stron: 340
Rok wydania: 2024
Data premiery: 2024-05-10
Język wydania: polski
Podmiot odpowiedzialny: Wydawnictwo WAM
Kopernika 26
31-501 kraków
PL
e-mail: [email protected]

Warto przeczytać również

Oceny i recenzje książki Zagadnienia logiki formalnej i ogólnej teorii mnogości

Średnia ocen:
~ /10
Liczba ocen:
0
Powiedz nam, co myślisz!

Pomóż innym i zostaw ocenę!

Ten produkt nie ma jeszcze żadnych recenzji

Pomóż innym i zostaw ocenę!

Z tego samego wydawnictwa

Zyskaj bon o wartości 10 zł
za zapis do newslettera!
Nie przegap nowości, promocji i unikalnych ofert.

minimalna wartość koszyka to 100 zł