1. TOP
  2. ショッピング
  3. 専門書
  4. 『プログラム意味論(情報数学講座)(横内寛文)』 販売ページ

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

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

  • 著者: 横内寛文
  • 出版社: 共立出版
  • ジャンル: 専門書
  • 配送時期: 3~6日後
  • 在庫数: 在庫僅少

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

  • 価格: 3,996 円 (税込)
    (本体価格 3,700 円 + 消費税8%)
  • Tポイント: 37ポイント ポイントについて
  • 数量:
関連キーワード : [キーワードの編集] help「キーワードの編集」のリンクから、関連キーワードの追加/削除が行えます。
このエントリーをはてなブックマークに追加

商品内容

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

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

すでに本をお持ちの方は是非レビューをお寄せください。

レビュー投稿はこちら

復刊投票時のコメント(34件)

興味があります。 (2016/04/05)

0

プログラムを学んでいて、興味のある内容だったので。 (2012/02/28)

0

言語意味論に興味があり、この本がとても良いと本だと聞いて (2012/01/22)

0

プログラム意味論を学びたい (2012/01/04)

0

型付きラムダ計算について述べられている数少ない日本語書籍であると認識していますので是非復刊をお願いいたします。 (2011/12/13)

0

もっと見る

ニュース

2011/09/12
『プログラム意味論(情報数学講座)』復刊決定!

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

学習参考書教育書受験書に関するQ&A

二十年近く前に小学校の試験で読んだ小説を探しています。

小学校の国語の試験に出た小説を探しています。 太平洋戦争で学童疎開した少年が主人公でした。 少年は地元の子供たちから、度胸試しで高所から川に飛び込むことを求められます。少年はバカにされたくなかったた...

支払/配送方法

お支払い

送料は全国一律380円(税込)です。代金引換をご利用の場合、配送手数料とは別に代金引換手数料300円(税込)が別途必要になります。

5,250円以上で送料無料!10,500円以上代引き手数料無料!

キャンセル・返品についてはこちら

関連商品

TOPへ戻る