プログラム意味論（情報数学講座）
横内寛文
| 著者 | 横内寛文 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
商品内容
プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
読後レビュー
復刊投稿時のコメント
全32件
おすすめ商品
-
フランス語解釈法
フランス語解釈法
税込 4,400円
-
［ 古書 ］英熟語の集中治療室 ＜INTENSIVE CARE 2＞
税込 1,320円
-
数学者の思考法 世界を理解するための12のツール
数学者の思考法 世界を理解するための12のツール
税込 3,960円
-
英文法どっちがどっち 単語の品詞がわかる本
税込 1,870円
-
かるた「グラフと数式」
税込 2,300円
-
トランプ「算数・数学」
税込 2,300円
-
折り紙と数学 折って考える美しい形 ＜アルケミスト双書＞
税込 1,320円
-
世界を知る新しい教科書 生物学大図鑑
税込 5,390円
-
ゴート語入門 新版
税込 4,620円
-
ガードナー不思議の国のパズル百科
税込 7,700円
-
対訳 フランス語で読むモーパッサンの怪談（CD付）
税込 3,080円
-
世界史のなかの日本 1926-1945 下
税込 2,420円
支払い / 配送方法
送料は全国一律380円(税込)です。代金引換をご利用の場合、配送手数料とは別に代金引換手数料300円(税込)が別途必要になります。
yattan