COMP30026
1 rating
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
took it Sem 2, 2026
<script>alert('xss')</script> Test review <b>bold</b>
Sign in to contribute
Share your experience anonymously with other students. Verified accounts only.
Sign up