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