Elementy logiki i teorii mnogości dla informatyków

Huzar Z.

Elementy logiki i teorii mnogości dla informatyków

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, obejmująca 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.

Cena: 34 zł
Liczba stron: 336Format: 170 × 240 mmRok wydania: 2007
ISBN 978-83-7493-349-0

Brak możliwości komentowania.