Elementy logiki i teorii mnogości dla informatyków


Matuszewska Halina, Matuszewski Wojciech

Elementy logiki i teorii mnogości dla informatyków

Oprawa miękka
Liczba stron: 142
Wydawnictwo: BEL Studio
20,58 16,06

Do koszyka
oszczędzasz: 4,52

Zamów dziś,
książkę wyślemy już 2017-02-28

Koszt dostawy + więcej

Pakiety

+ =
Cena pakietu:
57,48 36,36
Do koszyka
oszczędzasz: 21,12

 

Książka jest przeznaczona dla studentów informatyki uczących się przedmiotu „logika i teoria mnogości". Zakres książki jest zgodny ze standardami nauczania dla kierunku studiów „Informatyka". W zakres dziesięciu początkowych rozdziałów wchodzą: zdania, tautologie, reguły dowodzenia, funkcje zdaniowe, kwantyfikatory, zbiory, relacje (w tym relacje równoważności i relacje porządku) oraz funkcje. Każdy z tych rozdziałów zawiera krótkie omówienie teorii, rozwiązane przykłady ilustrujące teorię, zadania do samodzielnego rozwiązania i odpowiedzi do zadań. Ostatnie cztery rozdziały dotyczą zagadnień trudniejszych: mocy zbioru, typów porządkowych, aksjomatyki teorii mnogości oraz teorii formalnych. Te rozdziały zawierają jedynie krótkie streszczenie wiadomości związanych z omawianymi tematami. Czytelnik pragnący pogłębić swą wiedzę w tym zakresie powinien sięgnąć do obszerniejszych pozycji literatury.

Recenzje

Dodaj własną recenzję.
Wygraj książkę.

Dodaj recenzję

Zapraszamy do napisania własnej recenzji, możesz wysłać do nas tekst poprzez formularz.



Komentarze czytelników

Pozostaw komentarz...