Karta katalogowa książki
Autor:
H. Matuszewska, W. Matuszewski
Tytuł:
Elementy logiki i teorii mnogości dla informatyków
Liczba stron:
142
Format:
A5
Oprawa:
miękka
Data wydania:
2003-09-19
ISBN:
83-88442-56-2
Zleceniodawca:
BEL Studio Sp. z o.o.
Sugerowana cena detaliczna:
28.00 zł
Opis:
Książka przeznaczona jest 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 początkowych rozdziałów wchodzą: zadania, 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 rozdziałów zawiera krótkie omówienie teorii i rozwiązane przykłady ilustrujące teorię, zadania do samodzielnego rozwiązania i odpowiedzi do zadań.