Elementy logiki i teorii mnogości dla informatyków

Elementy logiki i teorii mnogości dla informatyków - Zbigniew Huzar

Podręcznik jest przeznaczony dla studentów i doktorantów studiujących informatykę na uczelniach technicznych. 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.