Spis treści
X
| Przedmowa tłumacza VII | |
| Przedmowa do wydania czwartego IX | |
| Przedmowa do wydania pierwszego X | |
| 1. TEORIA MNOGOŚCI | 1 |
| 1.1. Operacje na zbiorach | 1 |
| 1.2. Relacje i funkcje | 9 |
| 1.3. Szczególne relacje binarne | 19 |
| 1.4. Liczby kardynalne | 31 |
| 1.5. Liczby porządkowe | 36 |
| 1.6. Działania na liczbach kardynalnych | 48 |
| 2. LOGIKA MATEMATYCZNA | 54 |
| 2.1. Algebra zdań | 54 |
| 2.2. Funkcje algebry logiki | 64 |
| 2.3. Rachunki zdaniowe | 71 |
| 2.4. Język logiki predykatów | 85 |
| 2.5. Spełnianie formuł logiki predykatów | 95 |
| 2.6. Rachunki predykatów | 105 |
| 2.7. Teorie aksjomatyczne | 117 |
| 2.8. Produkty zredukowane | 129 |
| 2.9. Klasy aksjomatyzowalne | 139 |
| 3. TEORIA ALGORYTMÓW | 150 |
| 3.1. Funkcje częściowo rekurencyjne | 150 |
| 3.2. Maszyny Turinga | 164 |
| 3.3. Zbiory rekurencyjne i rekurencyjnie przeliczalne | 171 |
| 3.4. Numeracje Kleenego i Posta | 179 |
| ODPOWIEDZI, ROZWIĄZANIA, WSKAZÓWKI | 188 |
| 1. Teoria mnogości | 188 |
| 2. Logika matematyczna | 228 |
| 3. Teoria algorytmów | 281 |
| Spis literatury | 305 |
| Skorowidz | 310 |
SZCZEGÓŁY WYDANIA
Spis treści
Liczba stron
328
Kategoria
Logika matematyczna
Wydawca
Wydawnictwo Naukowe PWN
ISBN-13
978-83-0114-238-4
Numer wydania
1
Słowa kluczowe
PROMOCJE
I OFERTY SPECJALNE
Dodaj do schowka
Opis
Jeden z najlepszych zbiorów zadań z logiki matematycznej napisanych w ostatnich latach. Zawiera 900 ciekawych zadań ułożonych według wzrastającego stopnia trudności - większość z nich z odpowiedziami, rozwiązaniami i wskazówkami. Zadania te dotyczą 3 działów matematyki: logiki matematycznej, teorii mnogości i teorii algorytmów. W każdym rozdziale znajduje się krótkie wprowadzenie teoretyczne zawierające niezbędne informacje, definicje pojęć oraz najważniejsze twierdzenia potrzebne do rozwiązania zadań.
Opinie o książce:
[...] Zaletą omawianego zbioru zadań jest ujęcie problematyki z punktu widzenia potrzeb kształcenia na kierunku Informatyka. Poza oczywistą przydatnością w nauczaniu przedmiotów matematycznych [...] omawiany zbiór zadań znakomicie uzupełni literaturę do przedmiotów: Teoretyczne podstawy informatyki, Algorytmy i struktury danych, Programowanie deklaratywne, czy Sztuczna inteligencja. [...] Zadania są bardzo zróżnicowane pod względem trudności, co pozwala na ich elastyczne wykorzystanie. Przykładowe rozwiązania i wskazówki ułatwiają samodzielną pracę z podręcznikiem. Należy podkreślić wysoką jakość tłumaczenia, która zachowuje zarówno przejrzystość wykładu, jak i poprawność terminologiczną. [...] informację o podręczniku należy kierować [...] bezpośrednio do studentów [...] dla których najważniejszymi zaletami są zawarte w podręczniku rozwiązania większości zadań, krótkie i wyczerpujące wprowadzenie teoretyczne do każdego rozdziału i przystępna cena.
(prof. dr hab. inż. Joanna Józefowska, Politechnika Poznańska)
[...] duża ilość ciekawych zadań [...] odpowiedzi do znacznej ich części [...] ciekawe zadania z teorii algorytmów (do tej pory brakowało publikacji, która by takie zadania w takiej ilości zawierała) [...] struktura zbioru jest właściwa i dostosowana do kolejności w jakiej zazwyczaj przerabia się materiał...
(dr Krzysztof Bobolik, UMCS)
[...] omawiana pozycja wyróżnia się ilością proponowanych zadań i stopniem ich zróżnicowania: poszczególne rozdziały zawierają zarówno zadania bardzo łatwe, jak i trudniejsze [...] Większość zadań zaopatrzona jest w odpowiedzi lub wskazówki. [...] Tym, co wyróżnia omawiany zbiór zadań spośród podobnych pozycji, jest rozdział [...] zawierający zadania z teorii algorytmów, przy czym szczególny nacisk został położony na teorię rekurencji - jedną z najistotniejszych metodologii informatyki teoretycznej. Tak obfitego źródła zadań dotyczących rekurencji nie znalazłem w żadnym znanym mi do tej pory źródle. [...] omawiany zbiór zadań jest pozycją cenną, a obszerne jego fragmenty mogą zostać wykorzystane na zajęciach z matematyki dyskretnej (gdzie będę go polecał studentom), wstępu do algorytmów i wstępu do matematyki...
(dr Jacek Rogowski, Politechnika Łódzka)
Oceny użytkowników