Acerca de este 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 quién es esta clase: 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.
Creada por: Stanford University
Enseñado por: Michael Genesereth, Associate Professor
Computer Science Department
| Nivel | Intermedio |
| Compromiso | 10 weeks of study, 4-8 hours/week |
| Idioma | English, Subtítulos: Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish |
| Cómo aprobar | Aprueba todas las tareas calificadas para completar el curso. |
| Calificaciones del usuario |
Programa
SEMANA 1
Lesson 1 - Introduction
13 artículos
- Elemento LTI: Section 1.1 - Introduction
- Elemento LTI: Section 1.2 - Sorority World
- Elemento LTI: Section 1.3 - Logical Sentences
- Elemento LTI: Section 1.4 - Logical Entailment
- Elemento LTI: Section 1.5 - Logical Proofs
- Elemento LTI: Section 1.6 - Formalization
- Elemento LTI: Section 1.7 - Automation
- Elemento LTI: Section 1.8 - Study Guide
- Elemento LTI: Alice in Wonderland
Calificado: Exercise 1.1
Calificado: Exercise 1.2
Calificado: Exercise 1.3
Calificado: Exercise 1.4
SEMANA 2
Lesson 2 - Propositional Logic
1 video
- Elemento LTI: Section 2.1 - Introduction
- Elemento LTI: Section 2.2 - Syntax
- Elemento LTI: Section 2.3 - Semantics
- Elemento LTI: Section 2.4 - Evaluation
- Elemento LTI: Section 2.5 - Satisfaction
- Elemento LTI: Section 2.6 - Natural Language
- Elemento LTI: Section 2.7 - Digital Circuits
Calificado: Exercise 2.1
Calificado: Exercise 2.2
Calificado: Exercise 2.3
Calificado: Exercise 2.4
Calificado: Exercise 2.5
Calificado: Exercise 2.6
Calificado: Exercise 2.7
Lesson 3 - Propositional Analysis
14 artículos
- Elemento LTI: Section 3.1 - Introduction
- Elemento LTI: Section 3.2 - Logical Properties
- Elemento LTI: Section 3.3 - Logical Equivalence
- Elemento LTI: Section 3.4 - Logical Entailment
- Elemento LTI: Section 3.5 - Logical Consistency
- Elemento LTI: Section 3.6 - Properties and Relationships
- Elemento LTI: Whodunnit
- Elemento LTI: Digital Circuits
Calificado: Exercise 3.1
Calificado: Exercise 3.2
Calificado: Exercise 3.3
Calificado: Exercise 3.4
Calificado: Exercise 3.5
Calificado: Exercise 3.6
SEMANA 3
Lesson 4 - Propositional Proofs
20 artículos
- Elemento LTI: Section 4.1 - Propositional Proofs
- Elemento LTI: Section 4.2 - Linear Reasoning
- Elemento LTI: Section 4.3 - Hypothetical Reasoning
- Elemento LTI: Section 4.4 - Fitch
- Elemento LTI: Section 4.5 - Reasoning Tips
- Elemento LTI: Section 4.6 - Soundness and Completeness
Calificado: Exercise 4.1
Calificado: Exercise 4.2
Calificado: Exercise 4.3
Calificado: Exercise 4.4
Calificado: Exercise 4.5
Calificado: Exercise 4.6
Calificado: Exercise 4.7
Calificado: Exercise 4.8
Calificado: Exercise 4.9
Calificado: Exercise 4.10
Calificado: Exercise 4.11
Calificado: Exercise 4.12
Calificado: Exercise 4.13
Calificado: Exercise 4.14
SEMANA 4
Lesson 5 - Propositional Resolution
1 video
- Elemento LTI: Section 5.1 - Propositional Resolution
- Elemento LTI: Section 5.2 - Clausal Form
- Elemento LTI: Section 5.3 - Resolution Principle
- Elemento LTI: Section 5.4 - Resolution Reasoning
Calificado: Exercise 5.1
Calificado: Exercise 5.2
Calificado: Exercise 5.3
Calificado: Exercise 5.4
SEMANA 5
Lesson 6 - Relational Logic
19 artículos
- Elemento LTI: Section 6.1 - Introduction
- Elemento LTI: Section 6.2 - Syntax
- Elemento LTI: Section 6.3 - Semantics
- Elemento LTI: Section 6.4 - Evaluation
- Elemento LTI: Section 6.5 - Satisfaction
- Elemento LTI: Section 6.6 - Sorority World
- Elemento LTI: Section 6.7 - Blocks World
- Elemento LTI: Section 6.8 - Modular Arithmetic
- Elemento LTI: Section 6.9 - Logical Properties
- Elemento LTI: Section 6.10 - Logical Entailment
- Elemento LTI: Section 6.11 - Relational Logic and Propositional Logic
- Elemento LTI: Cartoon - Logicians
Calificado: Exercise 6.1
Calificado: Exercise 6.2
Calificado: Exercise 6.3
Calificado: Exercise 6.4
Calificado: Exercise 6.5
Calificado: Exercise 6.6
Calificado: Exercise 6.7
Lesson 7 - Relational Analysis
13 artículos
- Elemento LTI: Section 7.1 - Introduction
- Elemento LTI: Section 7.2 - Truth Tables
- Elemento LTI: Section 7.3 - Semantic Trees
- Elemento LTI: Section 7.4 - Boolean Models
- Elemento LTI: Section 7.5 - Non-Boolean Models
- Elemento LTI: Sorority Life
- Elemento LTI: Minefinder
- Elemento LTI: Minefield
- Elemento LTI: Mineplanner
- Elemento LTI: Pelican Hunters
Calificado: Exercise 7.1
Calificado: Exercise 7.2
Calificado: Exercise 7.3
SEMANA 6
Lesson 8 - Relational Proofs
The description goes here
15 artículos
- Elemento LTI: Section 8.1 - Introduction
- Elemento LTI: Section 8.2 - Rules of Universal Quantifiers
- Elemento LTI: Section 8.3 - Rules for Existential Quantifiers
- Elemento LTI: Section 8.4 - Domain Closure
- Elemento LTI: Section 8.5 - Example
- Elemento LTI: Section 8.6 - Example
- Elemento LTI: Section 8.7 - Example
Calificado: Exercise 8.1
Calificado: Exercise 8.2
Calificado: Exercise 8.3
Calificado: Exercise 8.4
Calificado: Exercise 8.5
Calificado: Exercise 8.6
Calificado: Exercise 8.7
Calificado: Exercise 8.8
SEMANA 7
Lesson 9 - Herbrand Logic
13 artículos
- Elemento LTI: Section 9.1 - Introduction
- Elemento LTI: Section 9.2 - Syntax and Semantics
- Elemento LTI: Section 9.3 - Evaluation and Satisfaction
- Elemento LTI: Section 9.4 - Peano Arithmetic
- Elemento LTI: Section 9.5 - Linked Lists
- Elemento LTI: Section 9.6 - Pseudo English
- Elemento LTI: Section 9.7 - Metalevel Logic
- Elemento LTI: Section 9.8 - Undecidability
Calificado: Exercise 9.1
Calificado: Exercise 9.2
Calificado: Exercise 9.3
Calificado: Exercise 9.4
Calificado: Exercise 9.5
SEMANA 8
Lesson 10 - Herbrand Proofs
3 artículos
- Elemento LTI: Section 10.1 - Introduction
- Elemento LTI: Section 10.2 - Non-Compactness and Incompleteness
- Elemento LTI: Blocks World Programs
Lesson 11 - Induction
The description goes here
13 artículos
- Elemento LTI: Section 11.1 - Introduction
- Elemento LTI: Section 11.2 - Domain Closure
- Elemento LTI: Section 11.3 - Linear Induction
- Elemento LTI: Section 11.4 - Tree Induction
- Elemento LTI: Section 11.5 - Structural Induction
- Elemento LTI: Section 11.6 - Multidimensional Induction
- Elemento LTI: Section 11.7 - Embedded Induction
Calificado: Exercise 11.1
Calificado: Exercise 11.2
Calificado: Exercise 11.3
Calificado: Exercise 11.4
Calificado: Exercise 11.5
Calificado: Exercise 11.6
SEMANA 9
Lesson 12 - Resolution
The description goes here
19 artículos
- Elemento LTI: Section 12.1 - Introduction
- Elemento LTI: Section 12.2 - Clausal Form
- Elemento LTI: Section 12.3 - Unification
- Elemento LTI: Section 12.4 - Resolution Principle
- Elemento LTI: Section 12.5 - Resolution Reasoning
- Elemento LTI: Section 12.6 - Unsatisfiability
- Elemento LTI: Section 12.7 - Logical Entailment
- Elemento LTI: Section 12.8 - Answer Extraction
- Elemento LTI: Section 12.9 - Strategies
Calificado: Exercise 12.1
Calificado: Exercise 12.2
Calificado: Exercise 12.3
Calificado: Exercise 12.4
Calificado: Exercise 12.5
Calificado: Exercise 12.6
Calificado: Exercise 12.7
Calificado: Exercise 12.8
Calificado: Exercise 12.9
Calificado: Exercise 12.10
SEMANA 10
Supplementary Material
4 artículos
- Elemento LTI: Satisfiability
- Elemento LTI: Equality
- Elemento LTI: First-Order Logic
- Elemento LTI: The Herbrand Manifesto
Preguntas Frecuentes
Cómo funciona
Trabajo del curso
Cada curso es como un libro de texto interactivo, con videos pregrabados, cuestionarios y proyectos.
Ayuda de tus compañeros
Conéctate con miles de estudiantes y debate ideas y materiales del curso, y obtén ayuda para dominar los conceptos.
Certificados
Obtén reconocimiento oficial por tu trabajo y comparte tu éxito con amigos, compañeros y empleadores.
Creadores
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.
Calificaciones y revisiones
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.
Coursera brinda acceso universal a la mejor educación del mundo, al asociarse con las mejores universidades y organizaciones, para ofrecer cursos en línea.
© 2018 Coursera Inc. Todos los derechos 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.