ソフトウェア科学のための論理学

Author(s)

Bibliographic Information

ソフトウェア科学のための論理学

萩谷昌己 [著]

（岩波講座ソフトウェア科学 / 長尾真 [ほか] 編, 11）

岩波書店, 1994.1

Title Transcription

ソフトウェア カガク ノ タメ ノ ロンリガク

Access to Electronic Resource 1 items

Available at  / 329 libraries

Note

参考書: p213-216

巻末: 事項索引

Description and Table of Contents

Description

本書は、ソフトウェア科学のさまざまな領域で基本的な方法となっている論理学を系統的に紹介する。まず、一階術後論理をやさしく導入し、その演繹体系であるシーケント計算について具体的に解説する。また、シーケント計算にもとづいて一階術語論理のもっとも重要な性質であるエルブランの定理や論理プログラミングの証明手続きについて解説する。さらに、ソフトウェアへの応用上きわめて重要な様相論理、動的論理、ホーア論理などについても詳しく論じた。多数の実例を通してソフトウェア科学のための論理学が具体的かつ実戦的にマスターできる待望の書である。

Table of Contents

  • １　一階述語論理
  • ２　一階述語論理の演繹体系
  • ３　エルブランの定理と一階述語論理の完全性
  • ４　論理プログラミングとシーケント計算
  • ５　様相論理
  • ６　動的論理とホーア論理
  • ７　直観主義論理のセマンティックス
  • ８　構成的解釈と自然演繹
  • ９　カテゴリー

by "BOOK database"

Related Books： 1-1 of 1

Details

Page Top