Об этом курсе: 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.
Для кого этот курс: The course was originally designed for use at the college level. However, experience has shown that it works for secondary school students as well, and it can be used at the start of graduate school for those who have not yet seen the material. There are just two prerequisites. The course presumes that the student understands sets and set operations, such as union, intersection, and so forth. It also presumes that the student is comfortable with symbolic manipulation, as used, for example, in solving high-school algebra problems. Nothing else is required.
Автор: Stanford University
Преподаватели: Michael Genesereth, Associate Professor
Computer Science Department
| Уровень | Учащийся среднего уровня |
| Выполнение | 10 weeks of study, 4-8 hours/week |
| Язык | English, Субтитры: Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish |
| Как пройти курс | Чтобы пройти курс, выполните все оцениваемые задания. |
| Оценки пользователей |
Программа курса
НЕДЕЛЯ 1
Lesson 1 - Introduction
13 элемента
- LTI Item: Section 1.1 - Introduction
- LTI Item: Section 1.2 - Sorority World
- LTI Item: Section 1.3 - Logical Sentences
- LTI Item: Section 1.4 - Logical Entailment
- LTI Item: Section 1.5 - Logical Proofs
- LTI Item: Section 1.6 - Formalization
- LTI Item: Section 1.7 - Automation
- LTI Item: Section 1.8 - Study Guide
- LTI Item: Alice in Wonderland
Оцениваемый: Exercise 1.1
Оцениваемый: Exercise 1.2
Оцениваемый: Exercise 1.3
Оцениваемый: Exercise 1.4
НЕДЕЛЯ 2
Lesson 2 - Propositional Logic
1 видео
- LTI Item: Section 2.1 - Introduction
- LTI Item: Section 2.2 - Syntax
- LTI Item: Section 2.3 - Semantics
- LTI Item: Section 2.4 - Evaluation
- LTI Item: Section 2.5 - Satisfaction
- LTI Item: Section 2.6 - Natural Language
- LTI Item: Section 2.7 - Digital Circuits
Оцениваемый: Exercise 2.1
Оцениваемый: Exercise 2.2
Оцениваемый: Exercise 2.3
Оцениваемый: Exercise 2.4
Оцениваемый: Exercise 2.5
Оцениваемый: Exercise 2.6
Оцениваемый: Exercise 2.7
Lesson 3 - Propositional Analysis
14 элемента
- LTI Item: Section 3.1 - Introduction
- LTI Item: Section 3.2 - Logical Properties
- LTI Item: Section 3.3 - Logical Equivalence
- LTI Item: Section 3.4 - Logical Entailment
- LTI Item: Section 3.5 - Logical Consistency
- LTI Item: Section 3.6 - Properties and Relationships
- LTI Item: Whodunnit
- LTI Item: Digital Circuits
Оцениваемый: Exercise 3.1
Оцениваемый: Exercise 3.2
Оцениваемый: Exercise 3.3
Оцениваемый: Exercise 3.4
Оцениваемый: Exercise 3.5
Оцениваемый: Exercise 3.6
НЕДЕЛЯ 3
Lesson 4 - Propositional Proofs
20 элемента
- LTI Item: Section 4.1 - Propositional Proofs
- LTI Item: Section 4.2 - Linear Reasoning
- LTI Item: Section 4.3 - Hypothetical Reasoning
- LTI Item: Section 4.4 - Fitch
- LTI Item: Section 4.5 - Reasoning Tips
- LTI Item: Section 4.6 - Soundness and Completeness
Оцениваемый: Exercise 4.1
Оцениваемый: Exercise 4.2
Оцениваемый: Exercise 4.3
Оцениваемый: Exercise 4.4
Оцениваемый: Exercise 4.5
Оцениваемый: Exercise 4.6
Оцениваемый: Exercise 4.7
Оцениваемый: Exercise 4.8
Оцениваемый: Exercise 4.9
Оцениваемый: Exercise 4.10
Оцениваемый: Exercise 4.11
Оцениваемый: Exercise 4.12
Оцениваемый: Exercise 4.13
Оцениваемый: Exercise 4.14
НЕДЕЛЯ 4
Lesson 5 - Propositional Resolution
1 видео
- LTI Item: Section 5.1 - Propositional Resolution
- LTI Item: Section 5.2 - Clausal Form
- LTI Item: Section 5.3 - Resolution Principle
- LTI Item: Section 5.4 - Resolution Reasoning
Оцениваемый: Exercise 5.1
Оцениваемый: Exercise 5.2
Оцениваемый: Exercise 5.3
Оцениваемый: Exercise 5.4
НЕДЕЛЯ 5
Lesson 6 - Relational Logic
19 элемента
- LTI Item: Section 6.1 - Introduction
- LTI Item: Section 6.2 - Syntax
- LTI Item: Section 6.3 - Semantics
- LTI Item: Section 6.4 - Evaluation
- LTI Item: Section 6.5 - Satisfaction
- LTI Item: Section 6.6 - Sorority World
- LTI Item: Section 6.7 - Blocks World
- LTI Item: Section 6.8 - Modular Arithmetic
- LTI Item: Section 6.9 - Logical Properties
- LTI Item: Section 6.10 - Logical Entailment
- LTI Item: Section 6.11 - Relational Logic and Propositional Logic
- LTI Item: Cartoon - Logicians
Оцениваемый: Exercise 6.1
Оцениваемый: Exercise 6.2
Оцениваемый: Exercise 6.3
Оцениваемый: Exercise 6.4
Оцениваемый: Exercise 6.5
Оцениваемый: Exercise 6.6
Оцениваемый: Exercise 6.7
Lesson 7 - Relational Analysis
13 элемента
- LTI Item: Section 7.1 - Introduction
- LTI Item: Section 7.2 - Truth Tables
- LTI Item: Section 7.3 - Semantic Trees
- LTI Item: Section 7.4 - Boolean Models
- LTI Item: Section 7.5 - Non-Boolean Models
- LTI Item: Sorority Life
- LTI Item: Minefinder
- LTI Item: Minefield
- LTI Item: Mineplanner
- LTI Item: Pelican Hunters
Оцениваемый: Exercise 7.1
Оцениваемый: Exercise 7.2
Оцениваемый: Exercise 7.3
НЕДЕЛЯ 6
Lesson 8 - Relational Proofs
The description goes here
15 элемента
- LTI Item: Section 8.1 - Introduction
- LTI Item: Section 8.2 - Rules of Universal Quantifiers
- LTI Item: Section 8.3 - Rules for Existential Quantifiers
- LTI Item: Section 8.4 - Domain Closure
- LTI Item: Section 8.5 - Example
- LTI Item: Section 8.6 - Example
- LTI Item: Section 8.7 - Example
Оцениваемый: Exercise 8.1
Оцениваемый: Exercise 8.2
Оцениваемый: Exercise 8.3
Оцениваемый: Exercise 8.4
Оцениваемый: Exercise 8.5
Оцениваемый: Exercise 8.6
Оцениваемый: Exercise 8.7
Оцениваемый: Exercise 8.8
НЕДЕЛЯ 7
Lesson 9 - Herbrand Logic
13 элемента
- LTI Item: Section 9.1 - Introduction
- LTI Item: Section 9.2 - Syntax and Semantics
- LTI Item: Section 9.3 - Evaluation and Satisfaction
- LTI Item: Section 9.4 - Peano Arithmetic
- LTI Item: Section 9.5 - Linked Lists
- LTI Item: Section 9.6 - Pseudo English
- LTI Item: Section 9.7 - Metalevel Logic
- LTI Item: Section 9.8 - Undecidability
Оцениваемый: Exercise 9.1
Оцениваемый: Exercise 9.2
Оцениваемый: Exercise 9.3
Оцениваемый: Exercise 9.4
Оцениваемый: Exercise 9.5
НЕДЕЛЯ 8
Lesson 10 - Herbrand Proofs
3 элемента
- LTI Item: Section 10.1 - Introduction
- LTI Item: Section 10.2 - Non-Compactness and Incompleteness
- LTI Item: Blocks World Programs
Lesson 11 - Induction
The description goes here
13 элемента
- LTI Item: Section 11.1 - Introduction
- LTI Item: Section 11.2 - Domain Closure
- LTI Item: Section 11.3 - Linear Induction
- LTI Item: Section 11.4 - Tree Induction
- LTI Item: Section 11.5 - Structural Induction
- LTI Item: Section 11.6 - Multidimensional Induction
- LTI Item: Section 11.7 - Embedded Induction
Оцениваемый: Exercise 11.1
Оцениваемый: Exercise 11.2
Оцениваемый: Exercise 11.3
Оцениваемый: Exercise 11.4
Оцениваемый: Exercise 11.5
Оцениваемый: Exercise 11.6
НЕДЕЛЯ 9
Lesson 12 - Resolution
The description goes here
19 элемента
- LTI Item: Section 12.1 - Introduction
- LTI Item: Section 12.2 - Clausal Form
- LTI Item: Section 12.3 - Unification
- LTI Item: Section 12.4 - Resolution Principle
- LTI Item: Section 12.5 - Resolution Reasoning
- LTI Item: Section 12.6 - Unsatisfiability
- LTI Item: Section 12.7 - Logical Entailment
- LTI Item: Section 12.8 - Answer Extraction
- LTI Item: Section 12.9 - Strategies
Оцениваемый: Exercise 12.1
Оцениваемый: Exercise 12.2
Оцениваемый: Exercise 12.3
Оцениваемый: Exercise 12.4
Оцениваемый: Exercise 12.5
Оцениваемый: Exercise 12.6
Оцениваемый: Exercise 12.7
Оцениваемый: Exercise 12.8
Оцениваемый: Exercise 12.9
Оцениваемый: Exercise 12.10
НЕДЕЛЯ 10
Supplementary Material
4 элемента
- LTI Item: Satisfiability
- LTI Item: Equality
- LTI Item: First-Order Logic
- LTI Item: The Herbrand Manifesto
Часто задаваемые вопросы
Как это работает
Coursework
Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.
Help from Your Peers
Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.
Certificates
Earn official recognition for your work, and share your success with friends, colleagues, and employers.
Авторы
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.
Рейтинги и отзывы
Good review for those who have studied quantified logic at any level. The Fitch system is fun and easy to use - especially where it automatically cites the inference rules for you. Having done many informal inductive proofs, I found the extension of first-order logic to include induction particularly interesting - if intensely tedious in application.
i loved every second of it , i'm at week 2 right now
you will learn how to think like a mathematician
Coursera делает лучшее в мире образование доступным каждому, предлагая онлайн-курсы от ведущих университетов и организаций.
© Coursera Inc., 2018 Все права защищены.
AW
A pain if completing this course when the session not started yet. Without forum talking about solutions to exercise, usually in some exercises you could only stare at the screen for several hours, fell in deep despair, and eventually came up an answer by luck. Not a good experience, but the material is good though, if not considering the difficutly of understanding the text in the later lessons