Courses :: Module, FUNDAMENTALS OF LOGIC FOR COMPUTATIONAL THINKING

	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.

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
	On successful completion of the module, students should be able to: To understand the fundamentals of using inference to interrogate statements; To understand the mathematical representations of truth tables, propositional logic, sets theory, and first-order logic; To understand how to apply these techniques to represent and solve logical problems; To learn how to write simple programs in a declarative language such as or similar to Prolog.

Learning Outcomes

	Autumn Supplementals/Resits
	Are supplemental/resit registrations permitted? Yes University scheduled written examination (Autumn): 120 minutes, On-campus

Autumn Supplementals/Resits

	Additional Reading
	Logic in Action (online at www.logicinaction.org/docs/lia.pdf)

Additional Reading

Search form

Courses / Module

FUNDAMENTALS OF LOGIC FOR COMPUTATIONAL THINKING

Semester 1

Semester 2