Elementy logiki i teorii mnogości dla informatyków
Halina Matuszewska, Wojciech Matuszewski
Elementy logiki i teorii mnogości dla informatyków
Halina Matuszewska, Wojciech Matuszewski
- Wydawnictwo: BEL Studio
- Rok wydania: 2017
- ISBN: 8388442562
- Ilość stron: 142
- Format: 14.0x20.0cm
- Oprawa: Miękka
Niedostępna
Opis: Elementy logiki i teorii mnogości dla informatyków - Halina Matuszewska, Wojciech Matuszewski
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.
Szczegóły: Elementy logiki i teorii mnogości dla informatyków - Halina Matuszewska, Wojciech Matuszewski
Tytuł: Elementy logiki i teorii mnogości dla informatyków
Autor: Halina Matuszewska, Wojciech Matuszewski
Wydawnictwo: BEL Studio
Kod paskowy: 9788388442568
ISBN: 8388442562
Języki: polski
Rok wydania: 2017
Ilość stron: 142
Format: 14.0x20.0cm
Oprawa: Miękka
Waga: 0.185 kg
