Elementy logiki i teorii mnogości dla informatyków - Wojciech Matuszewski; Halina Matuszewska

Elementy logiki i teorii mnogości dla informatyków
4.00 Oceń książkę!

Autor: Wojciech Matuszewski; Halina Matuszewska

 Wydawnictwo: BEL
ISBN: 8388442562
EAN:
Format: 140 x 200
Oprawa: miękka
Stron: 142
Data wydania: 2003-10-01
Gdzie kupić tanią książkę?
Merlin
książka
14.99zł
Kup książkę
Selkar
książka
22.97zł
Kup książkę
Książka w Twoim domu w ciągu 48h
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.

Książka "Elementy logiki i teorii mnogości dla informatyków"
Wojciech Matuszewski; Halina Matuszewska