TOP > 情報工学
 □ ニュースリリース
 
【重要】
電子書籍無料ダウンロードを装った
違法サイトにご注意ください!
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

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

book

発売日:1991.04.20
定価:本体2,700円+税

アマゾンで注文

 

報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。
全体の構成は三部からなり、とくに最終章では論理証明を基本とする論理型プログラミング言語としてPrologを紹介する。
とかく抽象的になりがちな理論をわかりやすく説明するために、できるかぎり具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう著者独自の工夫をこらしている。

 
著者 小倉 久和(福井大学教授) 高濱 徹行(広島県立大学助教授)
ページ数 216
サイズ A5
ISBN 4-7649-0180-3
     
主要目次

第1部 基礎代数
1. 集合
2. 関係と写像
3. 代数系と群
4. 環と体
第2部 ブール代数
5. 束と順序集合
6. ブール代数
7. ブール関数
8. ブール関数とディジタル回路
第3部 記号論理学
9. 命題論理学
10. 述語論理学
演習問題の略解とヒント
11. 論理と推論
12. 論理プログラミング言語と推論
参考図書

トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.