An Introduction to Logic for Computer Science

Hone your computer science skills and gain practical applications for solving complex problems with logical reasoning in this introductory course from the University of Leeds.

Duration

2 weeks

Weekly study

3 hours

100% online

How it works

Digital upgrade

Free

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).

  • Week 1

    Propositional logic

    • Course Introduction

      Discover the world of logic and its real-world applications. Explore propositions, learn to describe situations with propositional logic, and create truth tables.

    • An introduction to propositoinal logic

      Explore propositional logic. Learn to combine statements using "and," "or," and "not." Create rules, optimise code, and prove correctness. Detect bugs and build AI systems with this essential toolkit.

    • Using logical operators to create more complex expressions

      Learn about compound propositions. Explore how to combine propositions into complex logic expressions. Learn to describe disjunction, negation, and implication and analyse a truth table.

  • Week 2

    Modelling with logic

    • Using logic to solve puzzles

      Apply logic to solve puzzles. Engage in logical reasoning to sharpen thinking skills. Identify and model propositions. Use logical reasoning to solve a puzzle. Build truth tables and solve the mystery of the stolen cookies.

    • Sharing your detective skills

      Explain how to model and solve the puzzle to a friend or family member. Practise and reinforce your learning by teaching others to apply logic to solve puzzles.

More courses you might like

Learners who joined this course have also enjoyed these courses.

©2025  onlincourse.com. All rights reserved