Logic and Reasoning for Computing

Ce cours n'est pas disponible en Français (France)

Nous sommes actuellement en train de le traduire dans plus de langues.

Logic and Reasoning for Computing

Ce cours fait partie de Spécialisation "Essential Mathematics for Computer Science"

Instructeur : Omar Karakchi

Inclus avec

4 modules

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

niveau Intermédiaire

Expérience recommandée

2 semaines à compléter

à 10 heures par semaine

Planning flexible

Apprenez à votre propre rythme

4 modules

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

niveau Intermédiaire

Expérience recommandée

2 semaines à compléter

à 10 heures par semaine

Planning flexible

Apprenez à votre propre rythme

Ce que vous apprendrez

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.

Compétences que vous acquerrez

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

Détails à connaître

Certificat partageable

Ajouter à votre profil LinkedIn

Récemment mis à jour !

février 2026

Évaluations

22 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

En savoir plus sur Coursera pour les affaires

logos de Petrobras, TATA, Danone, Capgemini, P&G et L'Oreal

Élaborez votre expertise du sujet

Ce cours fait partie de la Spécialisation "Essential Mathematics for Computer Science"

Lorsque vous vous inscrivez à ce cours, vous êtes également inscrit(e) à cette Spécialisation.

Apprenez de nouveaux concepts auprès d'experts du secteur
Acquérez une compréhension de base d'un sujet ou d'un outil
Développez des compétences professionnelles avec des projets pratiques
Obtenez un certificat professionnel partageable

Il y a 4 modules dans ce cours

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.

Inclus

11 vidéos5 lectures6 devoirs

11 vidéos Total 49 minutes

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

5 lectures Total 110 minutes

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

6 devoirs Total 155 minutes

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

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

Inclus

6 vidéos1 lecture7 devoirs

6 vidéos Total 48 minutes

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

1 lecture Total 15 minutes

Topic 4 summary 15 minutes

7 devoirs Total 200 minutes

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

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.

Inclus

6 vidéos2 lectures6 devoirs1 sujet de discussion1 laboratoire non noté

6 vidéos Total 35 minutes

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

2 lectures Total 25 minutes

Domino logic gates simulation 10 minutes
Summary 15 minutes

6 devoirs Total 165 minutes

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

1 sujet de discussion Total 20 minutes

Simplification of circuits 20 minutes

1 laboratoire non noté Total 20 minutes

Domino Logic Gate Simulation: Binary Addition 20 minutes

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

Inclus

10 vidéos2 lectures3 devoirs1 sujet de discussion

10 vidéos Total 39 minutes

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

2 lectures Total 70 minutes

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

3 devoirs Total 75 minutes

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

1 sujet de discussion Total 30 minutes

Post your speculations 30 minutes

Obtenez un certificat professionnel

Ajoutez ce titre à votre profil LinkedIn, à votre curriculum vitae ou à votre CV. Partagez-le sur les médias sociaux et dans votre évaluation des performances.

Instructeur

Omar Karakchi

University of London

7 Cours 47 916 apprenants

Offert par

University of London

Goldsmiths, University of London

En savoir plus sur Algorithms

Birla Institute of Technology & Science, Pilani
Logic for Computer Science
Cours
University of Leeds
An Introduction to Logic for Computer Science
Cours
Stanford University
Introduction to Logic
Cours
University of London
Essential Mathematics for Computer Science
Spécialisation

Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Étudiant(e) depuis 2018

’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’

Jennifer J.

Étudiant(e) depuis 2020

’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’

Larry W.

Étudiant(e) depuis 2021

’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’

Chaitanya A.

’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Ouvrez de nouvelles portes avec Coursera Plus

Accès illimité à 10,000+ cours de niveau international, projets pratiques et programmes de certification prêts à l'emploi - tous inclus dans votre abonnement.

Faites progresser votre carrière avec un diplôme en ligne

Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne

Découvrir les diplômes

Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires

Améliorez les compétences de vos employés pour exceller dans l’économie numérique

Foire Aux Questions

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.