逻辑学基础理论

逻辑学基础理论课程：前往报名学习

逻辑学基础理论视频慕课课程简介：

本课程面向对逻辑学、形式化方法感兴趣的学生。主讲教师将带领大家系统学习现代逻辑的基本内容，深入探讨形式系统的元理论，如完全性定理、哥德尔不完全性定理和一阶逻辑的不可判定性等；详细讲解以上定理的证明思想和证明细节。课程旨在加强学生的逻辑思维能力，加深对现代逻辑基础理论的理解，掌握逻辑学研究问题的方法。

前往报名学习

逻辑学基础理论课程列表：

Background-1

-Propositional Logic

--Propositional Logic(1)

--Propositional Logic(2)

--Propositional Logic(3)

--Propositional Logic(4)

--Propositional Logic(5)

--Propositional Logic(6)

--slides for lecture1

-First-Order Logic

--First-Order Logic(1)

--First-Order Logic(2)

--First-Order Logic(3)

--First-Order Logic(4)

--First-Order Logic(5)

--slides for lecture2

-Exercise 1

-Discussion-1

Background-2

-Natural Deduction

--Natural Deduction(1)

--Natural Deduction(2)

--Natural Deduction(3)

--Natural Deduction(4)

--Natural Deduction(5)

--slides for lecture3

-A Hilbert system

--A Hilbert system(1)

--A Hilbert system(2)

--A Hilbert system(3)

--A Hilbert system(4)

--A Hilbert system(5)

--slides for lecture 4

-Exercises 2

-Discussion-2

Completeness

-Completeness of propositional logic

--Completeness of propositional logic(1)

--Completeness of propositional logic(2)

--Completeness of propositional logic(3)

--Completeness of propositional logic(4)

--Completeness of propositional logic(5)

--slides for lecture 5

-Completeness of first-order logic

--Completeness of first-order logic(1)

--Completeness of first-order logic(2)

--Completeness of first-order logic(3)

--Completeness of first-order logic(4)

--Completeness of first-order logic(5)

--slides for lecture 6

-Exercises 3

-Discussion-3

Model Theory

-Model Theory-1

--Model Theory-1.1

--Model Theory-1.2

--Model Theory-1.3

--Model Theory-1.4

--Model Theory-1.5

--slides for lecture 7

-Model Theory-2

--Model Theory 2.1

--Model Theory2.2

--Model Theory 2.3

--Model Theory 2.4

--Model Theory 2.5

--slides for lecture 8

-Exercises 4

-Discussion-4

Incompleteness-1

-Overview

--Overview(1)

--Overview(2)

--Overview(3)

--Overview(4)

--Overview(5)

--Overview(6)

--slides for lecture 9

-Primitive Recursive Functions and Relations

--Primitive Recursive Functions and Relations(1)

--Primitive Recursive Functions and Relations(2)

--Primitive Recursive Functions and Relations(3)

--Primitive Recursive Functions and Relations(4)

--Primitive Recursive Functions and Relations(5)

--slides for lecture 10

-Exercises 5

-Discussion-5

Incompleteness-2

-Peano Arithmetic

--Peano Arithmetic(1)

--Peano Arithmetic(2)

--Peano Arithmetic(3)

--Peano Arithmetic(4)

--Peano Arithmetic(5)

--slides for lecture 11

-Definable in PA

--Definable in PA(1)

--Definable in PA(2)

--Definable in PA(3)

--Definable in PA(4)

--Definable in PA(5)

--slides for lecture 12

-Exercises 6

-Discussion-6

Arithmetization

-Arithmetization

--Arithmetization(1)

--Arithmetization(2)

--Arithmetization(3)

--Arithmetization(4)

--Arithmetization(5)

--Arithmetization(6)

--slides for lecture 13

Incompleteness-3

-Incompleteness (1)

-Incompleteness (2)

-Incompleteness (3)

-Incompleteness (4)

-Incompleteness (5)

-slides for lecture 14

-Exercises-7

-Discussion-7

Incompleteness-4

- Incompleteness 4(1)

- Incompleteness 4(2)

- Incompleteness 4(3)

- Incompleteness 4(4)

- Incompleteness 4(5)

-slides for lecture 15

Final Exam

-Discussion 8

逻辑学基础理论开设学校：清华大学

也许你还感兴趣的课程: