プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) [全集叢書]
ショッピングカートに入れる

    • プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) [全集叢書]

    • ￥2,09063 ゴールドポイント（3％還元）
    • お取り寄せ
プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) [全集叢書]
100000009003310415

プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) [全集叢書]

価格：￥2,090（税込）
ゴールドポイント：63 ゴールドポイント（3％還元）（￥63相当）
お届け日：お取り寄せこの商品は、日時を指定できません。［届け先変更］詳しくはこちら
出版社：サイエンス社
販売開始日： 2020/08/06
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

カテゴリランキング

店舗受け取りが可能です
マルチメディアAkiba、マルチメディア梅田、マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました

お客様へのおすすめ【PR】

プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) の 商品概要

  • 目次

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

  • 内容紹介

    本書はプログラム意味論を初めて学ぶ学生のための入門書である．本書で扱う意味論はプログラムに対して数学的な意味を与えることにより，プログラムの動作についての厳密な議論を可能にする．適宜演習問題を配置するなどわかりやすく工夫された教科・参考書．

  • 著者について

    小林　直樹 (コバヤシ　ナオキ)
    小林/直樹
    東京大学教授

    住井　英二郎 (スミイエイジロウ)
    住井/英二郎
    東北大学教授

プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) の商品スペック

商品仕様
出版社名：サイエンス社
著者名：小林 直樹（著）／住井 英二郎（著）
発行年月日：2020/08
ISBN-10：4781914837
ISBN-13：9784781914831
判型：A5
対象：専門
発行形態：全集叢書
内容：電子通信
言語：日本語
ページ数：115ページ
縦：21cm
他のサイエンス社の書籍を探す

    サイエンス社 プログラム意味論の基礎(ライブラリ 情報学 コア・テキスト<11>) [全集叢書] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！