小倉久和/共著 -- 近代科学社 -- 199104 -- 0071

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/オクラ/一般H 111639814 一般 利用可

資料詳細

タイトル 情報の論理数学入門
書名ヨミ ジヨウホウ ノ ロンリ スウガク ニユウモン / ブ-ル ダイスウ カラ ジユツゴ ロンリ マデ
副書名 ブール代数から述語論理まで
著者名 小倉久和 /共著, 高浜徹行 /共著  
著者ヨミ オグラ,ヒサカズ , タカハマ,テツユキ  
出版者 近代科学社  
出版年 199104
ページ数等 210p
大きさ 21㎝
内容細目 参考図書:p193~195
一般件名 情報数学  
ISBN 4-7649-0180-3
問合わせ番号(書誌番号) 1100055487
NDC8版 0071
内容紹介 本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

内容一覧

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