|
Logic and Discrete Structures
|
|
|
|
|
|
| Course Code |
MATH600 |
| EFTS |
0.1250 |
| Points |
15.00 |
| Level |
6 |
|
|
|
Download Course Descriptor
|
|
| Prescriptor |
|
An introduction to the logical and combinatorial tools and methods used in mathematics and computer science, with an emphasis on axiomatic systems, combinatorial principles, and automated reasoning.
|
|
|
| Resources |
|
No Resource is available.
|
|
|
| Qualifications |
| The course is available as part of the following qualifications. |
|
|
| Expand to see requisite details. |
Points |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Timetable |
|
No timetable information is available.
|
|
