Elementy logiki i teorii mnogości dla informatyków

Opis książki:

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, alge 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 Hoarea służącą dowodzeniu poprawności programów.

Książka "Elementy logiki i teorii mnogości dla informatyków" - Zbigniew Huzar - oprawa miękka - Wydawnictwo Oficyna Wydawnicza Politechniki Wrocławskiej. Książka posiada 336 stron i została wydana w 2007 r.