Klasyczny rachunek zdań. Zarys teorii
- Kategoria:
- informatyka, matematyka
- Wydawnictwo:
- Wydawnictwo Naukowe PWN
- Data wydania:
- 1975-01-01
- Data 1. wyd. pol.:
- 1975-01-01
- Liczba stron:
- 226
- Czas czytania
- 3 godz. 46 min.
- Język:
- polski
- Tagi:
- logika logika formalna formalizm logiczny logika matematyczna klasyczny rachunek zdań metamatematyka matematyka metamatematyka
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ę.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 1
- 1
- 1
- 1
OPINIE i DYSKUSJE