情報科学のための論理数学
著者
書誌事項
情報科学のための論理数学
(日評数学選書)
日本評論社, 1992.4
- タイトル読み
-
ジョウホウ カガク ノ タメ ノ ロンリ スウガク
大学図書館所蔵 件 / 全196件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p236-239
内容説明・目次
内容説明
本書は、情報科学・情報工学を学ぶ際の基礎となっている“論理”全般について詳しく解説したものである。
目次
- 序章 数学的準備
- 第1部 論理代数と論理設計(論数代数;論理関数;論理関数族;論理関数と組合せ回路;論理関数の簡単化;順序回路と系列機械)
- 第2部 数理論理学からの話題(古典命題論理;直観主義命題論理;述語論理;その他の論理;ダイナミック論理—コンピュータ理論と行動理論のための形式論理)
「BOOKデータベース」 より