逻辑:语言和信息1

Logic: Language and Information 1

本课程介绍了形式逻辑以及如何将其运用到计算机科学、电子工程学、语言学和哲学中。你将学习命题逻辑,包括它的语言、…

墨尔本大学

分享

逻辑

本课程介绍了形式逻辑以及如何将其运用到计算机科学、电子工程学、语言学和哲学中。你将学习命题逻辑,包括它的语言、解释和证明,并使用它解决各种学科中的问题。

课程概述

信息无处不在,它存在于我们的语言、生活、思想和理论中,甚至存在于我们的设备和数据库里。逻辑所研究的就是信息:它的特征、表现形式以及我们操控它的方式。学习逻辑能帮助你清楚地回答很多有关信息的不同问题:

  • 这个假设和我们掌握的证据是一致的还是冲突的?
  • 这个论据是无懈可击的吗?或者我们需要再增加点证据,让结论和假设一致呢?
  • 这两句话是用不同的方式说同样的事情吗?或者它们说的事情有微妙的区别?
  • 这个信息是由数据库里的数据产生的吗?我们用什么步骤能快速得到答案?
  • 这个数字电路有更合算的设计吗?我们如何规定电路应做的事情从而检验这一设计做了我们需要的事?

这些都是逻辑问题。当你学习逻辑后,你将会学会识别各种信息模式和信息表现方式。无论我们在处理理论、数据库、数字电路、语言的意义还是数学推理,我们都能使用这些技巧,并且将来我们还能以从未想象过的方式使用它们。学习逻辑会有助于更好地思考,本课程将帮助你学习逻辑及其实际应用。

如果你参加本课程,你将学会如何使用逻辑的核心工具,即能让我们探究逻辑结构的形式语言;我们还将介绍并解释主要的逻辑概念,例如一致性和有效性、模型、证据等。但是,你学到的决不仅仅是一些概念和工具。我们还将探索这些技巧是如何和语言学、 计算机科学、电子工程学、和哲学里的问题联系起来的。

课程大纲

第一周. 命题逻辑的句法; 真值表; 命题分类

第二周. 命题之间的关系; 树形证明; 可靠性和完备性

第三至五周. 不同推理领域的应用(至少两个领域):

  • 电子工程学 —简化数字电路
  • 哲学 — 模糊和临界个案
  • 计算机科学 —数据库、分辨率和Prolog语言
  • 语言学 —语义:暗示VS言外之意

背景知识

该学科不需要专业背景知识。你只需能阅读和写作,做好思考、练习和学习新技能的准备—特别有是用符号表征和推理来练习的意愿。

参考资料

本课程属于自给自足式,所有资源都能在网上找到。

课本《逻辑学》 (作者:Greg Restall, 劳特利奇出版社,2000; 特别是1到5章) 包括了该课程中的大部分材料。如果你想看 参考书, 这本比较适合本课程,但这是补充阅读,并不是必须的。我们将提供给你全套的课堂讲义、讲课视频以及其它免费的教学资源。

授课形式

该课程由5到15分钟时长的讲课视频组成。在视频里,你可以做综合课堂测验题让自己对课程内容有及时的反馈,还有合适的练习题让你提高技能,以及一些会打分的题目,这将占你最终成绩的一部分。第三周到第五周总共有四个主题,每个学生将至少从中选择两个主题。这将通过小测验和小作业来进行评估。最后将有一次期末考试,内容涵盖所有学过的东西。

常见问题

  • 完成课程之后,我能得到结业证书吗?会的。顺利完成课程的学生能得到老师签发的结业证书。.
  • 上该课程我需要什么资源吗?对该课程来说,你需要的就是网络连接,以及花时间观看讲座视频、看笔记、练习技能、思考、以及在线与其他参加课程的人们进行讨论。

(课程中文简介转自网易)

声明:MOOC中国收录之课程均源自下列机构,版权均归他们所有。本站仅作报道并尊重其著作权益,感谢他们对MOOC事业做出的贡献!(排名不分先后)
  • Coursera
  • edX
  • OpenLearning
  • FutureLearn
  • iversity
  • Udacity
  • NovoEd
  • Canvas
  • Open2Study
  • Google
  • ewant
  • FUN
  • IOC-Athlete-MOOC
  • World-Science-U
  • Codecademy
  • CourseSites
  • opencourseworld
  • ShareCourse
  • gacco
  • MiriadaX
  • JANUX
  • openhpi
  • Stanford-Open-Edx
  • 网易云课堂
  • 中国大学MOOC
  • 学堂在线
  • 顶你学堂
  • 华文慕课
  • 好大学在线CnMooc

Copyright © 2008-2015 MOOC.CN 慕课改变你,你改变世界