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 15,75

Do koszyka
oszczędzasz: 4,83

Zamów dziś,
książkę wyślemy już 2016-12-05

Koszt dostawy + więcej

Harry Potter i Przeklęte Dziecko. Część I i II
+ =
Cena pakietu:
53,48 33,85
Do koszyka
oszczędzasz: 19,63
+ =
Cena pakietu:
57,48 36,05
Do koszyka
oszczędzasz: 21,43
1/2

 

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ę.

Dodaj recenzję

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



Komentarze czytelników

Pozostaw komentarz...