Mathematical Logic: Un prim curs

Recenzii ale cititorilor

Cartea lui Joel William Robbin este un text de logică matematică care se străduiește să ofere o introducere clară în teoria modelelor și în logica ordinului întâi. Recenzile evidențiază atât aspecte pozitive, cât și negative ale cărții, unii lăudând prezentarea sa concisă și clară, în timp ce alții critică notația și explicațiile sale.

⬤ Introducere clară și concisă în teoria modelelor și logica ordinii întâi.
⬤ Sunt furnizate toate regulile de formare și axiomatica, ceea ce o face potrivită pentru autoinstruire.
⬤ Bine structurată, cu idei utile și o selecție bună de exerciții.
⬤ Metateoria este prezentată clar, fără demonstrarea excesivă a teoremelor.
⬤ Accesibilă și de bună calitate.

⬤ Notație non-standard care poate fi derutantă pentru unii cititori.
⬤ Lipsa explicațiilor detaliate pentru concepte, ceea ce conduce la o curbă de învățare abruptă pentru unii.
⬤ Notația este considerată demodată de unii recenzenți.

(pe baza a 7 recenzii ale cititorilor)

Titlul original:

Mathematical Logic: A First Course

Conținutul cărții:

Potrivit pentru studenți avansați și absolvenți, acest text de sine stătător va fi atractiv pentru cititorii din diverse domenii și medii - inclusiv matematică, filosofie, lingvistică, informatică și inginerie.

Acesta conține numeroase exerciții cu diferite niveluri de dificultate, multe dintre ele cu soluții. O trecere în revistă a calculului propozițional este urmată de capitole privind logica de ordinul întâi și aritmetica recursivă de ordinul întâi.

Urmează o examinare a aritmetizării sintaxei, împreună cu o analiză a teoremelor de incompletitudine și a altor aplicații ale paradoxului mincinosului. Textul se încheie cu un studiu al logicii de ordinul al doilea și cu o anexă privind teoria seturilor care se va dovedi valoroasă pentru studenții cu pregătire matematică redusă sau inexistentă.