数学のかんどころ<br> 情報理論のための数理論理学

電子版価格
¥2,090
  • 電子版あり

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

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 216p/高さ 22cm
  • 商品コード 9784320110724
  • NDC分類 410.96
  • Cコード C3341

出版社内容情報

 高等学校や大学の初学年で数理論理学を学習するが,多くの場合,命題論理・述語論理の初等的な学習までに留められてしまい,この分野にどういった応用例があるかを学べる機会は限られている。
ただ,命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも,現状では,数学基礎論寄りの非常に高度な専門書に取り掛かるほかない。
 本書では,そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が,高度な専門書に取りかかれるまでの足掛かりとなる基礎知識を提供する。

 命題・述語論理,真理値表の書き方,量化記号(∀

目次

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

著者等紹介

板井昌典[イタイマサノリ]
1953年生まれ。1978年神戸大学理学部数学科卒業。1989年イリノイ大学シカゴ校大学院修了。Ph.D.現在、東海大学理学部情報数理学科教授(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

Sam.N

0
数理論理学の基本がわかってなかったので、とりあえず、ざざっと読み通したレベルだが、なるほどそうだったのか的なちょっとした気付きもあり、最後までいけた。この分野の本は、経験上確実に途中挫折するのだが、、2017/12/07

あゆたろう

0
事実の羅列で読者にわかるようには書かれていない。とても不満。2023/10/13

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/12179710
  • ご注意事項

最近チェックした商品