An Introduction to Logic for Computer Science

The University of Leeds introduces logic as a way to express and reason about computing problems. Propositional statements lead into modeling and deriving solutions. It suits learners who want to distinguish a convincing example from an argument that holds across the full set of conditions in a problem.

What you will learn

• Express statements using propositional logic.
• Model a problem with explicit constraints.
• Derive and check solutions to a logical model.

Who this suits

Beginners; the provider does not require earlier knowledge of the topic.

Before you enroll

Allow time to solve exercises independently rather than only following explanations. Software versions and setup instructions can change; compare them with current documentation. Mathematical and programming foundations develop through repeated practice, and completing an introductory course does not demonstrate expertise in every computing field.

Coursera offers paid enrollment or subscription access. Check the enrollment screen for assessment and certificate terms, trials and any financial-aid options. Provider access terms can change; review them before paying.

Put it into practice

Write the constraints for a fictional booking system as logical statements, then test cases that should be accepted and rejected.

Source and review

This overview is based on the provider's published information, checked on 12 October 2026. It is an editorial assessment, not a claim that we completed the resource. Time filters are approximate study ranges; projects and exercises can take longer.

View the curriculum and current access options at Coursera.

How YellowCourse describes and checks learning resources.