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

細井勉 著

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

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

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想