情報科学のための論理数学

細井勉 著

本書は、情報科学・情報工学を学ぶ際の基礎となっている"論理"全般について詳しく解説したものである。

「BOOKデータベース」より

[目次]

  • 序章 数学的準備
  • 第1部 論理代数と論理設計(論数代数
  • 論理関数
  • 論理関数族
  • 論理関数と組合せ回路
  • 論理関数の簡単化
  • 順序回路と系列機械)
  • 第2部 数理論理学からの話題(古典命題論理
  • 直観主義命題論理
  • 述語論理
  • その他の論理
  • ダイナミック論理-コンピュータ理論と行動理論のための形式論理)

「BOOKデータベース」より

この本の情報

書名 情報科学のための論理数学
著作者等 細井 勉
書名ヨミ ジョウホウ カガク ノ タメノ ロンリ スウガク
シリーズ名 日評数学選書
出版元 日本評論社
刊行年月 1992.4
ページ数 249p
大きさ 22cm
ISBN 4535601186
NCID BN07420247
※クリックでCiNii Booksを表示
全国書誌番号
92042019
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想