Autor: Igor A. Ławrow, Łarysa L. Maksimowa

ISBN: 83-01-14238-3

Ilość stron: 316

Data wydania: 2004

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ń.

Rozdziały:

1. TEORIA MNOGOŚCI
1.1. Operacje na zbiorach
1.2. Relacje i funkcje
1.3. Szczególne relacje binarne
1.4. Liczby kardynalne
1.5. Liczby porządkowe
1.6. Działania na liczbach kardynalnych

2. LOGIKA MATEMATYCZNA
2.1. Algebra zdań
2.2. Funkcje algebry logiki
2.3. Rachunki zdaniowe
2.4. Język logiki predykatów
2.5. Spełnianie formuł logiki predykatów
2.6. Rachunki predykatów
2.7. Teorie aksjomatyczne
2.8. Produkty zredukowane
2.9. Klasy aksjomatyzowalne

3. TEORIA ALGORYTMÓW
3.1. Funkcje częściowo rekurencyjne
3.2. Maszyny Turinga
3.3. Zbiory rekurencyjne i rekurencyjnie przeliczalne
3.4. Numeracje Kleenego i Posta

ODPOWIEDZI, ROZWIĄZANIA, WSKAZÓWKI