近代科学社

書籍検索
ジャンル選択

情報

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

著者 小倉 久和
著者 高濱 徹行

著者紹介

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

紙の書籍¥2,700定価(税別)

基本情報

発売日 1991年1月1日
ページ数 224 ページ ※印刷物
サイズ A5
ISBN 9784764901803
ジャンル 情報
タグ 情報理論, 教科書
電子書籍形式 販売なし

主要目次

第1部 基礎代数
1. 集合
2. 関係と写像
3. 代数系と群
4. 環と体

第2部 ブール代数
5. 束と順序集合
6. ブール代数
7. ブール関数
8. ブール関数とディジタル回路

第3部 記号論理学
9. 命題論理学
10. 述語論理学
演習問題の略解とヒント
11. 論理と推論
12. 論理プログラミング言語と推論
参考図書

目次をさらに表示する

著者紹介

小倉 久和(おぐら ひさかず)
1969 年 京都大学理学部物理学科卒業
1977 年 京都大学大学院理学研究科 博士課程修了
1979 年 高知医科大学(医学情報センター)
1988 年 福井大学工学部情報工学科
1999 年 福井大学工学部知能システム工学科
2006 年 福井大学大学院工学研究科
現 在  福井大学名誉教授(理学博士)

髙濱 徹行(たかはま てつゆき)
1982 年 京都大学工学部電気工学第二学科卒業
1987 年 京都大学大学院工学研究科 博士課程修了
1987 年 福井大学工学部情報工学科
1998 年 広島市立大学情報科学部知能情報システム工学科
2007 年 広島市立大学大学院情報科学研究科
現 在  広島市立大学教授(工学博士)

著者紹介をさらに表示する