丸善のおすすめ度
情報理論のための数理論理学(数学のかんどころ 31)
|
在庫状況
有り
|
お届け予定日
3~4日
|
|
|
価格
\2,090(税込)
|
|
|
|
発行年月 |
2017年08月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
11p,200p |
---|
大きさ |
21cm |
---|
|
ジャンル |
和書/理工学/数学/数学一般・その他 |
---|
|
|
ISBN |
9784320110724 |
---|
|
商品コード |
1025201651 |
---|
NDC分類 |
410.96 |
---|
基本件名 |
記号論理学 |
---|
|
本の性格 |
テキスト |
---|
|
新刊案内掲載月 |
2017年09月4週 |
---|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1025201651 |
---|
内容
高等学校や大学の初学年で数理論理学を学習するが,多くの場合,命題論理・述語論理の初等的な学習までに留められてしまい,この分野にどういった応用例があるかを学べる機会は限られている。
ただ,命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも,現状では,数学基礎論寄りの非常に高度な専門書に取り掛かるほかない。
本書では,そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が,高度な専門書に取りかかれるまでの足掛かりとなる基礎知識を提供する。
命題・述語論理,真理値表の書き方,量化記号(∀,∃)の意味などを学んだあとには,「形式的証明・形式手法」について学ぶ必要がある.本書では,命題論理の形式的証明について,ヒルベルト流の体系を用いて通常の入門書よりやや詳しく解説する。
また,ブール代数についてもかなり詳しく解説している。「ブール代数を定式化するために,一体いくつの公理が必要か」ということについては,長い研究の歴史がある。特に自動証明による手法は,人工知能による数学問題の証明という面からも興味深い内容となっている。
これらは,数理論理に興味がある学部生・修士のほか,計算機科学を学ぶ読者にも知っておいてほしい知識であると考えている。