| Unit name | Logic, Information and Computation |
|---|---|
| Unit code | EMAT20531 |
| Credit points | 10 |
| Level of study | I/5 |
| Teaching block(s) |
Teaching Block 1 (weeks 1 - 12) |
| Unit director | Professor. Lawry |
| Open unit status | Not open |
| Pre-requisites |
None |
| Co-requisites |
None |
| School/department | Department of Engineering Mathematics |
| Faculty | Faculty of Engineering |
This provides an introduction to the mathematics of information, formal reasoning and computation. It is divided into two elements. The first element is Information theory gives us as a way of measuring uncertainty and information. The second element provides an introduction to first-order predicate logic, the theory of computability and computational complexity.
