Week 1: Propositional logic-Course introduction
Welcome to An Introduction to Logic for Computer Science
The course and its creator
()
Week 1: Propositional logic-Lesson 1: An introduction to propositional logic
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
Week 1: Propositional logic-Lesson 2: Using logical operators to create more complex expressions
Lesson 2: Introduction
Disjunction operator
Exclusive disjunction operator
Negation operator
Implication operator
Optional practice exercises
Lesson 2: Summary and next steps
Week 2: Modelling with logic-Lesson 3: Using logic to solve puzzles
Lesson 3: Introduction
Filling in truth tables
()
Truth tables: A recap
Applying logic to solve puzzles
Exercise: Modelling with logic: Give it a go
Modelling with logic: Solution
()
Recap: Why learn about logic?
Lesson 3: Summary and next steps
Week 2: Modelling with logic-Lesson 4: Sharing your detective skills
Lesson 4: Introduction
Exercise: Share your detective skills
Lesson 4: Summary and next steps
Week 2: Modelling with logic-Course summary
Course summary
()
Taking your learning further