情報科学における論理

小野寛晰 著

最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。

「BOOKデータベース」より

[目次]

  • 第1章 命題論理
  • 第2章 述語論理
  • 第3章 エルブランの定理と導出原理
  • 第4章 様相論理
  • 第5章 直観主義論理
  • 第6章 自然演繹の体系

「BOOKデータベース」より

この本の情報

書名 情報科学における論理
著作者等 小野 寛晰
書名ヨミ ジョウホウ カガク ニ オケル ロンリ
書名別名 Joho kagaku ni okeru ronri
シリーズ名 情報数学セミナー
出版元 日本評論社
刊行年月 1994.4
ページ数 297p
大きさ 22cm
ISBN 4535608148
NCID BN10526687
※クリックでCiNii Booksを表示
全国書誌番号
94038034
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想