Introduction to Logic普通证书

逻辑学导论

关注 (23k) 学过 (216) 写点评 (44) 晒证书

8.9 (44人)

  • 知识量:9.5
  • 教师参与:9.0
  • 趣味性:8.6
  • 课程设计:9.2

难度:一般

开始时间:2015-09-29

持续时间:8.0周/每周5.0-7.0小时

去上课

你可能感兴趣换一换

在这门课上,你将学到如何组织信息和系统地推理,以生成合逻辑的结论。我们还将研究逻辑学方法及其在数学、科学、工程、商业、法律等方面的应用。


课程概述
逻辑学是人类历史中最古老的学问之一,其历史可以追溯到亚里士多德的时代,在今天其研究也颇为活跃。
这门课是对逻辑学的一个基本的介绍,它演示了如何采用合逻辑的句式组织信息,如何使用这些信息进行系统地推理以得到所有合逻辑的结论,这些结论仅仅合乎逻辑。它还研究逻辑学方法及其在数学、科学、工程、商业、法律等领域的应用。
这门课将在以下两个方面显著区别于其他逻辑学的介绍课程:首先,它教授一种新的逻辑理论,该理论在保持严谨的同时更加易学易用;其次,课程包含互动演示和练习,可以作为相应领域的许多特定应用的借鉴。


课程大纲
第一周:引言
1.1 逻辑学简介
1.2 逻辑学的基本构成
1.3 形式化
1.4 自动推理
1.5 学习指南

第二周:命题逻辑
2.1命题逻辑
2.2 命题逻辑的语法
2.3 命题逻辑的语义
2.4 满意度
2.5 句子的属性
2.6 逻辑蕴涵
2.7 大比赛

第三周:命题的证明
3.1命题的证明
3.2 线性证明
3.3 结构化证明
3.4 Fitch
3.5 可靠性和完备性

第三周:命题的归结(选修)
4.1命题的归结
4.2 合取范式
4.3 归结规则
4.4 归结方法
4.5 盒逻辑

第四周:关系逻辑
6.1 关系逻辑
6.2 语法
6.3 语义
6.4 范例:女子联谊会的世界
6.5 范例:方块的世界
6.6 范例:同余
6.7 范例:皮亚诺算数
6.8 范例连接列表
6.9 范例:伪英语
6.10 范例:元逻辑
6.11 关系逻辑的性质
6.12 逻辑蕴涵
6.13 有限关系逻辑(选修)
6.14 Omega关系逻辑(选修)
6.15 一般关系逻辑(选修)

第五周:关系逻辑的证明
7.1 关系的证明;
7.2 证明;
7.3 范例
7.4 范例
7.5 范例:量词与蕴涵

第六周:关系的归结(选修)
8.1 关系的归结
8.2 合取范式
8.3 合一
8.4 归结
8.5 归结推理
8.6 不可满足性
8.7 逻辑蕴涵
8.8 提取答案

第六周:等价
9.1 等价
9.2 等价的特点
9.3 置换
9.4 Fitch的应用
9.5 更多的例子

第七周:归纳
10.1 归纳
10.2 封闭的范畴
10.3 线性归纳
10.4 树归纳
10.5 结构归纳

第七周:命题可满足性(选修)
5.1 命题可满足性
最后的工作:关系逻辑与一阶逻辑


常见问题解答
- 完成课程后我能否得到一纸结业证明?
可以,成功学完课程的学生将收到有授课者签名的结业证明。

- 课程是什么形式的?
此课程包含视频、笔记和一些待阅读的背景材料,视频包括互动演示和练习,视频讲座外还有与之相独立的测试。每周的学习负荷为1~2小时的视频课程。

- 上课前我应该掌握哪些预备知识?
这门课要求的预备知识不超过高中数学水平。你应该可以自如地操弄并使用符号,例如去解决简单的代数问题。并且你需要理解集合、函数和关系。但仅此而已,如果你掌握了这些背景知识,这门课对你将毫无压力。

- 我是否需要买本教科书?
不需要,课上已经包含有所需一切。


//翻译:@ljwaero
//致谢:课程中文字幕由教育无边界字幕组翻译提供。

课程点评 写点评

综合评分:8.9难度:一般

  • 知识量:9.5
  • 教师参与:9.0
  • 趣味性:8.6
  • 课程设计:9.2
  • 讲解清楚 4
  • 照本宣科 3
  • 干货 3
  • 老师牛 2
  • 入门级 1
  • 偏理论 1
  • 计算机思维 1

精彩点评

最新点评

  • youngtianqin
    youngtianqin 没能完成

    一致对逻辑学感兴趣,老师讲的很棒,顺便也学习了英文,推荐大家去听听看,一起学习,共勉!!!!!!!!

    2016-12-14 20:15 0
  • Silvester27
    Silvester27 已完成

    自主学习后 都没有同学一起玩了。。。只能在课程论坛用蹩脚的英语 强行跟外国小朋友讨论。。。前前后后用了八周最后总算还是完成了。。。挺有成就感的。。。但是遗忘速度也是惊人。。。也不知道这课学了什么 并且里面很多概念其实学得一点也不扎实。。。ps 这课相当烧时间 需要非常熟悉各种定理后 才能比较顺利得解出题目来。。。最后感谢论坛的笔记。。。

    晒证书 Introduction to Logic Introduction to Logic
    2016-11-21 13:54 0
  • Journey_zj
    Journey_zj 没能完成

    已经过了时间了。只看了前两周的视频,感觉比较枯燥,照本宣科的讲一下ppt。趣味性不足,所以没有继续上下去。

    2016-05-07 16:53 0
  • SquirreL
    SquirreL 已完成

    几年前上的,内容基本都忘了。总体来说比较简单,但有时候某个证明也需要思考一些时间,因为需要在它的框架下用逻辑语言来证明。只是来晒个证书……只是来晒证书……

    晒证书 Introduction to Logic Introduction to Logic
  • 我的肾好疼
    我的肾好疼 在上课

    一直以来评价都很高的课程,确实也是干货满满。逻辑是一个被说烂的词,然而有多少人真正受到逻辑学的训练,能深刻理解什么叫逻辑?这门课作为逻辑学导论很系统,很专业,逻辑学本来就是抽象的、数学化的学科。这门课涉及到了许多的专业概念,学起来可能要多查点资料,作业也不是那简单。虽然看起来比较学术化,但是这门课讲授的知识和技能有助于梳理事物内在的关系,应用这些知识就能有条理、有逻辑地解决问题。这门课特别适合需要编程人员学,有助于让代码的逻辑更清晰。

    2015-12-31 01:26 0
  • 舍尔卓尔
    舍尔卓尔 已完成

    多思考例题的结构。在进行求证的时候先要明确自己要实现什么,然后再考虑如何去实现。课程课件的举例大多数还是很简单的,需要更多的思考才能顺利做好作业题目的推导。

    晒证书 Introduction to Logic Introduction to Logic
    2015-12-29 19:22 0
  • panwenkaiken
    panwenkaiken 已完成

    这是我第一次接触MOOC网上学习平台,很高兴我第一次上课基本完成了科目要求的所有内容,也拿到了证书,收获很大,题目很有挑战性,老师资质很好,讲解清晰,希望我能继续努力学习到更多知识!

    晒证书 Introduction to Logic Introduction to Logic
    2015-12-27 09:41 0
  • cak1
    cak1 已完成

    逻辑学的基本入门课,但是覆盖面比较广,包括了relational logic, propositional logic和relational resolution, 当然最后还有综合上述的induction。作业难度恰好,实在做不出来的也在QQ群里或者论坛上问了高手解决了,由于评分全是课后作业于是第一次混到了在coursera上100%的成绩~唯一缺点是视频和notes略微重复,感觉教授就是在读讲义,而且有一周还没有视频单看notes...相对无聊

    晒证书 Introduction to Logic Introduction to Logic
    2015-12-24 03:23 1

课程笔记

写笔记
查看全部笔记 >

所属专题

相关课程

京ICP证100430号    京网文[2015] 0609-239号    新出发京零字东150005号     京公网安备11010502007133号 ©2016果壳网

关于我们 新手指南