Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

University of Leeds

An Introduction to Logic for Computer Science

University of Leeds via Coursera

Overview

Logic plays a fundamental role in computer science. This course is designed to equip you with a solid understanding of the fundamental principles of logic and their relevance in the field of computer science. In this course, you'll explore proposition logic and discover its practical applications in problem-solving, algorithm design, and the development of intelligent systems. By engaging in hands-on exercises, exploring real-world examples, and participating in discussions, you'll develop strong logical reasoning and critical thinking skills. Join this course to build a solid foundation in logic, enhance your problem-solving abilities, and unlock new opportunities in the world of computer science. This course is one of many, offered by Click Start, a UK training programme designed to help young people develop digital skills. Click Start offers a limited number of scholarships giving free access to young people in the UK. Check the FAQs to see more detail and follow the link to check if you are eligible for free access today.

Syllabus

  • Week 1: Propositional logic
    • Welcome to Week 1! This week, you will start your learning journey in the exciting world of logic. You will learn what a proposition is and how you can use propositional logic to describe real-world situations to help you solve problems. You will also learn how to describe logic expressions in a tabular format. Once you have understood the foundations of propositional logic and learnt how to write propositions, you will learn how you can combine them together to describe more complicated scenarios.
  • Week 2: Modelling with logic
    • Welcome to Week 2. We will start the week with a recap about truth tables, and then move on to applying your understanding of propositional logic to solve puzzles. At the end of the week, you will become a detective and use your skills to solve a mystery theft!

Taught by

Sam Wilson

Reviews

4.5 rating, based on 2 Class Central reviews

4.6 rating at Coursera based on 14 ratings

Start your review of An Introduction to Logic for Computer Science

  • Profile image for Programming Polyglot
    Programming Polyglot
    The course was concise and a very good introduction to propositional logic. My favorite part of the course was using 'modeling' to solve puzzles in week 2. It was immensely gratifying and delightful, and certainly rewarding. Alas! I wish there were more practice problems. Other than that, a splendid course that I would highly recommend to anyone interested in studying logic.

  • Anonymous
    Good introductory course for anyone with zero background in this subject.

    Concepts delivered in bite sized chunks which were reinforced with the pulse check quizzes.

    Would be good to provide more examples to work through to cement the knowledge.

    Overall - recommend this as a primer/starter.

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.