Newsletter

Elementy logiki i teorii mnogości dla informatyków

Zbigniew Huzar
Nicht am Lager
Ostatnio widziany
14.03.2013
41,01 zł
Dostawa Deutche Post tylko 2€.
Szybki kurier do 30kg tylko - 4€!
(Sprawdź!)

lub
Vorliegende Bewertungen
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.

Książka Elementy logiki i teorii mnogości dla informatyków wysyłka Niemiecy od 2€. Wysyłka do Austrii i innych krajów - sprawdź na stronie "dostawa"

Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik) / Produkt-Typ Buch auf Polnish
Dział / Departement Książki i czasopisma / Bücher und Zeitschriften
Autor / Author Zbigniew Huzar
Tytuł / Titel Elementy logiki i teorii mnogości dla informatyków
Język / Sprache polski / polnisch
Wydawca / Herausgeber Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania / Erscheinungsjahr 2007
Rodzaj oprawy / Deckelform Miękka
Wymiary / Größe 17.0x24.0
Liczba stron / Seiten 336
Ciężar / Gewicht 0,558 kg
   
ISBN 9788374933490 (9788374933490)
EAN/UPC 9788374933490
Stan produktu / Zustand Neue Bücher - wir verkaufen nur neue, polnische Bücher.

Tags
Vorliegende Bewertungen
Zapraszamy do zakupu tego produktu.