書籍詳細:情報科学のための論理数学

シリーズ:日評数学選書

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

の画像の画像
  • 紙の書籍
定価:税込 3,132円(本体価格 2,900円)
在庫なし
発刊年月
1992.04
旧ISBN
4-535-60118-6
ISBN
978-4-535-60118-5
判型
A5判
ページ数
264ページ
Cコード
C3341
ジャンル

内容紹介

予備知識をまったく前提とせずに、情報科学・情報工学を学ぶ際の基礎となっている“論理”について、学習できるように配した教科書である。コンピュータのハードウェアから人工知能まで、必要な数学をすべて収めた。

目次

序 章 数学的準備

第1部 論理代数と論理設計
 第1章 論理代数
 第2章 論理関数
 第3章 論理関数と組合せ回路
 第4章 論理関数の簡単化
 第5章 順序回路と系列機械

第2部 数理論理学からの話題
 第6章 古典命題論理
 第7章 直観主義命題論理
 第8章 述語論理
 第9章 その他の論理
 第10章 ダイナミック論理──コンピュータ理論と行動理論のための形式論理