Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Mathematical Logic
Mathematical Logic: An Introduction to podręcznik, który wykorzystuje narzędzia matematyczne do
Zbadania samej matematyki. W szczególności badane są pojęcia dowodu i prawdy.
Książka przedstawia podstawowe tematy logiki matematycznej i prezentuje jasne i kompletne dowody w całym tekście.
Kompletne dowody w całym tekście. Dowody te są wykorzystywane do rozwijania języka
logiki propozycjonalnej i języka logiki pierwszego rzędu, w tym pojęcia formalnej dedukcji.
dedukcji formalnej. Tekst obejmuje również definicję prawdy Tarskiego i koncepcję obliczalności.
Zawiera również spójne dowody twierdzeń Godela o zupełności i niezupełności.
Co więcej, tekst został napisany z myślą o studentach, dzięki czemu stanowi przystępne
wprowadzenie do logiki matematycznej. W szczególności, tekst wyraźnie pokazuje czytelnikowi
Jak udowodnić podstawowe twierdzenia i przedstawia szczegółowe dowody w całej książce. Większość
książek licencjackich na temat logiki matematycznej jest napisana dla czytelnika, który jest dobrze zorientowany
w notacji logicznej i dowodach matematycznych. Ten podręcznik został napisany, aby przyciągnąć
odbiorców, w tym studentów, którzy nie są jeszcze ekspertami w sztuce dowodu matematycznego.
