重要 常時SSL化(https化)対応完了のお知らせ

おかげさまで6周年!大感謝祭開催中!!

重要 常時SSL化(https化)対応完了のお知らせ

LINEお友だち登録で30ポイントプレゼント!

オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、CD・DVD、洋書など在庫も充実

在庫状況:在庫あり(1〜2日で出荷)
情報理論のための数理論理学

数学のかんどころ 31

共立出版
板井昌典 

価格
2,052円(本体1,900円+税)
発行年月
2017年08月
判型
A5
ISBN
9784320110724

欲しいものリストに追加する

内容情報
[BOOKデータベースより]

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

[日販商品データベースより]

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

 命題・述語論理,真理値表の書き方,量化記号(∀,∃)の意味などを学んだあとには,「形式的証明・形式手法」について学ぶ必要がある.本書では,命題論理の形式的証明について,ヒルベルト流の体系を用いて通常の入門書よりやや詳しく解説する。
 また,ブール代数についてもかなり詳しく解説している。「ブール代数を定式化するために,一体いくつの公理が必要か」ということについては,長い研究の歴史がある。特に自動証明による手法は,人工知能による数学問題の証明という面からも興味深い内容となっている。

 これらは,数理論理に興味がある学部生・修士のほか,計算機科学を学ぶ読者にも知っておいてほしい知識であると考えている。



ユーザーレビュー

この商品に寄せられたカスタマーレビューはまだありません。

レビューを評価するにはログインが必要です。

この商品に対するあなたのレビューを投稿することができます。

レビューを書く

  • 2018年カレンダー特集
  • 6周年大感謝祭
  • 「蜜蜂と遠雷」レビューコンクール 「蜜蜂と遠雷」のレビューを書いて、豪華賞品を手に入れよう!

芥川賞・直木賞

「えほんぎふと」 絵本専門士が自信を持っておすすめする、えほんぎふと。大切な、お子さん・お孫さんに絵本を贈りませんか?送料無料でお届けいたします。

スタッフの「オススメ!」
  • スタッフの「今これをオススメしたい!」

本好きのためのオンライン書店

Honya Club.comへようこそ

Honya Club.comは日本出版販売株式会社が運営している
インターネット書店です。ご利用ガイドはこちら

  • サイトで注文&書店受け取り送料無料
  • 宅配なら1,500円以上で送料無料!
  • 予約も取り寄せも業界屈指の在庫量
  • 外出先でも検索や購入がカンタン!
新規会員登録   初めての方はこちら
W会員
最近チェックした商品
一覧 サイト総合ランキング
ジャンル別ランキング
話題のベストセラー
Honya Clubカード
  • Honya Club とは
    Honya Clubはお得な「本のポイントサービス」です。ご入会いただいたお客様には特典が盛りださん!お近くのHonyaClub加盟書店でご入会、ご利用いただけます。
    Honya Club加盟書店は店舗一覧にてご確認ください。Honya Club加盟店アイコンのマークが目印です。
    HonyaClub会員規約
    個人情報の取扱いに関する規定
    ※上記は加盟書店店頭で使用できるHonyaClubカードの規約です。

  • Honya Club 公式アカウント facebookファンページ Twitterアカウント LINE@アカウント