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

Go to class Write review

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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

Tags

Reviews

4.7 rating, based on 10 Class Central reviews

4.6 rating at Coursera based on 32 ratings

Start your review of An Introduction to Logic for Computer Science

  • Profile image for Matheus Pinheiro
    Matheus Pinheiro
    1
    Good introductory course for learning the basics of Logic, its applications and starting solving problems using it. It is easy to follow the study material and progress through the course items. When completed, there will be a good foundation for further learning about the topic.
  • Anonymous
    This was my first computer science course I took. It was challenging, but I learned a lot. I recommend this to anyone who wants to learn about logic.
  • Anonymous
    Buen curso de Matemática proposicional, Me dio las bases para entender esta fase de primer curso de Matemáticas Básicas. Hizo falta únicamente verlo desde el punto de vista de unos y ceros (lenguaje binario) e incluir la proposición "si y solo si". Por lo demás es un curso corto y completo por lo que ofrece, es además comprensible y se puede finalizar en un par de semanas o días, te ayudará con otros ejemplos y ejercicios a enriquecer los conocimientos sobre esta fascinante área de la Matemática, pues que considero es para inclusive otras profesiones que no son directamente del área de Ciencias computacionales.
  • Anonymous
    I actually took the course on Futurelearn but I guess it's the same content. I loved it. I have a hard time on these subjects but this was taught at the perfect pace, letting me understand better. Thank you!
  • 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.
  • 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
  • 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 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.

Go to class

Never Stop Learning.

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

Sign up for free
Someone learning on their laptop while sitting on the floor.