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