McCarthy函數(shù)和Ackermann函數(shù)

第一編 McCarthy函數(shù)與Acker—mann函數(shù)
第1章 一道競賽題與McCarthy函數(shù)
第2章 Ackermann函數(shù)
第3章 遞歸函數(shù)的歷史與應(yīng)用
第4章 非原始遞歸函數(shù)一例
第5章 一類完全遞歸函數(shù)的分層
第6章 胡世華論遞歸結(jié)構(gòu)理論
第二編 莫紹揆數(shù)理邏輯
第7章 數(shù)理邏輯的由來
第8章 數(shù)理邏輯的主要內(nèi)容
第9章 關(guān)于數(shù)理邏輯的三大派
第10章 數(shù)理邏輯中一些基本概念
第三編 歷史與進(jìn)展
第11章 林夏水、張尚水介紹數(shù)理邏輯在中國
第12章 哥德爾定理—數(shù)理邏輯發(fā)展的第三階段
附錄1 理論計算機(jī)科學(xué)引論
附錄2 胡世華先生的學(xué)術(shù)成就
附錄3莫斯科大學(xué)數(shù)學(xué)計算機(jī)系遞歸函數(shù)課程講義
編輯手記