サラリーマンのすらすらIT日記

IT関連を中心とした日々を綴ります。
--/--/--

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
2013/02/21

述語論理の本を借りてきました

昨日「代数学の基本定理」と一緒に借りてきたのが、「数理論理学の基礎・基本」「述語論理入門」です。

 

学生時代からごく最近まで、論理学関連の本を探したことがなかったので、数学書のコーナーへ行ってもこの分野の本の置き場所がよくわかっていなかったのですが、昨日やっとその場所がわかり、わかりやすい本がたくさん見つかりました。その一冊が「述語論理入門」。これを借りることに決めてから、気がついたのが「数理論理学の基礎・基本」。こちらの方がわかりやすく、読みやすい。後者の本は、100頁程度で値段も¥1,400と安く、基礎を習得するのにぴったりの本のようです。

二冊とも「完全性定理」が紹介されています。完全性定理というとゲーデルが最初に証明したことで有名ですが、「述語論理入門」によると多くの書物ではヘンキンによる証明を紹介しているとのこと。この定理にも別証があるんですね。

まずは「数理論理学の基礎・基本」から読んでいきます。

スポンサーサイト

コメント

コメントの投稿

  • URL
  • コメント
  • パスワード
  • 秘密
  • 管理者にだけ表示を許可する

トラックバック

トラックバックURL:http://sookibizviz.blog81.fc2.com/tb.php/1478-c9a1481e

■  カレンダー

08 | 2017/09 | 10
- - - - - 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30

■  プロフィール

sookibizviz

Author:sookibizviz
仕事の内容やソフトの紹介を交えながら、日々の悪戦苦闘を綴っていきます。

■  最新記事

■  最新コメント

■  最新トラックバック

■  月別アーカイブ

■  カテゴリ

未分類 (64)
BizViz (24)
IT (1119)
計量 (76)
環境 (26)
数学 (181)
ニュース (46)
本 (187)
音楽 (113)
囲碁 (5)
将棋 (26)
ブログ (14)
日記 (19)

■  FC2カウンター

■  検索フォーム

■  RSSリンクの表示

■  QRコード

QRコード
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。