本書由一道競賽題引入麥卡錫函數,介紹了麥卡錫函數與阿克曼函數的相關內容與問題,并同時介紹了莫紹揆數理邏輯的相關內容及其歷史與進展。
本書適合高等學校數學及相關專業(yè)師生使用,也適用于數學愛好者參考閱讀。
目錄
第一編 McCarthy函數與Ackermann函數
第1章 一道競賽題與McCarthy函數
第2章
Ackermann函數
第3章
遞歸函數的歷史與應用
第4章
非原始遞歸函數一例
第5章
一類完全遞歸函數的分層
第6章
胡世華論遞歸結構理論
第二編
莫紹揆數理邏輯
第7章 數理邏輯的由來
第8章
數理邏輯的主要內容
第9章
關于數理邏輯的三大派
第10章
數理邏輯中一些基本概念
第三編
歷史與進展
第11章
林夏水、張尚水介紹數理邏輯在中國
第12章
哥德爾定理數理邏輯發(fā)展的第三階段
附錄1 理論計算機科學引論
附錄2 胡世華先生的學術成就
附錄3莫斯科大學數學計算機系遞歸函數課程講義
編輯手記