• 本

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

数学のかんどころ 31

出版社名 共立出版
出版年月 2017年8月
ISBNコード 978-4-320-11072-4
4-320-11072-2
税込価格 2,052円
頁数・縦 200P 21cm

この商品を買った人は、こちらにも興味をもっています

商品内容

目次

第1章 命題論理
第2章 述語論理
第3章 計算可能性とチューリング機械
第4章 命題論理の充足可能性問題
第5章 述語論理の決定不能性
第6章 ブール代数
第7章 形式手法と数理論理学

著者紹介

板井 昌典 (イタイ マサノリ)  
1953年生まれ。1978年神戸大学理学部数学科卒業。1989年イリノイ大学シカゴ校大学院修了。Ph.D.現在、東海大学理学部情報数理学科教授(本データはこの書籍が刊行された当時に掲載されていたものです)