復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

5,500円以上で送料無料
4,070円(税込)

プログラム意味論(情報数学講座)

横内寛文

4,070円(税込)

(本体価格 3,700 円 + 消費税10%)

配送時期:3~6日後

Tポイント:37ポイント

この商品は現在販売中です

数量: 在庫数:在庫僅少

ご注文のタイミングにより品切れの場合がございます

お気に入りに追加

得票数:34票
プログラム意味論 (情報数学講座)
著者 横内寛文
出版社 共立出版
ジャンル 専門書

商品内容

プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。

第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論

関連キーワード

キーワードの編集

読後レビュー

レビュー投稿はこちら

復刊投稿時のコメント

全33件

  • 興味があります。 (2016/04/05)
    GOOD!0
  • プログラムを学んでいて、興味のある内容だったので。 (2012/02/28)
    GOOD!0
  • 言語意味論に興味があり、この本がとても良いと本だと聞いて (2012/01/22)
    GOOD!0
  • プログラム意味論を学びたい (2012/01/04)
    GOOD!0
  • 型付きラムダ計算について述べられている数少ない日本語書籍であると認識していますので是非復刊をお願いいたします。 (2011/12/13)
    GOOD!0

もっと見る

おすすめ商品

T-POINT 貯まる!使える!