Elementy logiki i teorii mnogości dla informatyków
Autor: Matuszewska, Halina
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.
Zobacz pełny opis| Odpowiedzialność: | Halina Matuszewska. | ||||
| Hasła: | Logika matematyczna Teoria mnogości Podręczniki akademickie | ||||
| Adres wydawniczy: | Warszawa : Bel Studio, 2003. | ||||
| Opis fizyczny: | 142 s. ; 21 cm. | Uwagi: | Indeks. | Skocz do: | Dodaj recenzje, komentarz | |
Sprawdź dostępność, zarezerwuj (zamów):
(kliknij w nazwę placówki - więcej informacji)
CzN nr IV
ul Wiktorska 10
tel. 22 845 00 88
Sygnatura: 41.632
Numer inw.: 41632
Dostępność: tylko na miejscu
DWM
Aleje Niepodległości 19
tel. 22 853 01 71
Sygnatura: 2297
Numer inw.: 2297
Pozycja niedostępna