Ksiazki - Informatyczne .pl » informatyka » informatyka Elementy logiki i teorii mnogości dla informatyków | Wydawnictwo: bel
Autor: Wojciech Matuszewska Halina Matuszewski
Liczba stron: 142
Wymiary: 14 x 20 cm
Oprawa: miękka
ISBN: 8388442562
|
Czas dostawy: produkt chwilowo niedostępny
Cena detaliczna: 19,60 zł
Nasza cena: 18,60 zł
|
Opis 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.
|
