Über diesen Kurs

26.001 kürzliche Aufrufe

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.

Flexible Fristen

Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.

Zertifikat zur Vorlage

Erhalten Sie nach Abschluss ein Zertifikat

100 % online

Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.

Coursera-Labore

Enthält praktische Lernprojekte.

Hier finden Sie weitere Informationen zu Coursera-Laboren

Stufe „Mittel“

Ca. 47 Stunden zum Abschließen

Englisch

Kompetenzen, die Sie erwerben

Relational Algebra
Problem Solving
Propositional Calculus
Mathematical Logic

Flexible Fristen

Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.

Zertifikat zur Vorlage

Erhalten Sie nach Abschluss ein Zertifikat

100 % online

Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.

Coursera-Labore

Enthält praktische Lernprojekte.

Hier finden Sie weitere Informationen zu Coursera-Laboren

Stufe „Mittel“

Ca. 47 Stunden zum Abschließen

Englisch

Dozent

Dozentenbewertung

3,82/5 (35 Bewertungen)

Michael Genesereth

Associate Professor

Computer Science Department

195.787 Lernende

1 Kurse

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche1

Woche 1

3 Stunden zum Abschließen

Unit 1 - Introduction

3 Stunden zum Abschließen

2 Videos (Gesamt 62 min), 5 Lektüren

Woche2

Woche 2

12 Stunden zum Abschließen

Unit 2 - Propositional Logic

12 Stunden zum Abschließen

2 Videos (Gesamt 8 min), 20 Lektüren, 8 Quiz

2 Videos

The Big Game3mBox Logic (out of focus)4m

20 Lektüren

Chapter 2 - Propositional Logic1hExercises55mExtras5mPuzzle - Coins10mChapter 3 - Propositional Analysis1hExercises25mExtras10mPuzzle - Rotors10mChapter Direct Proofs1hExercises25mExtras10mPuzzle - Wine10mChapter 5 - Natural Deduction1hExercises25mExtras10mPuzzle - Counterfeit (easy)10mChapter 6 Propositional Resolution1hExercises25mExtras10mPuzzle - Pills (difficult)10m

8 praktische Übungen

Evaluation15mSatisfaction15mLogical Properties10mLogical Relationships30mHilbert Proof30mFitch Proof30mFitch Proof30mResolution Proof30m

Woche3

Woche 3

20 Stunden zum Abschließen

Unit 3 - Relational Logic

20 Stunden zum Abschließen

16 Lektüren

16 Lektüren

Chapter 7 - Relational Logic1hExercises10mExtras10mPuzzle - Cards10mChapter 8 - Relational Analysis1hExercises10mExtras10mPuzzle - Safecracking10mChapter 9 - Model Checking1hExercises10mExtras10mPuzzle - Prisoners10mChapter 10 - Fitch Proofs1hExercises1h 20mExtras10mPuzzle - Chessboard (very difficult)10h

6 praktische Übungen

Evaluation30mLogical Properties20mLogical Relationships30mGoldrush30mFitch Proof20mFitch Proof30m

Woche4

Woche 4

8 Stunden zum Abschließen

Unit 4 - Functional Logic

8 Stunden zum Abschließen

14 Lektüren

Bewertungen

4.4

143 Bewertungen

5 stars
70,19 %
4 stars
14,98 %
3 stars
6,18 %
2 stars
3,09 %
1 star
5,53 %

Top-Bewertungen von INTRODUCTION TO LOGIC

von AA11. Aug. 2022

Thanks to the teacher. I learnt a lot about Logic. It is a wonderful course. I love to study more. Once again thanks. Abdul

von SM18. Jan. 2018

excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online

von KM25. Jan. 2019

The course is great, but the grading system is always broken.

von SC30. Apr. 2018

Pros:

1.good contents

2.good exercises and interesting puzzles

3.good examples

Cons:

1.No video

2. need more examples

Alle Bewertungen anzeigen

Häufig gestellte Fragen

Wann erhalte ich Zugang zu den Vorträgen und Aufgaben?
Der Zugang zu Vorlesungen und Aufgaben hängt von der Art Ihrer Anmeldung ab. Wenn Sie einen Kurs im Gastmodus belegen, können Sie die meisten Kursmaterialien kostenlos einsehen. Um auf benotete Aufgaben zuzugreifen und ein Zertifikat zu erhalten, müssen Sie während oder nach Ihrer Gastphase das Zertifikat erwerben. Wenn Sie die Gastoption nicht sehen:
Der Kurs bietet möglicherweise keine Gastoption an. Sie können stattdessen eine kostenlose Testversion ausprobieren oder finanzielle Unterstützung beantragen.
Der Kurs kann stattdessen "Vollständiger Kurs ohne Zertifikat" anbieten. Mit dieser Option können Sie alle Kursmaterialien einsehen, die erforderlichen Aufgaben einreichen und eine Endnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben können.
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.
Ist finanzielle Unterstützung möglich?
Ja. Für ausgewählte Lernprogramme können Sie finanzielle Unterstützung oder ein Stipendium beantragen, wenn Sie sich die Anmeldegebühr nicht leisten können. Wenn für das von Ihnen gewählte Lernprogramm finanzielle Unterstützung oder ein Stipendium verfügbar ist, wird auf der Beschreibungsseite ein Link zu einem solchen Antrag angezeigt.

Haben Sie weitere Fragen? Besuchen Sie das Learner Help Center.

Introduction to Logic