情報数学講座 〈第７巻〉 プログラム意味論 横内寛文

個数：

情報数学講座 〈第７巻〉 プログラム意味論 横内寛文

  • ウェブストアに2冊在庫がございます。（2024年04月23日 19時07分現在）
    通常、ご注文翌日～2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス（送料無料）もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判／ページ数 261p／高さ 22cm
  • 商品コード 9784320026575
  • NDC分類 007.1
  • Cコード C3341

出版社内容情報

【解説】
プログラム意味論を展開する際に基礎となる数学的な枠組みを，表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。

【目次】
表示的意味論の考え方・領域理論の基礎・関数型言語の意味論他

目次

第１章　表示的意味論の考え方
第２章　ラムダ計算の基礎
第３章　領域理論の基礎
第４章　関数型言語の意味論
第５章　カテゴリ理論の基礎
第６章　領域方程式
第７章　ラムダ計算の意味論