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.
|
|