We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
  • 扫码下载Android
  • 扫码下载iOS
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
    • 首页 - 课程列表 - 课程详情
    返回
    逻辑学基础理论
    课程类型：选修课
    主讲教师：魏达格
    建议学分：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备2023000030号-1 　　
    友情链接
    常见问题
    关于我们
    联系方式
    QQ：1522205766(密码找回，请联系教务处)
    邮箱：yinghuaonline@vip.126.com
    电话：010-61235039