COMP30026
2 ratings
Formal logic and discrete mathematics provide the theoretical foundations for computer science. This subject uses logic and discrete mathematics to model the science of computing. It provides a grounding in the theories of logic, sets, relations, functions, automata, formal languages, and computability, providing concepts that underpin virtually all the practical tools contributed by the discipline, for automated storage, retrieval, manipulation and communication of data. INDICATIVE CONTENT
Closed book exam 3hr
Written assignment 1 individual
week 5-6
Written assignment 2 individual
week 11-12
12 weekly online quizzes
3 lowest dropped
Cezary Kaliszyk
no reviews yettook it Sem 2, 2024
assignment marking is harsh and they penalise vague proofs hard. exams are usually fairer than the assignments suggest so do not panic going in
took it Sem 1, 2025
way more maths and logic than most people expect from a CS subject. automata theory and formal proofs take getting used to but it is genuinely fascinating
took it Sem 1, 2025
haskell is weird but kind of beautiful once it clicks. the logic puzzle angle makes this feel completely different from any other CS subject at unimelb