計算論 : 計算可能性とラムダ計算

高橋正子 著

[目次]

  • 数学的用語、記法など
  • 1 計算可能な関数
  • 2 λ計算の基礎
  • 3 λ計算のモデル
  • 付録(主要命題一覧
  • 証明の補足
  • 問のヒント)

「BOOKデータベース」より

この本の情報

書名 計算論 : 計算可能性とラムダ計算
著作者等 高橋 正子
書名ヨミ ケイサンロン
書名別名 Keisanron
シリーズ名 コンピュータサイエンス大学講座 24
出版元 近代科学社
刊行年月 1991.8
ページ数 191p
大きさ 22cm
ISBN 4764901846
NCID BN06616709
※クリックでCiNii Booksを表示
全国書誌番号
91065333
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想