księgarnia informatyczna

Książka informatyczna wydawnictw: BTC Edition Exit Helion Help Microsoft Press Mikom Nakom PJWSTK Read Me Robomatic Skalmierski Tortech Translator WKŁ WNT WSISIZ



Elementy logiki i teorii mnogości dla informatyków         BEL Studio          24.00zł Księgarnia informatyczna komputeks.pl

Autor: Halina Matuszewska, Wojciech Matuszewski

ISBN: 83-88442-56-2

Ilość stron: 142

Data wydania: 2003

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.


Elementy logiki i teorii mnogości dla informatyków

adobe algorytmy apache asp autocad asembler bsd c++ c# delphi dtp excel flash html java javascript linux matlab mysql office php samba voip uml unix visual studio windows word

Księgarnia Informatyczna  zaprasza.