• 新华社评论员:聚焦新目标 开启新征程 2019-04-14
  • 德州齐河司法所开展人民调解“回头看”工作 2019-04-14
  • 辽宁:电商成为精准扶贫的“利器” 2019-03-28
  • 人民网评:教师欠薪为何又成新闻了? 2019-03-23
  • 张继科状态低迷 刘国梁倍感压力 2019-03-23
  • 湖北浠水十月村经济史料及其研究价值 2019-03-17
  • 三地跨度走势图带连线:逻辑学导论经典课程

    Introduction to Logic

    体彩排列3和值走势图 www.3l5g.net This course is an introduction to Logic from a computational perspective.

    斯坦福大学

    Coursera

    数学与统计

    普通(中级)

    19 小时

    • 中文, 英语, 西班牙语, 德语, 葡萄牙语, 其他
    • 4274

    课程概况

    逻辑学是人类历史上最古老的智慧学科之一,可以追溯到亚里士多德所处的时期。经过数个世纪的探索,它现在仍然是一大重要的活跃研究领域。

    这门课是对逻辑学的基本介绍,课上将展示如何通过逻辑句式使信息正式化,展示如何通过这些信息进行系统性的推理,得出各种符合逻辑的结论。这门课还探索了逻辑技术及其在数学、科学、工程、商业、法律等方面的应用。

    这门课同其它逻辑学导论课程相比,有两大独特之处:一、它讲授了一个新的逻辑理论,一方面让知识通俗易懂,一方面又不失严格性;二、课程材料中点缀有很多互动演示和练习,指出了很多实践中的应用。

    This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications – in mathematics, science, engineering, business, law, and so forth.

    你将学到什么

    Relational Algebra

    Problem Solving

    Propositional Calculus

    Mathematical Logic

    课程大纲

    周1
    完成时间为 2 小时
    Lesson 1 - Introduction
    13 个测验

    周2
    完成时间为 4 小时
    Lesson 2 - Propositional Logic
    1 个视频 (总计 3 分钟), 14 个测验
    完成时间为 5 小时
    Lesson 3 - Propositional Analysis
    14 个测验

    周3
    完成时间为 7 小时
    Lesson 4 - Propositional Proofs
    20 个测验

    周4
    完成时间为 2 小时
    Lesson 5 - Propositional Resolution
    1 个视频 (总计 4 分钟), 8 个测验

    周5
    完成时间为 5 小时
    Lesson 6 - Relational Logic
    19 个测验
    完成时间为 4 小时
    Lesson 7 - Relational Analysis
    13 个测验

    周6
    完成时间为 4 小时
    Lesson 8 - Relational Proofs
    The description goes here
    15 个测验

    周7
    完成时间为 4 小时
    Lesson 9 - Herbrand Logic
    13 个测验

    周8
    完成时间为 1 小时
    Lesson 10 - Herbrand Proofs
    3 个测验
    完成时间为 5 小时
    Lesson 11 - Induction
    The description goes here
    13 个测验

    周9
    完成时间为 6 小时
    Lesson 12 - Resolution
    The description goes here
    19 个测验

    周10
    完成时间为 4 小时
    Supplementary Material

    预备知识

    除了高中数学知识以外,这门课没有任何先修知识。你需要熟悉符号运算技术,例如用于求解简单代数问题。你还需要理解集合、函数和关系。只需要这些就够了,有这些背景的学生将足够胜任这门课的学习。

    Self-Driving Cars. Become an autonomous vehicle engineer.
    声明: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
    • 以及更多...

    © 2008-2018 www.3l5g.net 慕课改变你,你改变世界

  • 新华社评论员:聚焦新目标 开启新征程 2019-04-14
  • 德州齐河司法所开展人民调解“回头看”工作 2019-04-14
  • 辽宁:电商成为精准扶贫的“利器” 2019-03-28
  • 人民网评:教师欠薪为何又成新闻了? 2019-03-23
  • 张继科状态低迷 刘国梁倍感压力 2019-03-23
  • 湖北浠水十月村经济史料及其研究价值 2019-03-17
  • 11选5开奖 北京赛车pk10包赢公式 多宝娱乐平台登录 足球宝贝人体彩绘 怎么购买老时时彩 今晚双色球预测最准确 幸运农场走势怎么看 双色球尾数走势图分析 中国体彩幸运赛车 广东时时彩平台开户 海南环岛赛怎么玩法 福彩3d选号技巧 网上官方的彩票销售点还有吗 山东时时彩开奖视频直播 网易彩票中心 搜狐彩票图表