計算論 : 計算可能性とラムダ計算
Author(s)
Bibliographic Information
計算論 : 計算可能性とラムダ計算
(コンピュータサイエンス大学講座, 24)
近代科学社, 1991.8
- Title Transcription
-
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
Available at / 237 libraries
-
Prefectural University of Hiroshima Library and Academic Information Center
410.9||Ta33120004175
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p181-183. 索引: 巻末
Description and Table of Contents
Table of Contents
- 数学的用語、記法など
- 1 計算可能な関数
- 2 λ計算の基礎
- 3 λ計算のモデル
- 付録(主要命題一覧;証明の補足;問のヒント)
by "BOOK database"