|
所在平台: Coursera |
课程主页: https://www.coursera.org/learn/logic-introduction
课程评论：没有评论
课程名称：逻辑入门 课程概述：本课程从计算的角度介绍逻辑，展示如何将信息编码为逻辑语句，并如何利用这种形式的信息进行推理。同时，课程还提供逻辑技术及其在数学、科学、工程、商业、法律等领域应用的概述。 课程大纲： 1. 单元 1 - 介绍 描述：本单元将介绍逻辑的基本概念及其重要性。 2. 单元 2 - 命题逻辑 描述：学习命题逻辑的基本原则及其推理方法，了解如何构建和分析命题。 3. 单元 3 - 关系逻辑 描述：探讨关系逻辑的概念，了解如何处理涉及多个对象之间关系的推理。 4. 单元 4 - 函数逻辑 描述：介绍函数逻辑的特点，学习如何通过函数来描述和推理复杂条件。 5. 单元 5 - 结论 描述：总结课程内容，强调逻辑在各领域的应用与重要性。
Name:Unit 1 - Introduction
Description:
Name:Unit 2 - Propositional Logic
Description:
Name:Unit 3 - Relational Logic
Description:
Name:Unit 4 - Functional Logic
Description:
Name:Unit 5 - Conclusion
Description:
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.
