Coursera
Explorer
  • Parcourir
  • Rechercher
  • For Enterprise
  • Connexion
  • S'inscrire

Introduction to Logic

Vue d'ensembleProgramme de coursFAQCréateursNotation et examens

Page d'accueilMathématiques et logique

Introduction to Logic

Stanford University

À propos de ce cours : 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.

Les destinataires de ce cours : 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.


Créé par :  Stanford University
Stanford University

  • Michael Genesereth

    Enseigné par :  Michael Genesereth, Associate Professor

    Computer Science Department
NiveauIntermediate
Engagement10 weeks of study, 4-8 hours/week
Langue
English, Sous-titres : Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish
Comment réussirRéussissez tous les devoirs notés pour terminer le cours.
Notes des utilisateurs
4.5 étoiles
Note moyenne des utilisateurs 4.5Voir ce que disent les étudiants
Programme de cours
SEMAINE 1
Lesson 1 - Introduction
13 éléments
  1. LTI Item: Section 1.1 - Introduction
  2. LTI Item: Section 1.2 - Sorority World
  3. LTI Item: Section 1.3 - Logical Sentences
  4. LTI Item: Section 1.4 - Logical Entailment
  5. LTI Item: Section 1.5 - Logical Proofs
  6. LTI Item: Section 1.6 - Formalization
  7. LTI Item: Section 1.7 - Automation
  8. LTI Item: Section 1.8 - Study Guide
  9. LTI Item: Alice in Wonderland
Noté: Exercise 1.1
Noté: Exercise 1.2
Noté: Exercise 1.3
Noté: Exercise 1.4
SEMAINE 2
Lesson 2 - Propositional Logic
1 vidéo
  1. LTI Item: Section 2.1 - Introduction
  2. LTI Item: Section 2.2 - Syntax
  3. LTI Item: Section 2.3 - Semantics
  4. LTI Item: Section 2.4 - Evaluation
  5. LTI Item: Section 2.5 - Satisfaction
  6. LTI Item: Section 2.6 - Natural Language
  7. LTI Item: Section 2.7 - Digital Circuits
  8. Vidéo: The Big Game
Noté: Exercise 2.1
Noté: Exercise 2.2
Noté: Exercise 2.3
Noté: Exercise 2.4
Noté: Exercise 2.5
Noté: Exercise 2.6
Noté: Exercise 2.7
Lesson 3 - Propositional Analysis
14 éléments
  1. LTI Item: Section 3.1 - Introduction
  2. LTI Item: Section 3.2 - Logical Properties
  3. LTI Item: Section 3.3 - Logical Equivalence
  4. LTI Item: Section 3.4 - Logical Entailment
  5. LTI Item: Section 3.5 - Logical Consistency
  6. LTI Item: Section 3.6 - Properties and Relationships
  7. LTI Item: Whodunnit
  8. LTI Item: Digital Circuits
Noté: Exercise 3.1
Noté: Exercise 3.2
Noté: Exercise 3.3
Noté: Exercise 3.4
Noté: Exercise 3.5
Noté: Exercise 3.6
SEMAINE 3
Lesson 4 - Propositional Proofs
20 éléments
  1. LTI Item: Section 4.1 - Propositional Proofs
  2. LTI Item: Section 4.2 - Linear Reasoning
  3. LTI Item: Section 4.3 - Hypothetical Reasoning
  4. LTI Item: Section 4.4 - Fitch
  5. LTI Item: Section 4.5 - Reasoning Tips
  6. LTI Item: Section 4.6 - Soundness and Completeness
Noté: Exercise 4.1
Noté: Exercise 4.2
Noté: Exercise 4.3
Noté: Exercise 4.4
Noté: Exercise 4.5
Noté: Exercise 4.6
Noté: Exercise 4.7
Noté: Exercise 4.8
Noté: Exercise 4.9
Noté: Exercise 4.10
Noté: Exercise 4.11
Noté: Exercise 4.12
Noté: Exercise 4.13
Noté: Exercise 4.14
SEMAINE 4
Lesson 5 - Propositional Resolution
1 vidéo
  1. LTI Item: Section 5.1 - Propositional Resolution
  2. LTI Item: Section 5.2 - Clausal Form
  3. LTI Item: Section 5.3 - Resolution Principle
  4. LTI Item: Section 5.4 - Resolution Reasoning
  5. Vidéo: Box Logic (out of focus)
Noté: Exercise 5.1
Noté: Exercise 5.2
Noté: Exercise 5.3
Noté: Exercise 5.4
SEMAINE 5
Lesson 6 - Relational Logic
19 éléments
  1. LTI Item: Section 6.1 - Introduction
  2. LTI Item: Section 6.2 - Syntax
  3. LTI Item: Section 6.3 - Semantics
  4. LTI Item: Section 6.4 - Evaluation
  5. LTI Item: Section 6.5 - Satisfaction
  6. LTI Item: Section 6.6 - Sorority World
  7. LTI Item: Section 6.7 - Blocks World
  8. LTI Item: Section 6.8 - Modular Arithmetic
  9. LTI Item: Section 6.9 - Logical Properties
  10. LTI Item: Section 6.10 - Logical Entailment
  11. LTI Item: Section 6.11 - Relational Logic and Propositional Logic
  12. LTI Item: Cartoon - Logicians
Noté: Exercise 6.1
Noté: Exercise 6.2
Noté: Exercise 6.3
Noté: Exercise 6.4
Noté: Exercise 6.5
Noté: Exercise 6.6
Noté: Exercise 6.7
Lesson 7 - Relational Analysis
13 éléments
  1. LTI Item: Section 7.1 - Introduction
  2. LTI Item: Section 7.2 - Truth Tables
  3. LTI Item: Section 7.3 - Semantic Trees
  4. LTI Item: Section 7.4 - Boolean Models
  5. LTI Item: Section 7.5 - Non-Boolean Models
  6. LTI Item: Sorority Life
  7. LTI Item: Minefinder
  8. LTI Item: Minefield
  9. LTI Item: Mineplanner
  10. LTI Item: Pelican Hunters
Noté: Exercise 7.1
Noté: Exercise 7.2
Noté: Exercise 7.3
SEMAINE 6
Lesson 8 - Relational Proofs
The description goes here
15 éléments
  1. LTI Item: Section 8.1 - Introduction
  2. LTI Item: Section 8.2 - Rules of Universal Quantifiers
  3. LTI Item: Section 8.3 - Rules for Existential Quantifiers
  4. LTI Item: Section 8.4 - Domain Closure
  5. LTI Item: Section 8.5 - Example
  6. LTI Item: Section 8.6 - Example
  7. LTI Item: Section 8.7 - Example
Noté: Exercise 8.1
Noté: Exercise 8.2
Noté: Exercise 8.3
Noté: Exercise 8.4
Noté: Exercise 8.5
Noté: Exercise 8.6
Noté: Exercise 8.7
Noté: Exercise 8.8
SEMAINE 7
Lesson 9 - Herbrand Logic
13 éléments
  1. LTI Item: Section 9.1 - Introduction
  2. LTI Item: Section 9.2 - Syntax and Semantics
  3. LTI Item: Section 9.3 - Evaluation and Satisfaction
  4. LTI Item: Section 9.4 - Peano Arithmetic
  5. LTI Item: Section 9.5 - Linked Lists
  6. LTI Item: Section 9.6 - Pseudo English
  7. LTI Item: Section 9.7 - Metalevel Logic
  8. LTI Item: Section 9.8 - Undecidability
Noté: Exercise 9.1
Noté: Exercise 9.2
Noté: Exercise 9.3
Noté: Exercise 9.4
Noté: Exercise 9.5
SEMAINE 8
Lesson 10 - Herbrand Proofs
3 éléments
  1. LTI Item: Section 10.1 - Introduction
  2. LTI Item: Section 10.2 - Non-Compactness and Incompleteness
  3. LTI Item: Blocks World Programs
Lesson 11 - Induction
The description goes here
13 éléments
  1. LTI Item: Section 11.1 - Introduction
  2. LTI Item: Section 11.2 - Domain Closure
  3. LTI Item: Section 11.3 - Linear Induction
  4. LTI Item: Section 11.4 - Tree Induction
  5. LTI Item: Section 11.5 - Structural Induction
  6. LTI Item: Section 11.6 - Multidimensional Induction
  7. LTI Item: Section 11.7 - Embedded Induction
Noté: Exercise 11.1
Noté: Exercise 11.2
Noté: Exercise 11.3
Noté: Exercise 11.4
Noté: Exercise 11.5
Noté: Exercise 11.6
SEMAINE 9
Lesson 12 - Resolution
The description goes here
19 éléments
  1. LTI Item: Section 12.1 - Introduction
  2. LTI Item: Section 12.2 - Clausal Form
  3. LTI Item: Section 12.3 - Unification
  4. LTI Item: Section 12.4 - Resolution Principle
  5. LTI Item: Section 12.5 - Resolution Reasoning
  6. LTI Item: Section 12.6 - Unsatisfiability
  7. LTI Item: Section 12.7 - Logical Entailment
  8. LTI Item: Section 12.8 - Answer Extraction
  9. LTI Item: Section 12.9 - Strategies
Noté: Exercise 12.1
Noté: Exercise 12.2
Noté: Exercise 12.3
Noté: Exercise 12.4
Noté: Exercise 12.5
Noté: Exercise 12.6
Noté: Exercise 12.7
Noté: Exercise 12.8
Noté: Exercise 12.9
Noté: Exercise 12.10
SEMAINE 10
Supplementary Material
4 éléments
  1. LTI Item: Satisfiability
  2. LTI Item: Equality
  3. LTI Item: First-Order Logic
  4. LTI Item: The Herbrand Manifesto

FAQ
Comment cela fonctionne
Coursework
Coursework

Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.

Help from Your Peers
Help from Your Peers

Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.

Certificates
Certificates

Earn official recognition for your work, and share your success with friends, colleagues, and employers.

Créateurs
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.
Notation et examens
Note moyenne 4.5 sur 5 sur 388 notes

吴

great

Nick Reymann

Section 12 wasn't very clear, but everything else was great.

NAVKETAN VERMA

Video Lectures will be appriciated.

KM

The Fitch tool can be easily hacked if now premise are in the task. Please fix this!



Vous aimerez peut-être aussi
Duke University
Think Again II: How to Reason Deductively
1 cours
Duke University
Think Again II: How to Reason Deductively
Voir le cours
Duke University
Think Again III: How to Reason Inductively
1 cours
Duke University
Think Again III: How to Reason Inductively
Voir le cours
Duke University
Think Again IV: How to Avoid Fallacies
1 cours
Duke University
Think Again IV: How to Avoid Fallacies
Voir le cours
Duke University
Think Again I: How to Understand Arguments
1 cours
Duke University
Think Again I: How to Understand Arguments
Voir le cours
Stanford University
Introduction to Mathematical Thinking
1 cours
Stanford University
Introduction to Mathematical Thinking
Voir le cours
Coursera
Coursera propose un accès universel à la meilleure formation au monde, en partenariat avec des universités et des organisations du plus haut niveau, pour proposer des cours en ligne.
© 2018 Coursera Inc. Tous droits réservés.
Télécharger dans l'App StoreDisponible sur Google Play
  • Coursera
  • À propos
  • Direction
  • Carrières
  • Catalogue
  • Certificats
  • Diplômes
  • pour l'entreprise
  • For Government
  • Communauté
  • partenaires
  • Mentors
  • Traducteurs
  • Développeurs
  • Testeurs bêta
  • Se connecter
  • Blog
  • Facebook
  • LinkedIn
  • Twitter
  • Google+
  • Blog Tech
  • Plus
  • Conditions
  • Confidentialité
  • Aide
  • Accessibilité
  • Presse
  • Contact
  • Répertoire
  • Filiales