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

定　價：￥118.00

作　者：	劉培杰數(shù)學工作室著
出版社：	哈爾濱工業(yè)大學出版社
叢編項：
標　簽：	>數(shù)學 >數(shù)學理論 >自然科學

購買這本書可以去

ISBN：	9787560364940	出版時間：	2017-10-01	包裝：	精裝
開本：	16開	頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　本書由一道競賽題引入麥卡錫函數(shù)，介紹了麥卡錫函數(shù)與阿克曼函數(shù)的相關(guān)內(nèi)容與問題，并同時介紹了莫紹揆數(shù)理邏輯的相關(guān)內(nèi)容及其歷史與進展。

作者簡介

暫缺《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ù)理邏輯中一些基本概念
第三編歷史與進展
第11章林夏水、張尚水介紹數(shù)理邏輯在中國
第12章哥德爾定理—數(shù)理邏輯發(fā)展的第三階段
附錄1 理論計算機科學引論
附錄2 胡世華先生的學術(shù)成就
附錄3莫斯科大學數(shù)學計算機系遞歸函數(shù)課程講義
編輯手記