計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) [全集叢書]
    • 計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) [全集叢書]

    • ¥3,740113 ゴールドポイント(3%還元)
    • 在庫あり2025年8月6日水曜日までヨドバシエクストリームサービス便(無料)がお届け
100000009001043444

計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) [全集叢書]

価格:¥3,740(税込)
ゴールドポイント:113 ゴールドポイント(3%還元)(¥113相当)
お届け日:在庫あり今すぐのご注文で、2025年8月6日水曜日までヨドバシエクストリームサービス便(無料)がお届けします。届け先変更]詳しくはこちら
出版社:近代科学社
販売開始日: 1991/08/30
お取り扱い: のお取り扱い商品です。
ご確認事項:返品不可
店舗受け取りが可能です
マルチメディアAkibaマルチメディア梅田マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) の 商品概要

  • 目次(「BOOK」データベースより)

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

計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) の商品スペック

商品仕様
出版社名:近代科学社
著者名:高橋 正子(著)
発行年月日:1991/08/30
ISBN-10:4764901846
ISBN-13:9784764901841
判型:A5
対象:専門
発行形態:全集叢書
内容:工学・工業総記
ページ数:191ページ
縦:22cm
他の近代科学社の書籍を探す

    近代科学社 計算論 計算可能性とラムダ計算(コンピュータサイエンス大学講座〈24〉) [全集叢書] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!