Mathematical Logic: Part 2 - 9780198500513

Logika stanowi podstawę matematyki i dlatego jest podstawową częścią każdego kursu matematyki. Jest to główny element informatyki teoretycznej i przeszedł ogromne odrodzenie wraz ze stale rosnącym znaczeniem informatyki. Tekst ten powstał na podstawie kursu dla studentów studiów licencjackich i zapewnia jasne i przystępne wprowadzenie do logiki matematycznej. Koncepcja modelu zapewnia temat przewodni, nadając tekstowi teoretyczną spójność, a jednocześnie obejmując szeroki obszar logiki. Po stworzeniu podstaw w Części I, niniejsza książka rozpoczyna się od teorii rekurencji, tematu istotnego dla naukowca kompletnego. Następnie następuje twierdzenie Godla o niezupełności i aksjomatyczna teoria mnogości. Rozdział 8 zawiera wprowadzenie do teorii modeli. W każdym rozdziale znajdują się przykłady, a na końcu znajduje się zróżnicowany wybór ćwiczeń. Odpowiedzi do ćwiczeń znajdują się w załączniku.