We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
  • 扫码下载Android
  • 扫码下载iOS
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
    • 首页 - 课程列表 - 课程详情
    返回
    逻辑学基础理论
    课程类型：选修课
    发布时间：2021-06-04 18:02:41
    主讲教师：魏达格
    课程来源：清华大学
    建议学分：3.00分
    课程编码：xtzx0300
    课程介绍
    课程目录
    教师团队
    Background-1
    Propositional Logic （19分钟）
    Propositional Logic （18分钟）
    Propositional Logic （20分钟）
    Propositional Logic （19分钟）
    Propositional Logic （15分钟）
    Propositional Logic （15分钟）
    First-Order Logic （20分钟）
    First-Order Logic （20分钟）
    First-Order Logic （19分钟）
    First-Order Logic （20分钟）
    First-Order Logic （13分钟）
    Background-2
    Natural Deduction （19分钟）
    Natural Deduction （19分钟）
    Natural Deduction （19分钟）
    Natural Deduction （20分钟）
    Natural Deduction （19分钟）
    A Hilbert system （19分钟）
    A Hilbert system （20分钟）
    A Hilbert system （20分钟）
    A Hilbert system （20分钟）
    A Hilbert system （18分钟）
    Completeness
    Completeness of propositional logic （19分钟）
    Completeness of propositional logic （19分钟）
    Completeness of propositional logic （20分钟）
    Completeness of propositional logic （19分钟）
    Completeness of propositional logic （14分钟）
    Completeness of first-order logic （19分钟）
    Completeness of first-order logic （19分钟）
    Completeness of first-order logic （20分钟）
    Completeness of first-order logic （19分钟）
    Completeness of first-order logic （15分钟）
    Model Theory
    Model Theory-1 （19分钟）
    Model Theory-1 （19分钟）
    Model Theory-1 （19分钟）
    Model Theory-1 （19分钟）
    Model Theory-1 （15分钟）
    Model Theory-2 （19分钟）
    Model Theory-2 （19分钟）
    Model Theory-2 （19分钟）
    Model Theory-2 （19分钟）
    Model Theory-2 （20分钟）
    Incompleteness-1
    Overview （19分钟）
    Overview （20分钟）
    Overview （19分钟）
    Overview （19分钟）
    Overview （20分钟）
    Overview （12分钟）
    Primitive Recursive Functions and Relations （19分钟）
    Primitive Recursive Functions and Relations （19分钟）
    Primitive Recursive Functions and Relations （19分钟）
    Primitive Recursive Functions and Relations （20分钟）
    Primitive Recursive Functions and Relations （16分钟）
    Incompleteness-2
    Peano Arithmetic （19分钟）
    Peano Arithmetic （20分钟）
    Peano Arithmetic （19分钟）
    Peano Arithmetic （14分钟）
    Peano Arithmetic （16分钟）
    Definable in PA （19分钟）
    Definable in PA （19分钟）
    Definable in PA （19分钟）
    Definable in PA （19分钟）
    Definable in PA （20分钟）
    Arithmetization
    Arithmetization （19分钟）
    Arithmetization （19分钟）
    Arithmetization （19分钟）
    Arithmetization （19分钟）
    Arithmetization （10分钟）
    Arithmetization （12分钟）
    Incompleteness-3
    Incompleteness (1) （19分钟）
    Incompleteness (2) （19分钟）
    Incompleteness (3) （19分钟）
    Incompleteness (4) （15分钟）
    Incompleteness (5) （19分钟）
    Incompleteness-4
    Incompleteness 4(1) （19分钟）
    Incompleteness 4(2) （19分钟）
    Incompleteness 4(3) （19分钟）
    Incompleteness 4(4) （19分钟）
    Incompleteness 4(5) （17分钟）
    京ICP备20031688号 　|　 京公网安备 11011502004263 　 |　 教APP备1102393号
    友情链接
    常见问题
    关于我们
    联系方式
    云南城市建设职业学院——在线教学平台
    地址 :云南省昆明市嵩明县杨林职教园区
    网络中心电话：0871-67985895
    教务处电话：0871-67985868