検索結果書誌詳細

内容紹介

ソフトウェア工学や計算機科学の分野で重要な役割を果たしている「数理論理学」のテキスト。情報系・工学系の学生を対象に、命題・述語論理から、ブール代数などの「少し先」の内容までを、できるだけ分かりやすく説明する。

＋ 追加情報を見る

タイトルコード

1000050063344

書誌種別

図書

著者名

板井 昌典／著

著者名ヨミ

イタイ マサノリ

出版者

共立出版

出版年月

2017.8

ページ数・枚数

11,200p

大きさ・形態

21cm

ISBN

4-320-11072-4

分類記号

410.96

書名

情報理論のための数理論理学 数学のかんどころ 31

書名ヨミ

ジョウホウ リロン ノ タメ ノ スウリ ロンリガク スウガク ノ カンドコロ 31

著者紹介

1953年生まれ。イリノイ大学シカゴ校大学院修了。Ph.D.。東海大学理学部情報数理学科教授。

件名1

記号論理学

叢書名

数学のかんどころ