开始时间: 04/22/2022 持续时间: Unknown
所在平台: CourseraArchive 课程类别: 计算机科学 大学或机构: University of Melbourne(墨尔本大学) 授课老师: Jen Davoren Greg Restall |
课程主页: https://www.coursera.org/course/logic1
课程评论:没有评论
Information is everywhere: in our words and our world, our thoughts and our theories, our devices and our databases. Logic is the study of that information: the features it has, how it’s represented, and how we can manipulate it. Learning logic helps you formulate and answer many different questions about information:
These are questions about Logic. When you learn logic you'll learn to recognise patterns of information and the way it can be represented. These skills are used whether we're dealing with theories, databases, digital circuits, meaning in language, or mathematical reasoning, and they will be used in the future in ways we haven't yet imagined. Learning logic is a central part of learning to think well, and this course will help you learn logic and how you can apply it.
If you take this subject, you will learn how to use the core tools in logic: the idea of a formal language, which gives us a way to talk about logical structure; and we'll introduce and explain the central logical concepts such as consistency and validity; models; and proofs. But you won’t only learn concepts and tools. We will also explore how these techniques connect with issues in linguistics, computer science, electronic engineering, and philosophy.
Week 1. The Syntax of Propositional Logic; Truth Tables; Classifying Propositions
Week 2. Relationships between Propositions; Tree Proofs; Soundness and Completeness
Weeks 3–5. Applications to different reasoning domains (take at least two):