袁相碗

本書以數理邏輯和算法理論的進化為主線，並結合計算機與人工智能學科的發展為其主要特色進行論述。
 
本書共分8章，主要內容包括算法化和公理化矛盾統一的數學史觀，邏輯的數學化，集合論公理化，數學基礎問題三大派之爭，數理邏輯主要內容的形成，丘奇-圖靈論題的創立和計算機的出現，計算機科學與算法，人工智能與算法。其中後兩章介紹了計算機科學、人工智能與算法的關係。
 
本書適合作為高等院校人工智能、計算機科學、數學、哲學等本科專業學生及研究生對應課程的學習教材，也適合作為從事計算機科學和人工智能應用與開發的科技人員的參考用書。