利用Python學習數理邏輯

利用Python學習數理邏輯

相關主題

商品描述

本書采用獨特的敘述方法，引導讀者利用Python編程實現基本的邏輯概念和數學證明來學習數理邏輯。這種專為編程基礎日益增強的當代學子量身打造的教學方法，充分契合其直覺認知與技術優勢，將數理邏輯學習帶入他們熟悉的編程語境，通過深度實踐構建清晰認知，並借助可運行代碼的創作來幫助讀者獲得成就感。本書主要內容涵蓋命題邏輯、一階謂詞邏輯和哥德爾完備性定理證明等，配套資源包括漸進式編程實踐任務集、模塊化代碼框架、自動化測 例。本書適合已掌握基礎數學證明方法並具備Python編程實操能力的讀者閱讀。

作者簡介

延奈·A. 岡察洛夫斯基（Yannai A. Gonczarowski）哈佛大學經濟學與計算機科學雙聘助理教授，系哈佛大學首位同時在這兩個院系獲得教職的學者。他擁有耶路撒冷希伯來大學數學與計算機科學博士學位，曾獲美國計算機學會（ACM）SIGecom 博士論文獎、 運籌學與管理科學協會（INFORMS）應用概率學會（AMD）青年學者論文獎等多項研究榮譽。此外，他還是一位接受過專業訓練的職業歌劇演員。諾阿姆·尼桑（Noam Nisan）耶路撒冷希伯來大學計算機科學與工程學院教授，2018年至2021年間擔任該院院長。他擁有加州大學伯克利分校計算機科學博士學位，因在計算覆雜性和算法博弈論領域的研究獲得過哥德爾獎（G?del Prize）和高德納獎（Knuth Award）。

類似商品

最後瀏覽商品 (4)