We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
    • 首页 - 课程列表 - 课程详情
    返回
    逻辑学基础理论
    课程类型：选修课
    主讲教师：魏达格
    课程来源：清华大学
    建议学分：3.00分
    课程编码：xtzx0300
    课程介绍
    课程目录
    教师团队
    Background-1
    s Propositional Logic （19分钟）
    s Propositional Logic （18分钟）
    s Propositional Logic （20分钟）
    s Propositional Logic （19分钟）
    s Propositional Logic （15分钟）
    s Propositional Logic （15分钟）
    s First-Order Logic （20分钟）
    s First-Order Logic （20分钟）
    s First-Order Logic （19分钟）
    s First-Order Logic （20分钟）
    s First-Order Logic （13分钟）
    Background-2
    s Natural Deduction （19分钟）
    s Natural Deduction （19分钟）
    s Natural Deduction （19分钟）
    s Natural Deduction （20分钟）
    s Natural Deduction （19分钟）
    s A Hilbert system （19分钟）
    s A Hilbert system （20分钟）
    s A Hilbert system （20分钟）
    s A Hilbert system （20分钟）
    s A Hilbert system （18分钟）
    Completeness
    s Completeness of propositional logic （19分钟）
    s Completeness of propositional logic （19分钟）
    s Completeness of propositional logic （20分钟）
    s Completeness of propositional logic （19分钟）
    s Completeness of propositional logic （14分钟）
    s Completeness of first-order logic （19分钟）
    s Completeness of first-order logic （19分钟）
    s Completeness of first-order logic （20分钟）
    s Completeness of first-order logic （19分钟）
    s Completeness of first-order logic （15分钟）
    Model Theory
    s Model Theory-1 （19分钟）
    s Model Theory-1 （19分钟）
    s Model Theory-1 （19分钟）
    s Model Theory-1 （19分钟）
    s Model Theory-1 （15分钟）
    s Model Theory-2 （19分钟）
    s Model Theory-2 （19分钟）
    s Model Theory-2 （19分钟）
    s Model Theory-2 （19分钟）
    s Model Theory-2 （20分钟）
    Incompleteness-1
    s Overview （19分钟）
    s Overview （20分钟）
    s Overview （19分钟）
    s Overview （19分钟）
    s Overview （20分钟）
    s Overview （12分钟）
    s Primitive Recursive Functions and Relations （19分钟）
    s Primitive Recursive Functions and Relations （19分钟）
    s Primitive Recursive Functions and Relations （19分钟）
    s Primitive Recursive Functions and Relations （20分钟）
    s Primitive Recursive Functions and Relations （16分钟）
    Incompleteness-2
    s Peano Arithmetic （19分钟）
    s Peano Arithmetic （20分钟）
    s Peano Arithmetic （19分钟）
    s Peano Arithmetic （14分钟）
    s Peano Arithmetic （16分钟）
    s Definable in PA （19分钟）
    s Definable in PA （19分钟）
    s Definable in PA （19分钟）
    s Definable in PA （19分钟）
    s Definable in PA （20分钟）
    Arithmetization
    s Arithmetization （19分钟）
    s Arithmetization （19分钟）
    s Arithmetization （19分钟）
    s Arithmetization （19分钟）
    s Arithmetization （10分钟）
    s Arithmetization （12分钟）
    Incompleteness-3
    s Incompleteness (1) （19分钟）
    s Incompleteness (2) （19分钟）
    s Incompleteness (3) （19分钟）
    s Incompleteness (4) （15分钟）
    s Incompleteness (5) （19分钟）
    Incompleteness-4
    s Incompleteness 4(1) （19分钟）
    s Incompleteness 4(2) （19分钟）
    s Incompleteness 4(3) （19分钟）
    s Incompleteness 4(4) （19分钟）
    s Incompleteness 4(5) （17分钟）
    京ICP备20031688号 　|　 京公网安备 11011502004263 　
    友情链接
    常见问题
    关于我们
    联系方式