プログラム意味論(情報数学講座)
横内寛文
著者 | 横内寛文 |
---|---|
出版社 | 共立出版 |
ジャンル | 専門書 |
商品内容
プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
読後レビュー
復刊投稿時のコメント
全32件
おすすめ商品
-
英語構文全解説 新装版
税込 3,300円
-
計算道具の歴史 石、そろばんから電卓まで
計算道具の歴史 石、そろばんから電卓まで
税込 3,960円
-
みんなの校正教室
税込 2,420円
-
数覚とは何か? 心が数を創り、操る仕組み
税込 1,760円
-
[ 古書 ]新版 秘密の博物誌 <象徴哲学大系 II>
税込 3,520円
-
古典物理の数理 <岩波オンデマンド>
税込 4,730円
-
復刊 物性定数推算法
税込 8,250円
-
ラテン広文典 新装復刊
税込 5,720円
-
新版 現代文 読解の基礎講義
税込 1,760円
-
[ 古書 ]英熟語の集中治療室 <INTENSIVE CARE 2>
税込 1,320円
-
数学思考のエッセンス 実装するための12講
税込 3,960円
-
英文法どっちがどっち 単語の品詞がわかる本
税込 1,870円
支払い / 配送方法
送料は全国一律380円(税込)です。代金引換をご利用の場合、配送手数料とは別に代金引換手数料300円(税込)が別途必要になります。
yattan