Promocje
Opus Magnum C++ 11. Programowanie w języku C++
Opus Magnum C++ 11. Programowanie w języku C++
149,00 zł 113,24 zł
egz
Produkt dnia
Byłbym zapomniał...
Byłbym zapomniał...
39,90 zł 31,12 zł
egz
Nie i Tak. Adam Ferency w rozmowie z Mają Jaszewską
Nie i Tak. Adam Ferency w rozmowie z Mają Jaszewską
39,90 zł 31,12 zł

Elementy logiki i teorii mnogości dla informatyków

64573
  • promocja
Dostępność: brak towaru
Cena: 32,59 zł 33,60 zł 32.59
Cena w innych sklepach: 33,60 zł
ilość egz
do schowka
Ocena: 0
Producent: Oficyna Wyd.Politechniki Wrocławskiej
Kod produktu: 00_64659

Opis

autor: Huzar Zbigniew
rok wydania: 2007
ilość stron: 336
oprawa: miękka
format: B5
ISBN: 9788374933490


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.


SPIS TREŚCI:

Przedmowa

1. Elementarne pojęcia logiczne
2. Elementarne pojęcia mnogościowe
3. Relacje i funkcje
4. Aksjomatyczna i alternatywne teorie zbiorów
5. Równoliczność zbiorów, liczby kardynalne
6. Zbiory i funkcje obliczalne
7. Języki formalne i gramatyki
8. Algebry abstrakcyjne
9. Rachunek zdań
10. Rachunek kwantyfikatorów
11. Rachunek sekwentów Gentzena
12. Metoda rezolucji
13. Zagadnienia uzupełniające
14. Inne logiki
15. Definiowanie języka programowania
16. Logika programów Hoare’a

Literatura

 

do góry
Sklep jest w trybie podglądu
Pokaż pełną wersję strony
Sklep internetowy Shoper.pl