本書采用獨(dú)特的敘述方法，引導(dǎo)讀者利用Python編程實(shí)現(xiàn)基本的邏輯概念和數(shù)學(xué)證明來學(xué)習(xí)數(shù)理邏輯。這種專為編程基礎(chǔ)日益增強(qiáng)的當(dāng)代學(xué)子量身打造的教學(xué)方法，充分契合其直覺認(rèn)知與技術(shù)優(yōu)勢，將數(shù)理邏輯學(xué)習(xí)帶入他們熟悉的編程語境，通過深度實(shí)踐構(gòu)建清晰認(rèn)知，并借助可運(yùn)行代碼的創(chuàng)作來幫助讀者獲得成就感。本書主要內(nèi)容涵蓋命題邏輯、一階謂詞邏輯和哥德爾完備性定理證明等，配套資源包括漸進(jìn)式編程實(shí)踐任務(wù)集、模塊化代碼框架、自動化測試用例。