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.8 rating, based on 6 Class Central reviews

4.7 rating at Coursera based on 20 ratings

Start your review of An Introduction to Logic for Computer Science

  • Anonymous
    I'll rate it 5 stars. I had a better understanding of logic and how to apply it in solving real problems. The lessons are simplified and easy to understand. Very interesting course. I recommend this course.
  • Anonymous
    The basic logic was nicely explained and I got the understanding in no time. I hope this would have gone a little deeper with more examples. I enjoyed it
  • Anonymous
    Short and sweet, just what I need to get a quick sense of the introductory understanding of the various logic operations.
  • 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.
  • Profile image for Claude Henry Morales García
    Claude Henry Morales García
    I personally greatly enjoyed this course, I come from a base in programming and to learn more of logic is a must. Absolutely pleased
  • 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.

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.