Course Info
By Specialisation
By Qualification Type
By Faculty
Short Courses
Course Search
Enrolment
Apply Online Now!
Enrolment Guide
Downloadable Forms and Guides
Arion Options
Help
Site Map
Contact
Logout
Logout
Course Details
Logic and Discrete Structures
Prescriptor
Qualifications
TimeTable
Course Code
COMP613
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
AK1271
Bachelor of Mathematical Sciences
(BMathSc)
360.00
Prerequisites
MATH502
AK1302
Graduate Certificate in Mathematical Sciences
(GradCertMathSc)
60.00
Prerequisites
MATH502
AK1301
Graduate Diploma in Mathematical Sciences
(GradDipMathSc)
120.00
Prerequisites
COMP502
AK3001
Bachelor of Business and Bachelor of Science Conjoint Degrees
(BBusBSc)
510.00
Prerequisites
MATH502
AK2040
Bachelor of Advanced Science (Honours)
(BSc(AdvSci)(Hons))
480.00
No requisite courses specified.
INEXCH1
International Exchange (Inbound)
(INEXCH)
0.00
No requisite courses specified.
SABRD1
Study Abroad
(Study Abroad)
0.00
No requisite courses specified.
ICE1
Individual Course Enrolment
(ICE)
0.00
No requisite courses specified.
AK3697
Bachelor of Computer and Information Sciences
(BCIS)
360.00
Prerequisites
COMP500
,
MATH503
HA1042
Graduate Diploma in Science
(GradDipSc)
120.00
Prerequisites
MATH502
HA1043
Graduate Certificate in Science
(GradCertSc)
60.00
Prerequisites
MATH502
AK3698
Graduate Diploma in Computer and Information Sciences
(GradDipCIS)
120.00
Prerequisites
MATH503
AK3756
Graduate Certificate in Computer and Information Sciences
(GradCertCIS)
60.00
Prerequisites
MATH503
Timetable
No timetable information is available.
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Course Search
Academic Calendar
Downloadable Forms and Guides