Elementy logiki i teorii mnogości dla informatyków
Huzar Zbigniew
Elementy logiki i teorii mnogości dla informatyków
Huzar Zbigniew
- Wydawnictwo: Oficyna Wydawnicza Politechniki Wrocławskiej
- Rok wydania: 2007
- ISBN: 9788374933490
- Ilość stron: 336
- Format: 17.0x24.0cm
- Oprawa: Miękka
Niedostępna
Opis: Elementy logiki i teorii mnogości dla informatyków - Huzar Zbigniew
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.
Szczegóły: Elementy logiki i teorii mnogości dla informatyków - Huzar Zbigniew
Tytuł: Elementy logiki i teorii mnogości dla informatyków
Autor: Huzar Zbigniew
Wydawnictwo: Oficyna Wydawnicza Politechniki Wrocławskiej
ISBN: 9788374933490
Języki: polski
Rok wydania: 2007
Ilość stron: 336
Format: 17.0x24.0cm
Oprawa: Miękka
Waga: 0.558 kg