計算論 : 計算可能性とラムダ計算
著者
書誌事項
計算論 : 計算可能性とラムダ計算
(コンピュータサイエンス大学講座, 24)
近代科学社, 1991.8
- タイトル読み
-
ケイサンロン : ケイサン カノウセイ ト ラムダ ケイサン
大学図書館所蔵 全237件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p181-183. 索引: 巻末
内容説明・目次
目次
- 数学的用語、記法など
- 1 計算可能な関数
- 2 λ計算の基礎
- 3 λ計算のモデル
- 付録(主要命題一覧;証明の補足;問のヒント)
「BOOKデータベース」 より