Elementy logiki i teorii mnogości dla informatyków

  • Dodaj recenzję:
  • Kod: 278
  • Dostępność: Jest
  • Autor: Halina Matuszewska, Wojciech Matuszewski
  • ISBN: 83-88442-56-2
  • Format / Liczba stron: A5 / 142
  • Oprawa: miękka
  • szt.
  • 26,00 zł

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