この商品をご覧のお客様は、こんな商品もチェックしています。
- 「戦前」の正体
-
価格：1,078円（本体980円＋税）
【2023年05月発売】
- 書くことのメディア史
-
価格：3,960円（本体3,600円＋税）
【2025年04月発売】
- 世にもふしぎな法律図鑑
-
価格：1,980円（本体1,800円＋税）
【2025年01月発売】
- 民主主義
-
価格：2,640円（本体2,400円＋税）
【2025年05月発売】
- 仕事も人生もうまくいく実践アドラー心理学
-
価格：1,540円（本体1,400円＋税）
【2024年01月発売】
のマークが目印です。
[BOOKデータベースより]
プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。