C言語による計算の理論

鹿島亮 著

[目次]

  • 導入
  • ジャンププログラム
  • 万能関数
  • 計算可能・不可能の境界付近
  • 原始帰納的関数
  • 帰納的部分関数
  • 半決定可能集合
  • 計算不可能性の度合い
  • チューリング機械
  • P≠NP予想
  • ラムダ計算
  • チューリング機械シミュレータ
  • ラムダ計算の定理の詳細な証明

「BOOKデータベース」より

この本の情報

書名 C言語による計算の理論
著作者等 鹿島 亮
書名ヨミ C ゲンゴ ニ ヨル ケイサン ノ リロン
書名別名 C gengo ni yoru keisan no riron
シリーズ名 Computer science library 4
出版元 サイエンス社
刊行年月 2008.10
ページ数 212p
大きさ 22cm
ISBN 978-4-7819-1214-1
NCID BA87291019
※クリックでCiNii Booksを表示
全国書誌番号
21500311
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想