H.D.EBBINGHAUS

本書是一部難度適中的本科生數學教材。主要講述了什麼是數學證明，這些證明怎麼能夠被驗證以及電腦在多大程度上能夠執行這些數學證明。本書從一階邏輯以及它在數學基礎中的作用的講述開始，深入闡述了Trachtenbrot的不可判定性理論，基礎等值理論的Fraisse特性，以及邏輯程序設計的基礎這些經典的知識點。讀者對象：本書適用於數學、電腦科學、人工智慧和決策學等各個領域的本科生、研究生以及相關專業的研究人員。



作者：H.D. 埃賓豪斯（H.D.Ebbinghaus），是德國弗萊堡大學（Universit?t Freiburg） 數學系教授。