情報の論理数学入門 : ブール代数から述語論理まで

小倉久和, 高浜徹行 共著

本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

「BOOKデータベース」より

[目次]

  • 1 基礎代数(集合
  • 関係と写像
  • 代数系と群
  • 環と体)
  • 2 ブール代数(束と順序集合
  • ブール代数
  • ブール関数
  • ブール関数とディジタル回路)
  • 3 記号論理学(命題論理学
  • 述語論理学
  • 論理と推論
  • 論理プログラミングと言語と推論)

「BOOKデータベース」より

この本の情報

書名 情報の論理数学入門 : ブール代数から述語論理まで
著作者等 小倉 久和
高浜 徹行
書名ヨミ ジョウホウ ノ ロンリ スウガク ニュウモン
出版元 近代科学社
刊行年月 1991.4
ページ数 210p
大きさ 21cm
ISBN 4764901803
NCID BN06292877
※クリックでCiNii Booksを表示
全国書誌番号
91036740
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想