「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
著者が東北大学で行った講義やセミナー、最新の研究論文を基に、手続き型プログラムや関数型プログラムなどのモデルを対象にプログラム理論について論述する。【「TRC MARC」の商品解説】
目次
- Chapter 1 Introduction to Operational Semantics of Programs
- Section 1.1 Operational semantics of procedural programs
- Section 1.2 Operational semantics of a procedural language mPL
- Section 1.3 State formula and logical operational semantics
- Section 1.4 Operational semantics of functional programs
- 〈Remarks〉
- 〈References〉
- Chapter 2 Lambda Calculus and Semantics of Functional Languages
- Section 2.1 Introduction to λ calculus
- Section 2.2 Introduction to Typed λ Calculus
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む