この商品をご覧のお客様は、こんな商品もチェックしています。
- 実践Ｃｌａｕｄｅ Ｃｏｄｅ入門
-
価格：3,300円（本体3,000円＋税）
【2026年01月発売】
- 司法試験・予備試験短答式過去問題集 行政法 ２０２６
-
価格：3,080円（本体2,800円＋税）
【2026年06月発売】
- 司法試験・予備試験短答式過去問題集 商法 ２０２６
-
価格：3,300円（本体3,000円＋税）
【2026年06月発売】
- 世界滅亡国家史 新版
-
価格：2,420円（本体2,200円＋税）
【2026年03月発売】
- 資本主義を半分捨てる
-
価格：990円（本体900円＋税）
【2026年02月発売】
のマークが目印です。
[BOOKデータベースより]
プログラムの理論とはプログラムの意味や仕様を正確に述べるための理論の総称である。本書ではまず基本的な対象である式を定義し、計算の手順と数学的推論の形式化について詳しい解説を与える。さらにこの形式化とプログラムの正当性との関係を統一的に扱える論理体系を導入し、具体的なプログラムの検証や意味論への応用を見事に展開する。