Podstawy logiki matematycznej

Opinie czytelników

Książka jest kompleksowym tekstem na temat logiki matematycznej, oferującym dobrze zorganizowane wprowadzenie do różnych tematów, takich jak logika zdań, logika pierwszego rzędu, teoria zbiorów, teoria modeli i teoria rekurencji. Podczas gdy wielu recenzentów chwali jego przejrzystość, spójność i głębię, niektórzy wskazują na znaczące pominięcia, szczególnie w teorii dowodu, co sprawia, że tekst wydaje się niekompletny w niektórych obszarach.

Wszechstronne omówienie tematów logiki matematycznej.

Dobrze napisana, z wyjątkową przejrzystością i spójnością.

(na podstawie 3 opinii czytelników)

Oryginalny tytuł:

Fundamentals of Mathematical Logic

Zawartość książki:

Ten wprowadzający tekst dla absolwentów obejmuje współczesną logikę matematyczną, od logiki propozycji, logiki pierwszego rzędu i nieskończoności oraz twierdzeń Godela o niekompletności, po obszerne wprowadzenie do teorii zbiorów, teorii modeli i teorii rekurencji (obliczalności).

Opierając się na ponad 35-letnim doświadczeniu autora w nauczaniu, książka rozwija intuicję uczniów, przedstawiając złożone idee w najprostszym kontekście, dla którego mają one sens. Książka jest odpowiednia do wykorzystania jako tekst w klasie, do samodzielnej nauki i jako odniesienie do stanu współczesnej logiki.