University of Leeds - An Introduction to Logic in Computer Science
- Offered byCoursera
An Introduction to Logic in Computer Science at Coursera Overview
Duration | 6 hours |
Total fee | Free |
Mode of learning | Online |
Difficulty level | Beginner |
Official Website | Explore Free Course  |
Credential | Certificate |
An Introduction to Logic in Computer Science at Coursera Highlights
- Flexible deadlines Reset deadlines in accordance to your schedule.
- Shareable Certificate Earn a Certificate upon completion
- 100% online Start instantly and learn at your own schedule.
- Beginner Level No previous knowledge required, just a healthy appetite for learning.
- Approx. 6 hours to complete
- English Subtitles: English
An Introduction to Logic in Computer Science at Coursera Course details
- 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.
An Introduction to Logic in Computer Science at Coursera Curriculum
Week 1: Propositional logic
Welcome to An Introduction to Logic in Computer Science
Lesson 1: Introduction
What is 'propositional logic'?
Symbols and notation in propositional logic
The conjunction operator
Introducing the truth table
Lesson 1: Summary and next steps
Lesson 2: Introduction
Disjunction operator
Exclusive disjunction operator
Negation operator
Implication operator
Optional practice exercises
Lesson 2: Summary and next steps
Check your understanding: Propositional statements
Check your understanding: Conjunction operator
Check your understanding: Disjunction operator
Check your understanding: Exclusive disjunction operator
Check your understanding: Negation operator
Check your understanding: Implication operator
Week 2: Modelling with logic
Lesson 3: Introduction
Truth tables: A recap
Applying logic to solve puzzles
Exercise: Modelling with logic: Give it a go
Why learn about logic?
Lesson 3: Summary and next steps
Lesson 4: Introduction
Exercise: Share your detective skills
Lesson 4: Summary and next steps
Taking your learning further
Check your understanding: Logic
Other courses offered by Coursera
Student Forum
Anything you would want to ask experts?