プログラム意味論の基礎

• 資料種別: 図書
• ISBN: 978-4-7819-1483-1
• タイトル: プログラム意味論の基礎
• タイトルよみ: プログラム イミロン ノ キソ
• 著者・編者: 小林直樹, 住井英二郎 共著
• シリーズタイトル: ライブラリ情報学コア・テキスト ; 11
• 著者標目: 小林, 直樹, 1968- コバヤシ, ナオキ, 1968- ( 001357064 )典拠; 住井, 英二郎 スミイ, エイジロウ ( 001133536 )典拠
• 出版事項: 東京 : サイエンス社
• 出版年月日等: 2020.8
• 出版年（W3CDTF）: 2020
• 数量: 115p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング用言語 プログラミングヨウゲンゴ ( 00569224 )典拠
• NDC10版: 007.64 : 情報学．情報科学
• NDLC: M159
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 1900円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-M434
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 030543907; http://id.ndl.go.jp/bib/030543907
• 全国書誌番号: 23429216
• トーハンMARC番号: 34099293
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 本書はプログラム意味論を初めて学ぶ学生のための入門書である．本書で扱う意味論はプログラムに対して数学的な意味を与えることにより，プログラムの動作についての厳密な議論を可能にする．（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 小林 直樹 小林/直樹 東京大学教授住井 英二郎 住井/英二郎 東北大学教授（提供元: 出版情報登録センター（JPRO））

目次

数学の予備知識／プログラミング言語の構文／操作的意味論／プログラムの性質に関する推論／ホーア論理／表示的意味論／λ計算／型つきλ計算