Recenzii ale cititorilor
Rezumat:Cartea are recenzii mixte, unii utilizatori lăudând-o ca fiind un excelent text de auto-studiu care acoperă o gamă largă de subiecte din logica matematică, în timp ce alții îi critică lizibilitatea și materialul dens, afirmând că nu este potrivită pentru începători. De asemenea, au fost semnalate diverse probleme specifice legate de calitatea publicației, în special în ultima ediție.
Avantaje:Bună pentru studiu individual, acoperire cuprinzătoare a subiectelor de logică matematică, material accesibil în primul capitol, eficientă pentru cei cu unele cunoștințe anterioare.
Dezavantaje:Fonturi de subscripție neclare și greu de citit, material dens care necesită lecturi multiple, exemple insuficiente pentru rezolvarea problemelor, explicații introductive slabe pentru secțiunile majore și inconsecvențe ale publicației.
(pe baza a 5 recenzii ale cititorilor)
Titlul original:
Introduction to Mathematical Logic
Conținutul cărții:
Noua ediție a acestui manual clasic, Introducere în logica matematică, ediția a șaseaexplorează principalele subiecte ale logicii matematice. Acesta acoperă logica propozițională, logica de ordinul întâi, teoria numerelor de ordinul întâi, teoria axiomatică a seturilor și teoria calculabilității.
Textul discută, de asemenea, rezultatele majore ale lui Godel, Church, Kleene, Rosser și Turing. A șasea ediție încorporează lucrări recente privind a doua teoremă de incompletitudine a lui Godel, precum și restabilirea unui apendice privind dovezile de consistență pentru aritmetica de ordinul întâi. Acest apendice a apărut ultima dată în prima ediție.
El este oferit în noua ediție din considerente istorice. Textul oferă, de asemenea, perspective istorice și multe exerciții noi de dificultate variabilă, care motivează și conduc studenții la o înțelegere aprofundată și practică a materialului.
