Welcome to "An Introduction to Logic in Computer Science"

Welcome to An Introduction to Logic for Computer Science. This course is a journey into the inner workings of computing; the very building blocks of computer science.

In this course, you will explore the fundamentals of logic, the backbone of all computational thinking: propositional logic. By understanding the principles of propositional logic, you’ll be able to break down complex problems into simple statements that are easy to reason: an essential aspect of computer science.

Throughout the course, you’ll be challenged to think critically and creatively, developing your problem-solving skills and mathematical reasoning abilities. By the end of the course, you’ll be equipped with a toolkit of mathematical concepts that will help you tackle problem-solving in the world of computer science.

So, buckle up and get ready for an exhilarating ride where the power of logic creates exciting new possibilities!

How the course will work

• The course is divided into two weeks.
• Each week there will be two activities, with a range of different tasks for you to complete at your own pace.
• The course is not facilitated, but is designed to support peer learning through online discussions.
• There will be a range of quizzes, reading sections, videos, and chances for you to discuss questions with other learners; this can be a great way of getting different viewpoints and ideas, so do use these chances to network with your peers and share your ideas!
• Finally, you will take the assignment at the end to earn your certificate.

This course is part of the Click Start collection of short courses provided by the University of Leeds. Click Start is a nationwide training programme developed by the Institute of Coding (IoC), supported by a consortium of industry leaders, educators, and outreach providers, and funded by Nominet. Click Start aims to diversify the tech industry and address the UK’s digital skills gap.

Learning outcomes

By the end of Week 1, you will be able to:

• apply logical statements as propositions using logical connectives
• describe a propositional formula using a truth table
• produce a truth table for a propositional formula.

By the end of Week 2, you will be able to:

• describe real world problems as propositional formulas
• apply propositional formulae to reason about real world problems.

Gain your certificate and evidence your learning

At the end of Week 2 is a test. When you achieve 70% or more, you will be eligible for a Certificate of Achievement. This personalised Certificate of Achievement and transcript detail the syllabus and learning outcomes, as well as your end of course test score. This provides ideal evidence of your interest in and understanding of this subject. The certificate comes in both printable and digital formats, so you can easily add it to your portfolio, CV or LinkedIn profile.

Extra resources

Throughout this course, you might come across words and phrases which are new to you. To help with this, there is a glossary that you can view and refer to at any point in the course.