Informações sobre o curso: 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.
Para quem é direcionado este curso: 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.
Desenvolvido por: Stanford University
Ministrado por: Michael Genesereth, Associate Professor
Computer Science Department
| Nível | Intermediário |
| Compromisso | 10 weeks of study, 4-8 hours/week |
| Idioma | English, Legendas: Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish |
| Como ser aprovado | Seja aprovado em todas as tarefas para concluir o curso. |
| Classificação do usuário |
Programa
SEMANA 1
Lesson 1 - Introduction
13 itens
- élément LTI: Section 1.1 - Introduction
- élément LTI: Section 1.2 - Sorority World
- élément LTI: Section 1.3 - Logical Sentences
- élément LTI: Section 1.4 - Logical Entailment
- élément LTI: Section 1.5 - Logical Proofs
- élément LTI: Section 1.6 - Formalization
- élément LTI: Section 1.7 - Automation
- élément LTI: Section 1.8 - Study Guide
- élément LTI: Alice in Wonderland
Nota atribuída: Exercise 1.1
Nota atribuída: Exercise 1.2
Nota atribuída: Exercise 1.3
Nota atribuída: Exercise 1.4
SEMANA 2
Lesson 2 - Propositional Logic
1 vídeos
- élément LTI: Section 2.1 - Introduction
- élément LTI: Section 2.2 - Syntax
- élément LTI: Section 2.3 - Semantics
- élément LTI: Section 2.4 - Evaluation
- élément LTI: Section 2.5 - Satisfaction
- élément LTI: Section 2.6 - Natural Language
- élément LTI: Section 2.7 - Digital Circuits
Nota atribuída: Exercise 2.1
Nota atribuída: Exercise 2.2
Nota atribuída: Exercise 2.3
Nota atribuída: Exercise 2.4
Nota atribuída: Exercise 2.5
Nota atribuída: Exercise 2.6
Nota atribuída: Exercise 2.7
Lesson 3 - Propositional Analysis
14 itens
- élément LTI: Section 3.1 - Introduction
- élément LTI: Section 3.2 - Logical Properties
- élément LTI: Section 3.3 - Logical Equivalence
- élément LTI: Section 3.4 - Logical Entailment
- élément LTI: Section 3.5 - Logical Consistency
- élément LTI: Section 3.6 - Properties and Relationships
- élément LTI: Whodunnit
- élément LTI: Digital Circuits
Nota atribuída: Exercise 3.1
Nota atribuída: Exercise 3.2
Nota atribuída: Exercise 3.3
Nota atribuída: Exercise 3.4
Nota atribuída: Exercise 3.5
Nota atribuída: Exercise 3.6
SEMANA 3
Lesson 4 - Propositional Proofs
20 itens
- élément LTI: Section 4.1 - Propositional Proofs
- élément LTI: Section 4.2 - Linear Reasoning
- élément LTI: Section 4.3 - Hypothetical Reasoning
- élément LTI: Section 4.4 - Fitch
- élément LTI: Section 4.5 - Reasoning Tips
- élément LTI: Section 4.6 - Soundness and Completeness
Nota atribuída: Exercise 4.1
Nota atribuída: Exercise 4.2
Nota atribuída: Exercise 4.3
Nota atribuída: Exercise 4.4
Nota atribuída: Exercise 4.5
Nota atribuída: Exercise 4.6
Nota atribuída: Exercise 4.7
Nota atribuída: Exercise 4.8
Nota atribuída: Exercise 4.9
Nota atribuída: Exercise 4.10
Nota atribuída: Exercise 4.11
Nota atribuída: Exercise 4.12
Nota atribuída: Exercise 4.13
Nota atribuída: Exercise 4.14
SEMANA 4
Lesson 5 - Propositional Resolution
1 vídeos
- élément LTI: Section 5.1 - Propositional Resolution
- élément LTI: Section 5.2 - Clausal Form
- élément LTI: Section 5.3 - Resolution Principle
- élément LTI: Section 5.4 - Resolution Reasoning
Nota atribuída: Exercise 5.1
Nota atribuída: Exercise 5.2
Nota atribuída: Exercise 5.3
Nota atribuída: Exercise 5.4
SEMANA 5
Lesson 6 - Relational Logic
19 itens
- élément LTI: Section 6.1 - Introduction
- élément LTI: Section 6.2 - Syntax
- élément LTI: Section 6.3 - Semantics
- élément LTI: Section 6.4 - Evaluation
- élément LTI: Section 6.5 - Satisfaction
- élément LTI: Section 6.6 - Sorority World
- élément LTI: Section 6.7 - Blocks World
- élément LTI: Section 6.8 - Modular Arithmetic
- élément LTI: Section 6.9 - Logical Properties
- élément LTI: Section 6.10 - Logical Entailment
- élément LTI: Section 6.11 - Relational Logic and Propositional Logic
- élément LTI: Cartoon - Logicians
Nota atribuída: Exercise 6.1
Nota atribuída: Exercise 6.2
Nota atribuída: Exercise 6.3
Nota atribuída: Exercise 6.4
Nota atribuída: Exercise 6.5
Nota atribuída: Exercise 6.6
Nota atribuída: Exercise 6.7
Lesson 7 - Relational Analysis
13 itens
- élément LTI: Section 7.1 - Introduction
- élément LTI: Section 7.2 - Truth Tables
- élément LTI: Section 7.3 - Semantic Trees
- élément LTI: Section 7.4 - Boolean Models
- élément LTI: Section 7.5 - Non-Boolean Models
- élément LTI: Sorority Life
- élément LTI: Minefinder
- élément LTI: Minefield
- élément LTI: Mineplanner
- élément LTI: Pelican Hunters
Nota atribuída: Exercise 7.1
Nota atribuída: Exercise 7.2
Nota atribuída: Exercise 7.3
SEMANA 6
Lesson 8 - Relational Proofs
The description goes here
15 itens
- élément LTI: Section 8.1 - Introduction
- élément LTI: Section 8.2 - Rules of Universal Quantifiers
- élément LTI: Section 8.3 - Rules for Existential Quantifiers
- élément LTI: Section 8.4 - Domain Closure
- élément LTI: Section 8.5 - Example
- élément LTI: Section 8.6 - Example
- élément LTI: Section 8.7 - Example
Nota atribuída: Exercise 8.1
Nota atribuída: Exercise 8.2
Nota atribuída: Exercise 8.3
Nota atribuída: Exercise 8.4
Nota atribuída: Exercise 8.5
Nota atribuída: Exercise 8.6
Nota atribuída: Exercise 8.7
Nota atribuída: Exercise 8.8
SEMANA 7
Lesson 9 - Herbrand Logic
13 itens
- élément LTI: Section 9.1 - Introduction
- élément LTI: Section 9.2 - Syntax and Semantics
- élément LTI: Section 9.3 - Evaluation and Satisfaction
- élément LTI: Section 9.4 - Peano Arithmetic
- élément LTI: Section 9.5 - Linked Lists
- élément LTI: Section 9.6 - Pseudo English
- élément LTI: Section 9.7 - Metalevel Logic
- élément LTI: Section 9.8 - Undecidability
Nota atribuída: Exercise 9.1
Nota atribuída: Exercise 9.2
Nota atribuída: Exercise 9.3
Nota atribuída: Exercise 9.4
Nota atribuída: Exercise 9.5
SEMANA 8
Lesson 10 - Herbrand Proofs
3 itens
- élément LTI: Section 10.1 - Introduction
- élément LTI: Section 10.2 - Non-Compactness and Incompleteness
- élément LTI: Blocks World Programs
Lesson 11 - Induction
The description goes here
13 itens
- élément LTI: Section 11.1 - Introduction
- élément LTI: Section 11.2 - Domain Closure
- élément LTI: Section 11.3 - Linear Induction
- élément LTI: Section 11.4 - Tree Induction
- élément LTI: Section 11.5 - Structural Induction
- élément LTI: Section 11.6 - Multidimensional Induction
- élément LTI: Section 11.7 - Embedded Induction
Nota atribuída: Exercise 11.1
Nota atribuída: Exercise 11.2
Nota atribuída: Exercise 11.3
Nota atribuída: Exercise 11.4
Nota atribuída: Exercise 11.5
Nota atribuída: Exercise 11.6
SEMANA 9
Lesson 12 - Resolution
The description goes here
19 itens
- élément LTI: Section 12.1 - Introduction
- élément LTI: Section 12.2 - Clausal Form
- élément LTI: Section 12.3 - Unification
- élément LTI: Section 12.4 - Resolution Principle
- élément LTI: Section 12.5 - Resolution Reasoning
- élément LTI: Section 12.6 - Unsatisfiability
- élément LTI: Section 12.7 - Logical Entailment
- élément LTI: Section 12.8 - Answer Extraction
- élément LTI: Section 12.9 - Strategies
Nota atribuída: Exercise 12.1
Nota atribuída: Exercise 12.2
Nota atribuída: Exercise 12.3
Nota atribuída: Exercise 12.4
Nota atribuída: Exercise 12.5
Nota atribuída: Exercise 12.6
Nota atribuída: Exercise 12.7
Nota atribuída: Exercise 12.8
Nota atribuída: Exercise 12.9
Nota atribuída: Exercise 12.10
SEMANA 10
Supplementary Material
4 itens
- élément LTI: Satisfiability
- élément LTI: Equality
- élément LTI: First-Order Logic
- élément LTI: The Herbrand Manifesto
Perguntas frequentes
Como funciona
Travail en cours
Chaque cours fonctionne comme un manuel interactif en proposant des vidéos préenregistrées, des quiz et des projets.
Aide de la part de vos pairs
Connectez-vous à des milliers d'autres étudiants et débattez sur des idées, discutez le contenu du cours et obtenez de l'aide pour en maîtriser les concepts.
Certificats
Obtenez une reconnaissance officielle pour votre travail et partagez votre réussite avec vos amis, vos collègues et vos employeurs.
Desenvolvedores
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.
Classificações e avaliações
i loved every second of it , i'm at week 2 right now
you will learn how to think like a mathematician
Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.
O Coursera proporciona acesso universal à melhor educação do mundo fazendo parcerias com as melhores universidades e organizações para oferecer cursos on-line.
© 2018 Coursera Inc. Todos os direitos reservados.
RS
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.