情報科学のための論理数学
Author(s)
Bibliographic Information
情報科学のための論理数学
(日評数学選書)
日本評論社, 1992.4
- Title Transcription
-
ジョウホウ カガク ノ タメ ノ ロンリ スウガク
Available at 196 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
参考文献: p236-239
Description and Table of Contents
Description
本書は、情報科学・情報工学を学ぶ際の基礎となっている“論理”全般について詳しく解説したものである。
Table of Contents
- 序章 数学的準備
- 第1部 論理代数と論理設計(論数代数;論理関数;論理関数族;論理関数と組合せ回路;論理関数の簡単化;順序回路と系列機械)
- 第2部 数理論理学からの話題(古典命題論理;直観主義命題論理;述語論理;その他の論理;ダイナミック論理—コンピュータ理論と行動理論のための形式論理)
by "BOOK database"