Foundations of Logic

Foundations of Logic课程：前往报名学习

Foundations of Logic视频慕课课程简介：

This course is for students interested in formal methods of logic. The lecturer will lead a systematic study of the basics of modern logic.

前往报名学习

Foundations of Logic课程列表：

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 Theory 2.2

--Model Theory 2.3

--Model Theory 2.4

--Model Theory 2.5

-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

-Final Exam

-Discussion-8

Foundations of Logic开设学校：清华大学

也许你还感兴趣的课程: