Klasyczny rachunek zdań. Zarys teorii
Producent:
Zadaniem tej książki jest zwięzłe przedstawienie najważniejszych wyników klasycznego, tzn. dwuwartościowego, funkcjonalnie pełnego rachunku zdań. Ubocznym tego efektem jest jednoczesna prezentacja dość ogólnych metod, które do wyników tych prowadzą, oraz charakterystyka aparatury pojęciowej, za pomocą której wyniki te dadzą się uzyskać. Definicje pojęć użytych do wyrażenia własności klasycznego rachunku zdań sformułowane zostały w sposób umożliwiający stosowanie ich również do nieklasycznych rachunków zdań. Dość liczne wzmianki o tych ostatnich mają jednak charakter jedynie poboczny i służą celom porównawczym.Przy takim określeniu celu tej książki niejednokrotnie trudno było zdecydować, czy pewne zagadnienia klasycznego rachunku zdań powinny zostać w niej omówione, czy też pominięte. W takiej sytuacji autor starał kierować się intuicyjną oceny roli, jaką zagadnienia te pełnią w całej logice formalnej. Stanowisko takie wpłynęło również na ujęcie pewnych zagadnień, przy których przedstawianiu starał się położyć nacisk na intuicje czysto logiczne.Książka ta przeznaczona jest dla Czytelnika posiadającego elementarne zagadnienia logiczne i matematyczne. W zakresie logiki zakłada się podstawową znajomość dwuwartościowego rachunku zdań, operowania kwantyfikatorami, teorii kategorii syntaktycznych oraz teorii konsekwencji Tarskiego. W zakresie matematyki zakłada się podstawową znajomość teorii mnogości (algebra zbiorów, relacje i funkcje, działania nieskończone, moc zbioru) oraz metod dowodzenia i definiowania przez indukcję.
Sklep: tezeusz.pl
Cena:
10.00
10.27
PLN
Przejdź do sklepu