Logic and Reasoning for Computing

Nutzen Sie die Ersparnis! Erhalten Sie 40% Rabatt auf 3 Monate Coursera Plus und vollen Zugang zu Tausenden von Kursen.

kurs ist nicht verfügbar in Deutsch (Deutschland)

Wir übersetzen es in weitere Sprachen.

Logic and Reasoning for Computing

Dieser Kurs ist Teil von Spezialisierung „Essential Mathematics for Computer Science“

Dozent: Omar Karakchi

Bei enthalten

Mehr erfahren

4 Module

Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.

Stufe Mittel

Empfohlene Erfahrung

2 Wochen zu vervollständigen

unter 10 Stunden pro Woche

Flexibler Zeitplan

In Ihrem eigenen Lerntempo lernen

4 Module

Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.

Stufe Mittel

Empfohlene Erfahrung

2 Wochen zu vervollständigen

unter 10 Stunden pro Woche

Flexibler Zeitplan

In Ihrem eigenen Lerntempo lernen

Was Sie lernen werden

Represent and evaluate statements with formal logic, building accuracy and rigour in reasoning for computing challenges.
Apply Boolean algebra to simplify logical expressions and connect symbolic reasoning to digital systems and algorithms.
Construct and verify mathematical proofs using direct proof, contradiction, and induction to confirm correctness.
Strengthen problem-solving and critical thinking skills to analyse, structure, and solve complex computational tasks.

Kompetenzen, die Sie erwerben

Kategorie: Business Logic
Kategorie: Logical Reasoning
Kategorie: Critical Thinking
Kategorie: Problem Solving
Kategorie: Computer Science
Kategorie: Mathematical Modeling
Kategorie: Computational Logic
Kategorie: Strategic Communication
Kategorie: Theoretical Computer Science
Kategorie: Algorithms
Kategorie: Computational Thinking
Kategorie: Deductive Reasoning

Wichtige Details

Zertifikat zur Vorlage

Zu Ihrem LinkedIn-Profil hinzufügen

Kürzlich aktualisiert!

Februar 2026

Bewertungen

22 Aufgaben

Unterrichtet in Englisch

Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

Weitere Informationen zu Coursera für Unternehmen

Logos von Petrobras, TATA, Danone, Capgemini, P&G und L'Oreal

Erweitern Sie Ihre Fachkenntnisse

Dieser Kurs ist Teil der Spezialisierung Spezialisierung „Essential Mathematics for Computer Science“

Wenn Sie sich für diesen Kurs anmelden, werden Sie auch für diese Spezialisierung angemeldet.

Lernen Sie neue Konzepte von Branchenexperten
Gewinnen Sie ein Grundverständnis bestimmter Themen oder Tools
Erwerben Sie berufsrelevante Kompetenzen durch praktische Projekte
Erwerben Sie ein Berufszertifikat zur Vorlage

In diesem Kurs gibt es 4 Module

Logic forms the backbone of computer science, providing the language and methods for precise reasoning, rigorous analysis, and formal proof. Logic and Reasoning for Computing equips learners with essential tools to represent statements, analyse arguments, and verify correctness. Across four modules—Propositional Logic, Predicate Logic, Boolean Algebra, and Proof Techniques—you will build a solid foundation in formal reasoning and connect abstract concepts directly to computing practice. You’ll explore truth tables, quantifiers, Boolean operations, and methods of proof, applying them to areas such as programming, digital circuits, and algorithm verification. By the end of this course, you’ll not only be able to reason critically and communicate arguments clearly, but also have the confidence to apply logical structures to both theoretical and practical problems in computer science.

This module you will learn about two key concepts: the definition of a proposition and an argument, and constructing the truth table of a proposition.

Das ist alles enthalten

11 Videos5 Lektüren6 Aufgaben

11 Videos Insgesamt 49 Minuten

Introduction to the course 1 Minute
Introduction to propositional logic 3 Minuten
Building blocks of logic 6 Minuten
Truth table – examples 8 Minuten
Tautology and consistency (part 1) 4 Minuten
Tautology and consistency (part 2) 4 Minuten
Tautology and consistency – examples 3 Minuten
Equivalences (part 1) 6 Minuten
Equivalences (part 2) 3 Minuten
First-order logic 9 Minuten
Conclusion 2 Minuten

5 Lektüren Insgesamt 110 Minuten

Course structure and navigation 15 Minuten
How to learn effectively on this course 15 Minuten
Course Syllabus 10 Minuten
Practice Problems: Exercises hints and tips 10 Minuten
Exercises, hints and tips 60 Minuten

6 Aufgaben Insgesamt 155 Minuten

Write in logic 20 Minuten
Truth table 20 Minuten
Tautology or contradiction 25 Minuten
Quantifiers 35 Minuten
Logic 35 Minuten
Check your understanding: End of module 1 20 Minuten

This week you will learn about three key concepts: the definition of predicate logic; universal and existential quantifiers; and logical equivalence involving quantifiers.

Das ist alles enthalten

6 Videos1 Lektüre7 Aufgaben

6 Videos Insgesamt 48 Minuten

Introduction to predicate logic 2 Minuten
What are predicates? 6 Minuten
Quantification 9 Minuten
De Morgan's laws for quantifiers 6 Minuten
Rules of inference 16 Minuten
Rules of inference with quantifiers 10 Minuten

1 Lektüre Insgesamt 15 Minuten

Topic 4 summary 15 Minuten

7 Aufgaben Insgesamt 200 Minuten

Introduction to predicate logic 30 Minuten
What are predicates? 30 Minuten
Quantification 30 Minuten
De Morgan's laws for quantifiers 30 Minuten
Rules of inference 30 Minuten
Rules of inference with quantifiers 30 Minuten
Check your understanding: End of module 2 20 Minuten

In tis module, you will learn about four key concepts: the definition of Boolean algebra; Boolean expressions and functions; the application of De Morgan's laws; and circuit simplification.

Das ist alles enthalten

6 Videos2 Lektüren6 Aufgaben1 Diskussionsthema1 Unbewertetes Labor

6 Videos Insgesamt 35 Minuten

Introduction to Boolean algebra 5 Minuten
Postulates of Boolean algebra 8 Minuten
Boolean functions 5 Minuten
Logic gates 6 Minuten
Combinational circuits 6 Minuten
Simplification of circuits 5 Minuten

2 Lektüren Insgesamt 25 Minuten

Domino logic gates simulation 10 Minuten
Summary 15 Minuten

6 Aufgaben Insgesamt 165 Minuten

Postulates of Boolean algebra 25 Minuten
Boolean functions 30 Minuten
Logic gates 30 Minuten
Combinational circuits 30 Minuten
Simplification of circuits 30 Minuten
Check your understanding: End of module 3 20 Minuten

1 Diskussionsthema Insgesamt 20 Minuten

Simplification of circuits 20 Minuten

1 Unbewertetes Labor Insgesamt 20 Minuten

Domino Logic Gate Simulation: Binary Addition 20 Minuten

In ths module, we will cover the following key concepts: deductive proof, proof by contradiction, description of inductive steps.

Das ist alles enthalten

10 Videos2 Lektüren3 Aufgaben1 Diskussionsthema

10 Videos Insgesamt 39 Minuten

What is a proof? 2 Minuten
Direct proof 6 Minuten
Proof by contradiction 4 Minuten
Proof by contrapositive 4 Minuten
Proof by contradiction and contrapositive – examples 2 Minuten
Proof by induction 4 Minuten
Example of a correct proof 7 Minuten
Example of an incorrect proof 4 Minuten
Conclusion 3 Minuten
Course summary 1 Minute

2 Lektüren Insgesamt 70 Minuten

Exercises, hints and tips 60 Minuten
Logic and Reasoning for Computing: Course Summary 10 Minuten

3 Aufgaben Insgesamt 75 Minuten

Direct proof 30 Minuten
Contradiction and contrapositive 25 Minuten
Check your understanding: End of module 4 20 Minuten

1 Diskussionsthema Insgesamt 30 Minuten

Post your speculations 30 Minuten

Erwerben Sie ein Karrierezertifikat.

Fügen Sie dieses Zeugnis Ihrem LinkedIn-Profil, Lebenslauf oder CV hinzu. Teilen Sie sie in Social Media und in Ihrer Leistungsbeurteilung.

Dozent

Omar Karakchi

University of London

7 Kurse 47.239 Lernende

von

University of London

Goldsmiths, University of London

Mehr von Algorithms entdecken

Status: Kostenloser Testzeitraum
Birla Institute of Technology & Science, Pilani
Logic for Computer Science
Kurs
Status: Vorschau
University of Leeds
An Introduction to Logic for Computer Science
Kurs
Status: Vorschau
Stanford University
Introduction to Logic
Kurs
Status: Kostenloser Testzeitraum
University of London
Essential Mathematics for Computer Science
Spezialisierung

Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.

Lernender seit 2018

„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“

Jennifer J.

Lernender seit 2020

„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“

Larry W.

Lernender seit 2021

„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“

Chaitanya A.

„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“

Neue Karrieremöglichkeiten mit Coursera Plus

Unbegrenzter Zugang zu 10,000+ Weltklasse-Kursen, praktischen Projekten und berufsqualifizierenden Zertifikatsprogrammen - alles in Ihrem Abonnement enthalten

Mehr erfahren

Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.

Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online

Erkunden Sie die Abschlüsse

Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.

Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.

Mehr erfahren

Häufig gestellte Fragen

To access the course materials, assignments and to earn a Certificate, you will need to purchase the Certificate experience when you enroll in a course. You can try a Free Trial instead, or apply for Financial Aid. The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile.

Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.