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

ブール代数から述語論理まで 小倉久和 高浜徹行 近代科学社ジョウホウ ノ ロンリ スウガク ニュウモン オグラ,ヒサカズ タカハマ,テツユキ 発行年月：1991年04月01日 予約締切日：1991年03月25日 ページ数：210p サイズ：単行本 ISBN：9784764901803 1　基礎代数（集合／関係と写像／代数系と群／環と体）／2　ブール代数（束と順序集合／ブール代数／ブール関数／ブール関数とディジタル回路）／3　記号論理学（命題論理学／述語論理学／論理と推論／論理プログラミングと言語と推論） 本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。 本 パソコン・システム開発 その他

発売日:1991年04月 / ジャンル:建築・理工 / フォーマット:本 / 出版社:近代科学社 / 発売国:日本 / ISBN:9784764901803 / アーティストキーワード:小倉久和 / タイトルキーワード:ジョウホウノロンリスウガクニュウモン