Elementy logiki i teorii mnogości dla informatyków

Koszt dostawy: | ||
Paczka w RUCHu | od 5,99 zł | |
Paczkomaty InPost | od 9,99 zł | |
Poczta Polska Odbiór w punkcie | od 10,99 zł | |
InPost - przesyłka kurierska | od 11,99 zł | |
Poczta Polska doręczenie pod adres | od 11,99 zł | |
FedEx - przesyłka kurierska | od 12,99 zł |
- Opis produktu
Wprowadzenie wyjaśniające czym jest logika zawarto w pierwszym rozdziale, natomiast pozostały materiał podzielono na cztery części.
Część pierwsza obejmuje rozdziały od 2. do 6.. Jest prezentacją elementów teorii mnogości, algebr abstrakcyjnych i języków formalnych.
W części drugiej, obejmującej rozdziały od 7 do 10, omówiono rachunek zdań i kwantyfikatorów - ich składnię, semantykę oraz związane z nimi systemy dowodzenia oparte na sekwentach Gentzena i regule rezolucji.
Część trzecia ma charakter informacyjny. W rozdziałach 11 i 12 omówiono krótko inne systemy dowodzenia oraz dokonano przeglądu innych nieklasycznych logik.
W części czwartej, obejmującej rozdziały 13 i 14, przedstawiono zastosowanie metod logiki do definiowania składni i semantyki języków programowania oraz klasyczną logikę programów Hoare'a służącą dowodzeniu poprawności programów.