出版社内容情報
ソフトウェアの作成は人間的な作業で，信頼性や生産性の点でいまだに手工業の域にある．こうした現状をふまえ，ソフトウェア作成の方法を示すとともに，その理論と知識を整理し，新しい学問体系として提示する．
内容説明
本書は、ソフトウェア科学のさまざまな領域で基本的な方法となっている論理学を系統的に紹介する。まず、一階術後論理をやさしく導入し、その演繹体系であるシーケント計算について具体的に解説する。また、シーケント計算にもとづいて一階術語論理のもっとも重要な性質であるエルブランの定理や論理プログラミングの証明手続きについて解説する。さらに、ソフトウェアへの応用上きわめて重要な様相論理、動的論理、ホーア論理などについても詳しく論じた。多数の実例を通してソフトウェア科学のための論理学が具体的かつ実戦的にマスターできる待望の書である。
目次
１ 一階述語論理
２ 一階述語論理の演繹体系
３ エルブランの定理と一階述語論理の完全性
４ 論理プログラミングとシーケント計算
５ 様相論理
６ 動的論理とホーア論理
７ 直観主義論理のセマンティックス
８ 構成的解釈と自然演繹
９ カテゴリー
