Elementy logiki i teorii mnogości dla informatyków
Autor:
Huzar Zbigniew
wysyłka: niedostępny
ISBN:
9788374933490
EAN:
9788374933490
oprawa:
Miękka
format:
17.0x24.0cm
język:
polski
liczba stron:
336
rok wydania:
2007
(0) Sprawdź recenzje
33% rabatu
21,99 zł
Cena detaliczna:
33,00 zł
dodaj do schowka
koszty dostawy
Najniższa cena z ostatnich 30 dni: 21,93 zł
Opis produktu
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.
x
Uwaga!!!
Ten produkt jest zapowiedzią. Realizacja Twojego zamówienia ulegnie przez to wydłużeniu do czasu premiery tej pozycji. Czy chcesz dodać ten produkt do koszyka?
TAK
NIE
Wybierz wariant produktu
|