プラチナ会員
ゴールド会員
ブロンズ会員
レギュラー会員
基本情報
内容詳細
本書は、Ｗｉｎｓｋｅｌによるプログラミング言語意味論の世界的標準教科書の邦訳である。前提知識をできるだけ少なくしつつ、プログラムの意味を数学的に定義・議論するための手法が解説されている。本書により、プログラミング言語理論関係の専門的な文献を読むための基礎を学ぶことができる。本書で身につけた基礎知識は、プログラミング言語研究の成果を理解し応用するために役立つはずである。
目次 : 集合論の基礎/ 入門：操作的意味論/ 帰納法の原理/ 帰納的な定義/ ＩＭＰの表示的意味論/ ＩＭＰの公理的意味論/ ホーア規則の完全性/ 領域理論入門/ 再帰方程式/ 再帰の技法/ 高階型を持つ言語/ 情報システム/ 付録Ａ 不完全性と決定不能性
【著者紹介】
末永幸平 : 京都大学大学院情報学研究科准教授
勝股審也 : 国立情報学研究所特任准教授
中澤巧爾 : 名古屋大学大学院情報学研究科准教授
西村進 : 京都大学大学院理学研究科准教授
前田敦司 : 筑波大学システム情報系准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
（「BOOK」データベースより）
ユーザーレビュー
読書メーターレビュー
物理・科学・医学 に関連する商品情報
-
『さかなクンのギョギョッとサカナ★スター図鑑3』6月25日発売 さかなクンの大人気番組の書籍化。魚のさばき方からはく製作りまで、めざせさかなクン！ 付録はさかなクン直筆お魚イラスト... |2024年04月09日 (火) 00:00
-
ノーベル賞2022 | 受賞者著作、関連本 今年の受賞者は10月3日（月）から10日（月）にかけて発表されます。生理学・医学賞、物理学賞、化学賞、文学賞、平和賞... |2022年10月03日 (月) 18:30
おすすめの商品
商品情報の修正
ログインのうえ、お気づきの点を入力フォームにご記入頂けますと幸いです。確認のうえ情報修正いたします。
このページの商品情報に・・・
