FUNDAMENTALS OF LOGIC FOR COMPUTATIONAL THINKING
- Module code: CS125
- Credits: 5
- Semester: 2
- Department: COMPUTER SCIENCE
- International:
Overview | |
---|---|
The module will cover the following topics: Inferences and validity, Propositional logic including Conjunctive Normal form and Disjunctive normal form, Set theory, Syllogistic reasoning, Relations, and Predicate calculus. Examples of applications will be discussed, and some advanced topics will be described. Programming implementation will be included as Laboratory work. |
Learning Outcomes | |
---|---|
Teaching & Learning methods | |
---|---|
Assessment | |
---|---|
Autumn Supplementals/Resits | |
---|---|
Additional Reading | |
---|---|
Timetable | |
---|---|