• 国家新闻出版署、全国“扫黄打非”办公室联合部署2018年网络文学专项整治行动 2019-06-25
  • 候选案例:关于为明天·一起善行 2019-06-18
  • 山西:“一县一策”集中攻坚深度贫困县——黄河新闻网 2019-06-18
  • 国台办谈落实“31条惠台措施”取得新进展:“措施”在沪落地  有上海特色 2019-06-07
  • 首批战机未抵,英工程师就"向中国泄露F 2019-05-24
  • 【理上网来·喜迎十九大】以全面从严治党调动党员干部积极性主动性创造性 2019-05-20
  • 改革开放四十年泸州老窖:中国荣耀桂冠之重泸州 老窖 2019-05-17
  • 新车图解:e5 450 续航提升至480公里 2019-05-04
  • 人民群众是我们力量的源泉 2019-05-04
  • 新华社评论员:聚焦新目标 开启新征程 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 小时

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

    课程概况

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

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

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

    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

    预备知识

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

    Magoosh
    声明: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 慕课改变你,你改变世界

  • 国家新闻出版署、全国“扫黄打非”办公室联合部署2018年网络文学专项整治行动 2019-06-25
  • 候选案例:关于为明天·一起善行 2019-06-18
  • 山西:“一县一策”集中攻坚深度贫困县——黄河新闻网 2019-06-18
  • 国台办谈落实“31条惠台措施”取得新进展:“措施”在沪落地  有上海特色 2019-06-07
  • 首批战机未抵,英工程师就"向中国泄露F 2019-05-24
  • 【理上网来·喜迎十九大】以全面从严治党调动党员干部积极性主动性创造性 2019-05-20
  • 改革开放四十年泸州老窖:中国荣耀桂冠之重泸州 老窖 2019-05-17
  • 新车图解:e5 450 续航提升至480公里 2019-05-04
  • 人民群众是我们力量的源泉 2019-05-04
  • 新华社评论员:聚焦新目标 开启新征程 2019-04-14
  • 德州齐河司法所开展人民调解“回头看”工作 2019-04-14
  • 辽宁:电商成为精准扶贫的“利器” 2019-03-28
  • 人民网评:教师欠薪为何又成新闻了? 2019-03-23
  • 张继科状态低迷 刘国梁倍感压力 2019-03-23
  • 湖北浠水十月村经济史料及其研究价值 2019-03-17
  • 王牌战士抢号官网 新快三开奖走势图 今晚皇马对埃瓦尔直播 多福多财投注 6个数复式三中三公式 7乐无穷刮刮乐中奖图 河北快3和值推荐 浙江快乐彩玩法 排列三走势图连线2015 热血羽毛球是什么游戏 剑网3指尖江湖下载地址 寻仙手游怎么玩 风暴魔域双倍经验石 dengru网易彩票网 福体彩22选5开奖结果查询今天 皇家社会vs莱万特