書籍詳細:学んでみよう! 記号論理

学んでみよう! 記号論理

の画像の画像
  • 紙の書籍
定価:税込 2,750円(本体価格 2,500円)
在庫なし
発刊年月
2014.08(下旬刊)
ISBN
978-4-535-78760-5
判型
A5判
ページ数
224ページ
Cコード
C3041
ジャンル
難易度
テキスト:初級

内容紹介

数理論理学を学ぶ入口として、数学を記号化する意味や記号化された論理を通して数学の命題や証明を丁寧に紐解いた一冊。

目次

第1講 論理の記号化

第2講 命題論理の考え方

第3講 意味論的諸概念

第4講 論理式の標準形

第5講 タブロー法

第6講 命題論理の演繹体系

第7講 命題論理の自然演繹(1)

第8講 命題論理の自然演繹(2)

第9講 命題論理の自然演繹(3)

第10講 述語論理の考え方

第11講 述語論理の意味論

第12講 述語論理の演繹体系

第13講 完全性定理(1)

第14講 完全性定理(2)

第15講 完全性定理(3)

付録 数学的予備知識