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
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.
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.
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.
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).
Discover the world of logic and its real-world applications. Explore propositions, learn to describe situations with propositional logic, and create truth tables.
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.
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.
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.
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