Introduction to Logic

Methode

Introduction to Logic

Coursera (CC)
Logo von Coursera (CC)
Bewertung: starstarstarstar_halfstar_border 7,2 Bildungsangebote von Coursera (CC) haben eine durchschnittliche Bewertung von 7,2 (aus 6 Bewertungen)

Tipp: Haben Sie Fragen? Für weitere Details einfach auf "Kostenlose Informationen" klicken.

Beschreibung

When you enroll for courses through Coursera you get to choose for a paid plan or for a free plan

  • Free plan: No certicification and/or audit only. You will have access to all course materials except graded items.
  • Paid plan: Commit to earning a Certificate—it's a trusted, shareable way to showcase your new skills.

About this course: 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.

Who is this class for: 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 stude…

Gesamte Beschreibung lesen

Frequently asked questions

Es wurden noch keine FAQ hinterlegt. Falls Sie Fragen haben oder Unterstützung benötigen, kontaktieren Sie unseren Kundenservice. Wir helfen gerne weiter!

Noch nicht den perfekten Kurs gefunden? Verwandte Themen: .

When you enroll for courses through Coursera you get to choose for a paid plan or for a free plan

  • Free plan: No certicification and/or audit only. You will have access to all course materials except graded items.
  • Paid plan: Commit to earning a Certificate—it's a trusted, shareable way to showcase your new skills.

About this course: 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.

Who is this class for: 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.

Created by:  Stanford University
  • Taught by:  Michael Genesereth, Associate Professor

    Computer Science Department
Level Intermediate Commitment 10 weeks of study, 4-8 hours/week Language English, Subtitles: Chinese (Simplified), Portuguese (Brazilian), Turkish, Spanish, Polish How To Pass Pass all graded assignments to complete the course. User Ratings 4.5 stars Average User Rating 4.5See what learners said 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.

Syllabus


WEEK 1


Lesson 1 - Introduction



13 items expand


  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

Graded: Exercise 1.1
Graded: Exercise 1.2
Graded: Exercise 1.3
Graded: Exercise 1.4

WEEK 2


Lesson 2 - Propositional Logic



1 video expand


  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. Video: The Big Game

Graded: Exercise 2.1
Graded: Exercise 2.2
Graded: Exercise 2.3
Graded: Exercise 2.4
Graded: Exercise 2.5
Graded: Exercise 2.6
Graded: Exercise 2.7

Lesson 3 - Propositional Analysis



14 items expand


  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

Graded: Exercise 3.1
Graded: Exercise 3.2
Graded: Exercise 3.3
Graded: Exercise 3.4
Graded: Exercise 3.5
Graded: Exercise 3.6

WEEK 3


Lesson 4 - Propositional Proofs



20 items expand


  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

Graded: Exercise 4.1
Graded: Exercise 4.2
Graded: Exercise 4.3
Graded: Exercise 4.4
Graded: Exercise 4.5
Graded: Exercise 4.6
Graded: Exercise 4.7
Graded: Exercise 4.8
Graded: Exercise 4.9
Graded: Exercise 4.10
Graded: Exercise 4.11
Graded: Exercise 4.12
Graded: Exercise 4.13
Graded: Exercise 4.14

WEEK 4


Lesson 5 - Propositional Resolution



1 video expand


  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. Video: Box Logic (out of focus)

Graded: Exercise 5.1
Graded: Exercise 5.2
Graded: Exercise 5.3
Graded: Exercise 5.4

WEEK 5


Lesson 6 - Relational Logic



19 items expand


  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

Graded: Exercise 6.1
Graded: Exercise 6.2
Graded: Exercise 6.3
Graded: Exercise 6.4
Graded: Exercise 6.5
Graded: Exercise 6.6
Graded: Exercise 6.7

Lesson 7 - Relational Analysis



13 items expand


  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

Graded: Exercise 7.1
Graded: Exercise 7.2
Graded: Exercise 7.3

WEEK 6


Lesson 8 - Relational Proofs
The description goes here


13 items expand


  1. LTI Item: Section 8.1 - Introduction
  2. LTI Item: Section 8.2 - Proofs
  3. LTI Item: Section 8.3 - Example
  4. LTI Item: Section 8.4 - Example
  5. LTI Item: Section 8.5 - Example

Graded: Exercise 8.1
Graded: Exercise 8.2
Graded: Exercise 8.3
Graded: Exercise 8.4
Graded: Exercise 8.5
Graded: Exercise 8.6
Graded: Exercise 8.7
Graded: Exercise 8.8

WEEK 7


Lesson 9 - Herbrand Logic



13 items expand


  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

Graded: Exercise 9.1
Graded: Exercise 9.2
Graded: Exercise 9.3
Graded: Exercise 9.4
Graded: Exercise 9.5

WEEK 8


Lesson 10 - Herbrand Proofs



3 items expand


  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 items expand


  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

Graded: Exercise 11.1
Graded: Exercise 11.2
Graded: Exercise 11.3
Graded: Exercise 11.4
Graded: Exercise 11.5
Graded: Exercise 11.6

WEEK 9


Lesson 12 - Resolution
The description goes here


19 items expand


  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

Graded: Exercise 12.1
Graded: Exercise 12.2
Graded: Exercise 12.3
Graded: Exercise 12.4
Graded: Exercise 12.5
Graded: Exercise 12.6
Graded: Exercise 12.7
Graded: Exercise 12.8
Graded: Exercise 12.9
Graded: Exercise 12.10

WEEK 10


Supplementary Material



4 items expand


  1. LTI Item: Satisfiability
  2. LTI Item: Equality
  3. LTI Item: First-Order Logic
  4. LTI Item: The Herbrand Manifesto

Werden Sie über neue Bewertungen benachrichtigt

Es wurden noch keine Bewertungen geschrieben.

Schreiben Sie eine Bewertung

Haben Sie Erfahrung mit diesem Kurs? Schreiben Sie jetzt eine Bewertung und helfen Sie Anderen dabei die richtige Weiterbildung zu wählen. Als Dankeschön spenden wir € 1,00 an Stiftung Edukans.

Es wurden noch keine FAQ hinterlegt. Falls Sie Fragen haben oder Unterstützung benötigen, kontaktieren Sie unseren Kundenservice. Wir helfen gerne weiter!

Bitte füllen Sie das Formular so vollständig wie möglich aus

(optional)
(optional)
(optional)
(optional)

Haben Sie noch Fragen?

(optional)

Anmeldung für Newsletter

Damit Ihnen per E-Mail oder Telefon weitergeholfen werden kann, speichern wir Ihre Daten.
Mehr Informationen dazu finden Sie in unseren Datenschutzbestimmungen.