An Introduction to Logic for Computer Science

Expand your digital skills with a foundation in propositional logic

Logic is a cornerstone in computer science. Without it, we’d struggle to organise information effectively or create streamlined algorithms, slowing progress in the tech sector.

On this two-week, introductory course from the University of Leeds, dive into computer-based logic and discover its practical applications in problem-solving, algorithm design, and the development of intelligent systems.

By the end of this course, you will have a solid understanding of propositional logic, the ability to use truth tables, and the critical thinking skills to apply logical reasoning to solve complex problems in computer science.

Get tech-savvy with computer logic

Begin this course by learning the basics of propositional logic, including what propositions are and how they can be used to represent real-world situations.

You’ll also be introduced to basic logical expressions and how to represent these using truth tables, preparing you to tackle more advanced logic applications.

Apply logic models in the real world

On the second week of this course, you’ll put theory to practice, utilising propositional logic to solve puzzles and derive solutions.

Through expert insights and hands-on exercises, you’ll develop practical skills to solve real-world problems using logical reasoning and propositional logic.

Learn with the University of Leeds’ computer science experts

Crafted by the University of Leeds’ School of Computing and developed as part of the Institute of Coding’s ClickStart programme, you’ll gain access to their team of experts and grow your digital network with other like-minded learners.

If you’re interested in exploring more technology and computer science, consider joining another online course from the [University of Leeds] (https://www.futurelearn.com/partners/university-of-leeds).

This introductory course is designed for those who want to understand and apply basic computer science principles and applications – whether you want to refine your digital skills or are pursuing a career in tech.

This course is accessible to everyone and does not require any additional knowledge to complete.

This introductory course is designed for those who want to understand and apply basic computer science principles and applications – whether you want to refine your digital skills or are pursuing a career in tech.

This course is accessible to everyone and does not require any additional knowledge to complete.

• apply logical statements as propositions using logical connectives
• describe a propositional formula using a truth table
• produce a truth table for a propositional formula
• describe real world problems as propositional formulas
• apply propositional formulae to reason about real world problems.