プログラミング言語の形式的意味論入門

• 資料種別: 図書
• ISBN: 978-4-621-30763-2
• タイトル: プログラミング言語の形式的意味論入門
• タイトルよみ: プログラミング ゲンゴ ノ ケイシキテキ イミロン ニュウモン
• 著者・編者: G.ウィンスケル 著; 末永幸平 監訳; 勝股審也 [ほか] 訳
• 著者標目: 著者 ： Winskel, G. (Glynn) ( 032654686 )典拠; 訳者 ： 末永, 幸平 スエナガ, コウヘイ ( 032654702 )典拠; 訳者 ： 勝股, 審也 カツマタ, シンヤ ( 032654705 )典拠; 訳者 ： 中澤, 巧爾 ナカザワ, コウジ ( 032654711 )典拠; 訳者 ： 西村, 進 ニシムラ, ススム ( 032654727 )典拠; 訳者 ： 前田, 敦司 マエダ, アツシ ( 001207603 )典拠
• 出版事項: 東京 : 丸善出版 (出版)
• 出版年月日等: 2023.1
• 出版年（W3CDTF）: 2023
• 数量: 301p
• 大きさ: 21cm
• その他のタイトル: THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: プログラミング用言語 プログラミングヨウゲンゴ ( 00569224 )典拠; 意味論 イミロン ( 00564060 )典拠
• NDC10版: 007.64 : 情報学．情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 原タイトル: THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES AN INTRODUCTION
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4500円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-M1057
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 032600297; http://id.ndl.go.jp/bib/032600297
• 全国書誌番号: 23799607
• トーハンMARC番号: 34432236
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 本書ではプログラミング言語を形式化し、その性質に関して形式的に論ずるための、数学的な背景知識や数理論理学の手法を解説する。（提供元: 出版情報登録センター（JPRO））

目次

まえがき

第1章 集合論の基礎

1.1 論理に関する記法／1.2 集合／1.3 関係と関数／1.4 参考文献

第2章 入門：操作的意味論

2.1 IMP――簡易命令型言語／2.2 算術式の評価／2.3 ブール式の評価／2.4 コマンドの実行／2.5 簡単な性質の証明／2.6 別の操作的意味論／2.7 参考文献