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
Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów --- Pozycja niedostępna.---
|