Elementy logiki i teorii mnogości dla informatyków

Język książki: polski
Rok wydania: 2007
ISBN: 9788374933490
Liczba stron: 336
Oprawa: Miękka
książka niedostępna
zapytaj o książkę
Pozycja jest obecnie:
niedostępna
Koszt dostawy:
Paczka w RUCHu od 5,99 zł
Poczta Polska Odbiór w punkcie od 9,99 zł
Poczta Polska doręczenie pod adres od 10,99 zł
FedEx - przesyłka kurierska od 11,99 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.
recenzje czytelników
Zobacz pozostałe recenzji
Twoja ocena:
Twoje imię lub pseudonim:*
Podaj swój adres e-mail lub zaloguj się, aby brać udział w konkursach dla najlepszych recenzentów.
Twój adres e-mail:
Wyrażam zgodę na otrzymywanie informacji handlowych od Administratora za pomocą środków komunikacji elektronicznej, zgodnie z ustawą o świadczeniu usług drogą elektroniczną. Zgoda może być odwołana w każdym czasie. Administratorem danych osobowych Klientów jest: Profit M Spółka z ograniczoną odpowiedzialnością z siedzibą w Warszawie (02-305), Aleje Jerozolimskie 134, NIP 525-22-45-459, Regon 015227002, KRS 0000756053
* Pole obowiązkowe
Przed dodaniem recenzji
zapoznaj się z regulaminem.
Facebook Instagram Twitter YouTube