数理論理学

数理論理学: ノート4

読んでいる本(出典): 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回: ノート3 / 次回: まだ 目次: 数理論理学以下、第5章後半の自分の理解。 最後の節(標準形)がまだ読めていないので、後でこの記事に加筆するか、新しい記事にまとめる。前回ま…

数理論理学: ノート3

読んでいる本(出典): 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回: ノート2 / 次回: ノート4 目次: 数理論理学第4章は一階命題論理の応用としての論理回路の話で、ノートは省略。 以下、第5章前半の自分の理解。第5章は一階述語論理。今回のノー…

数理論理学: ノート2

読んでいる本(出典): 数理論理学 | 戸次 大介 |本 | 通販 | Amazon前回: ノート1 / 次回: ノート3 目次: 数理論理学以下、第3章の自分の理解。第3章は一階命題論理。一階命題論理の統語論 一階命題論理では、命題(≡ 真偽を問うことのできる形式)を…

数理論理学: ノート1

この本を読みます。数理論理学戸次 大介 東京大学出版会 2012-03売り上げランキング : 498190Amazonで詳しく見る by G-Tools次回: ノート2 目次: 数理論理学以下、第2章の自分の理解(第1章は予備知識なので省略)。 我々は数学の証明問題を解くことができ…