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

著者

• 高橋, 正子 タカハシ, マサコ

書誌事項

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

高橋正子著

（コンピュータサイエンス大学講座, 24）

近代科学社, 1991.8

タイトル読み

ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン

注記

参考文献: p181-183. 索引: 巻末

内容説明・目次

目次

• 数学的用語、記法など
• １　計算可能な関数
• ２　λ計算の基礎
• ３　λ計算のモデル
• 付録（主要命題一覧；証明の補足；問のヒント）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN06616709
• ISBN:
  • 4764901846
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: iv, 191p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC7 : 410.1
• 件名:
  • NDLSH : 数学基礎論
• 親書誌ID:
  • BN00149349