English version

• polskie
podział tematyczny
 
• anglojęzyczne
podział tematyczny
 
Newsletter:

• Zamów informacje o nowościach z wybranego tematu
 
Informacje:

• o księgarni

• koszty wysyłki

• kontakt

• Cookies na stronie

Elementy logiki i teorii mnogości dla informatyków

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.

142 strony, Format: 14.0x20.0cm, oprawa miękka