情報科学のための論理数学
著者
書誌事項
情報科学のための論理数学
(日評数学選書)
日本評論社, 1992.4
- タイトル読み
-
ジョウホウ カガク ノ タメ ノ ロンリ スウガク
大学図書館所蔵 全196件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p236-239
内容説明・目次
内容説明
本書は、情報科学・情報工学を学ぶ際の基礎となっている“論理”全般について詳しく解説したものである。
目次
- 序章 数学的準備
- 第1部 論理代数と論理設計(論数代数;論理関数;論理関数族;論理関数と組合せ回路;論理関数の簡単化;順序回路と系列機械)
- 第2部 数理論理学からの話題(古典命題論理;直観主義命題論理;述語論理;その他の論理;ダイナミック論理—コンピュータ理論と行動理論のための形式論理)
「BOOKデータベース」 より