出版時間:2012-11 出版社:哈爾濱工業(yè)大學(xué)出版社 作者:劉培杰 頁數(shù):119 字?jǐn)?shù):105000
Tag標(biāo)簽:無
內(nèi)容概要
《麥卡錫函數(shù)和阿克曼函數(shù)——從一道前南斯拉夫數(shù)學(xué)奧林匹克試題談起》從一道前南斯拉夫數(shù)學(xué)奧林匹克試題談起,以粗獷的線條,簡明的介紹了麥卡錫函數(shù)、阿克曼函數(shù)及遞歸函數(shù)。通過對小試題的討論,展示給讀者一個關(guān)于數(shù)理邏輯的大世界,是一本通向數(shù)理邏輯殿堂的橋梁之作。
《麥卡錫函數(shù)和阿克曼函數(shù)——從一道前南斯拉夫數(shù)學(xué)奧林匹克試題談起》由劉培杰、康大臣編著。
書籍目錄
第1章 一道競賽題與麥卡錫函數(shù)
第2章 阿克曼函數(shù)
第3章 遞歸函數(shù)的歷史與應(yīng)用
第4章 非原始遞歸函數(shù)一例
第5章 一類完全遞歸函數(shù)的分層
第6章 胡世華論遞歸結(jié)構(gòu)理論
§1 可數(shù)代數(shù)結(jié)構(gòu)中的顯定義
§2 原始遞歸函數(shù)和遞歸結(jié)構(gòu)
附錄Ⅰ 胡世華先生的學(xué)術(shù)成就
附錄Ⅱ 莫斯科大學(xué)數(shù)學(xué)計(jì)算機(jī)系遞歸函數(shù)課程講義
參考文獻(xiàn)
編輯手記
編輯推薦
◎阿克曼函數(shù) ◎遞歸函數(shù)的歷史與應(yīng)用 ◎非原始遞歸函數(shù)一例 ◎一類完全遞歸函數(shù)的分層 ◎可數(shù)代數(shù)結(jié)構(gòu)中的顯定義
圖書封面
圖書標(biāo)簽Tags
無
評論、評分、閱讀與下載