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.
Introduction to Logic
von
Stanford University
Über diesen Kurs
4.5
482 Bewertungen
Kompetenzen, die Sie erwerben
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Lehrplan - Was Sie in diesem Kurs lernen werden
Woche
12 Stunden zum Abschließen
Lesson 1 - Introduction
13 Quiz
Woche
24 Stunden zum Abschließen
Lesson 2 - Propositional Logic
1 Video (Gesamt 3 min), 14 Quiz
1 Video
5 Stunden zum Abschließen
Lesson 3 - Propositional Analysis
14 Quiz
Woche
37 Stunden zum Abschließen
Lesson 4 - Propositional Proofs
20 Quiz
Woche
42 Stunden zum Abschließen
Lesson 5 - Propositional Resolution
1 Video (Gesamt 4 min), 8 Quiz
1 Video
Woche
55 Stunden zum Abschließen
Lesson 6 - Relational Logic
19 Quiz
4 Stunden zum Abschließen
Lesson 7 - Relational Analysis
13 Quiz
Woche
64 Stunden zum Abschließen
Lesson 8 - Relational Proofs
The description goes here
15 Quiz
Woche
74 Stunden zum Abschließen
Lesson 9 - Herbrand Logic
13 Quiz
Woche
81 Stunde zum Abschließen
Lesson 10 - Herbrand Proofs
3 Quiz
5 Stunden zum Abschließen
Lesson 11 - Induction
The description goes here
13 Quiz
Woche
96 Stunden zum Abschließen
Lesson 12 - Resolution
The description goes here
19 Quiz
Woche
104 Stunden zum Abschließen
Supplementary Material
4 Quiz
67%
nahm einen neuen Beruf nach Abschluss dieser Kurse auf
50%
ziehen Sie für Ihren Beruf greifbaren Nutzen aus diesem Kurs
Top-Bewertungen
I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.
This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!
Dozent
Michael Genesereth
Associate ProfessorComputer Science Department
Über 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.
Häufig gestellte Fragen
Wann erhalte ich Zugang zu den Vorträgen und Aufgaben?
Sobald Sie sich für ein Zertifikat angemeldet haben, haben Sie Zugriff auf alle Videos, Quizspiele und Programmieraufgaben (falls zutreffend). Aufgaben, die von anderen Kursteilnehmern bewertet werden, können erst dann eingereicht und überprüft werden, wenn Ihr Unterricht begonnen hat. Wenn Sie sich den Kurs anschauen möchten, ohne ihn zu kaufen, können Sie womöglich auf bestimmte Aufgaben nicht zugreifen.
Was bekomme ich, wenn ich das Zertifikat erwerbe?
Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugriff auf alle Kursmaterialien, einschließlich bewerteter Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Seite „Errungenschaften“ hinzugefügt – von dort können Sie Ihr Zertifikat ausdrucken oder es zu Ihrem LinkedIn Profil hinzufügen. Wenn Sie nur lesen und den Inhalt des Kurses anzeigen möchten, können Sie kostenlos als Gast an dem Kurs teilnehmen.
Wie erfolgen Rückerstattungen?
Ist finanzielle Unterstützung möglich?
Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..
Coursera arbeitet mit erstklassigen Universitäten und Organisationen zusammen, um Online-Kurse anzubieten und dadurch universellen Zugriff auf die weltweit beste Ausbildung zu ermöglichen.
© 2019 Coursera Inc. Alle Rechte vorbehalten.
