An Introduction to Logic for Computer Science

An Introduction to Logic for Computer Science

Instructors: Sam Wilson

What you'll learn

Learn to articulate how logic plays an important role in computer science.
Apply techniques to derive solutions for modelled problems.
Gain digital skills as part of Click Start! Follow the link in the instructor bio to see if you're eligible for FREE access to this course and more..

Details to know

Shareable certificate

Add to your LinkedIn profile

Assessments

8 assignments

Taught in English

See how employees at top companies are mastering in-demand skills

Learn more about Coursera for Business

Earn a career certificate

Add this credential to your LinkedIn profile, resume, or CV

Share it on social media and in your performance review

There are 2 modules in this course

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.

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.

What's included

1 video14 readings6 assignments3 discussion prompts

1 videoTotal 1 minute

The course and its creator1 minutePreview module

14 readingsTotal 118 minutes

Welcome to An Introduction to Logic for Computer Science5 minutes
Lesson 1: Introduction5 minutes
What is 'propositional logic'?10 minutes
Symbols and notation in propositional logic5 minutes
The conjunction operator10 minutes
Introducing the truth table10 minutes
Lesson 1: Summary and next steps3 minutes
Lesson 2: Introduction10 minutes
Disjunction operator10 minutes
Exclusive disjunction operator10 minutes
Negation operator10 minutes
Implication operator10 minutes
Optional practice exercises10 minutes
Lesson 2: Summary and next steps10 minutes

6 assignmentsTotal 30 minutes

Check your understanding: Propositional statements5 minutes
Check your understanding: Conjunction operator5 minutes
Check your understanding: Disjunction operator5 minutes
Check your understanding: Exclusive disjunction operator5 minutes
Check your understanding: Negation operator5 minutes
Check your understanding: Implication operator5 minutes

3 discussion promptsTotal 30 minutes

What are you looking forward to?10 minutes
Is it making sense?10 minutes
Week 1 reflection10 minutes

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!

What's included

3 videos10 readings2 assignments3 discussion prompts

3 videosTotal 23 minutes

Filling in truth tables10 minutesPreview module
Modelling with logic: Solution11 minutes
Course summary1 minute

10 readingsTotal 135 minutes

Lesson 3: Introduction5 minutes
Truth tables: A recap10 minutes
Applying logic to solve puzzles30 minutes
Exercise: Modelling with logic: Give it a go20 minutes
Recap: Why learn about logic?10 minutes
Lesson 3: Summary and next steps10 minutes
Lesson 4: Introduction5 minutes
Exercise: Share your detective skills30 minutes
Lesson 4: Summary and next steps5 minutes
Taking your learning further10 minutes

2 assignmentsTotal 60 minutes

Test your learning and get your certificate30 minutes
Check your understanding: Logic30 minutes

3 discussion promptsTotal 40 minutes

Did you work out who stole the cookies?10 minutes
Sharing your detective skills: How did it go?20 minutes
Reflection10 minutes

Instructors

Instructor ratings

4.5 (5 ratings)

Sam Wilson

University of Leeds

4 Courses5,918 learners

Offered by

University of Leeds

Why people choose Coursera for their career

Felipe M.

Learner since 2018

"To be able to take courses at my own pace and rhythm has been an amazing experience. I can learn whenever it fits my schedule and mood."

Jennifer J.

Learner since 2020

"I directly applied the concepts and skills I learned from my courses to an exciting new project at work."

Larry W.

Learner since 2021

"When I need courses on topics that my university doesn't offer, Coursera is one of the best places to go."

Chaitanya A.

"Learning isn't just about being better at your job: it's so much more than that. Coursera allows me to learn without limits."

Learner reviews

4.7

20 reviews

5 stars
80%
4 stars
10%
3 stars
10%
2 stars
0%
1 star
0%

Showing 3 of 20

Reviewed on Feb 25, 2024

Great introductory course for anyone with zero knowledge. Well structured short course that leads the student through basic concepts needed to understand this topic.

View more reviews