Elementy logiki i teorii mnogości w zadaniach WIKTOR MAREK JANUSZ ONYSZKIEWICZ

PWN 1999, str. 272, stan db+


Jest to kolejne wznowienie dobrze znanego matematykom zbioru zadań z rozwiązaniami lub odpowiedziami. Pierwsze dziewięć rozdziałów zawiera zadania do wybranych zagadnień matematyki, stanowiących treść wstępnych wykładów dla studentów matematyki na uniwersytetach i w szkołach pedagogicznych, natomiast zadania z ostatnich czterech rozdziałów przeznaczone są dla nieco bardziej zaawansowanych adeptów matematyki.
Pomocą w korzystaniu ze zbioru są krótkie wstępy teoretyczne do każdego rozdziału oraz skorowidz stosowanych w książce oznaczeń.


SPIS TREŚCI
Przedmowa do wydania pierwszego
Przedmowa do wydania drugiego
Zadania
Rozdział I. Rachunek zdań
Rozdział II. Algebra zbiorów
Rozdział III. Funkcje zdaniowe, kwantyfikatory
Rozdział IV. Relacje. Relacja równoważności
Rozdział V. Funkcje
Rozdział VI. Działania nieskończone
Rozdział VII. Teoria mocy
Rozdział VIII. Relacje porządkujące
Rozdział IX. Zestawy ogólnie sprawdzające
Rozdział X. Arytmetyka liczb kardynalnych i porządkowych
Rozdział XI. Elementarne systemy formalne i ich podstawowe własności
Rozdział XII. Teoria modeli
Rozdział XIII. Funkcje rekurencyjne
Dodatek I. Indukcja matematyczna
Dodatek II. Kraty, algebry Boole'a
Odpowiedzi, rozwiązania, wskazówki
Do rozdziału I
Do rozdziału II
Do rozdziału III
Do rozdziału IV
Do rozdziału V
Do rozdziału VI
Do rozdziału VII
Do rozdziału VIII
Do rozdziału X
Do rozdziału XI
Do rozdziału XII
Do rozdziału XIII
Do dodatku 1
Do dodatku II
Literatura uzupełniająca
Spis ważniejszych symboli i oznaczeń
Skorowidz ważniejszych terminów