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

Author(s)

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

Bibliographic Information

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

高橋正子著

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

近代科学社, 1991.8

Title Transcription

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

Note

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

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

• NCID: BN06616709
• ISBN:
  • 4764901846
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: iv, 191p
• Size: 22cm
• Classification:
  • NDC8 : 410.9
  • NDC7 : 410.1
• Subject Headings:
  • NDLSH : 数学基礎論
• Parent Bibliography ID:
  • BN00149349