【レビュー】情報科学における論理
【PR】この記事には広告を含む場合があります
- 出版情報
- ・著者：小野寛晰／著
- ・出版日：1994-04
- ・ページ数：297P
- レビュー数
- ・週間：0記事
- ・月間：0記事
- ・年間：0記事
- ・全期間：1記事
ジャンルTop10選
目次
第1章 命題論理
第2章 述語論理
第3章 エルブランの定理と導出原理
第4章 様相論理
第5章 直観主義論理
第6章 自然演繹の体系
概要
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
レビューの一覧
・『理論から学ぶデータベース実践入門』の間違いを指摘する[2017-01-02に投稿]
