Certificate of Achievement
has completed the following course:
An Introduction to Logic for Computer Science
University of Leeds and Click Start
This online course explored computer-based logic, its practical applications in problem-solving, algorithm design, and the development of intelligent systems. Learners considered propositional logic, the ability to use truth tables, and the critical thinking skills to apply logical reasoning to solve complex problems in computer science.
2 weeks, 3 hours per week
Dr Sam Wilson
School of Computing, University of Leeds
University of Leeds
Transcript
Learning outcomes
- apply logical statements as propositions using logical connectives
- describe a propositional formula using a truth table
- produce a truth table for a propositional formula
- describe real world problems as propositional formulas
- apply propositional formulae to reason about real world problems.
Syllabus
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.
- Propositional logic
- The conjunction operator
- Introducing the truth table
- Applying logic to solve puzzles
Issued on 1st November 2024
The person named on this certificate has completed the activities in the transcript above. For more information about Certificates of Achievement and the effort required to become eligible, visit futurelearn.com/proof-of-learning/certificate-of-achievement.
This certificate represents proof of learning. It is not a formal qualification, degree, or part of a degree.