計算的數學理論

計算的數學理論

《計算的數學理論》是1986年科學出版社出版的圖書,作者是(美)馬納(Manna, Z.)。

基本介紹

  • 書名:計算的數學理論
  • 作者:(美)馬納(Manna, Z.)
  • 類別:數學、計算機科學技術 
  • 出版社:科學出版社
  • 出版時間:1986年
  • ISBN:15031745 
內容簡介,圖書目錄,

內容簡介

本書是一部以可計算性理論和數理邏輯為工具,討論程式正確性驗證的專著。著者Z。馬納教授是本領域中世界公認的著名學者。他的這部著作和譯本所附的“程式的邏輯分析”(1977)及“電腦程式設計的邏輯方法”(1978)兩篇論文是電腦程式設計方面的重要理論著作,為許多文獻所引用。
本書可作為計算機軟體和基礎數學專業高年級大學生和研究生的教科書,也可供從事計算機理論工作的科技人員和教師閱讀參考。

圖書目錄

譯者序
目錄
序言
第一章 可計算性
第二章 謂詞演算
第三章 程式的驗證
第四章 框圖模式
第五章 程式的不動點理論
附第一篇論文:程式的邏輯分析
附第二篇論文:電腦程式設計的邏輯方法

相關詞條

熱門詞條

聯絡我們