Third year

Back to Notes

COMP3610 Theory of Computation

Resource Type
Assign­ment 1 (Ques­tions)
Assign­ment on finite state auto­mata, reg­u­lar lan­guages, Tur­ing machines, decid­ab­il­ity, NP-com­plete­ness and sat­is­fiab­il­ity
Assign­ment
Assign­ment 2 (Ques­tions)
Assign­ment on NP-com­plete­ness and approx­im­a­tion algorithms
Assign­ment
Exam notes
Sum­mary of the course that I took into the exam
Notes
Lec­ture 8
Set cov­er prob­lem
Notes
Lec­ture 9
Ver­tex cov­er prob­lem using the pri­cing meth­od
Notes
Lec­ture 10
Lin­ear pro­gram­ming, integer pro­gram­ming and the prim­al dual meth­od
Notes
Lec­ture 11
Weighted inter­val schedul­ing with dynam­ic pro­gram­ming
Notes

LAWS3000 Federal Constitutional Law

Resource Type
Assign­ment (Ques­tions)
Prob­lem and essay-based con­sti­tu­tion­al law assign­ment
Assign­ment
Annot­ated list of cases
A list of cases used in the course, with a short note next to each case as a memory aide
Notes
Con­sti­tu­tion­al inter­pret­a­tion
Sum­mary of the dif­fer­ent approaches to con­sti­tu­tion­al inter­pret­a­tion
Notes

See also: Con­sti­tu­tion­al law case sum­mar­ies on Wiki­pe­dia

LAWS3002 Law, Lawyers and Justice

Resource Type
Class facil­it­a­tion notes
Sum­mary and ana­lys­is of the major­ity judg­ment in D’Orta-Ekenaike v Vic­tor­ia Leg­al Aid
Notes
Reflect­ive journ­al
Reflect­ive journ­al as part of course assess­ment
Assign­ment

MATH3964 Complex Analysis with Applications

Resource Type
Assign­ment 1
Assign­ment on the residue the­or­em, power series and the argu­ment prin­ciple
Assign­ment
Assign­ment 2 (Ques­tions)
Assign­ment on Pain­levé ana­lys­is and ellipt­ic integ­rals
Assign­ment
Lec­ture 11–2
Fuch­sian DEs, reg­u­lar sin­gu­lar points of the hyper­geo­met­ric func­tion
Notes
Lec­ture 11–3
Iden­tit­ies for the hyper­geo­met­ric func­tion and con­ver­gence for the hyper­geo­met­ric series
Notes
Lec­ture 12–1
Gauss’ for­mula
Notes
Sum­mary 1 /​ Sum­mary 2 /​ Sum­mary 3 /​ Sum­mary 4
Sum­mary of the entire course
Notes

SOFT3601 Software Construction 2

Resource Type
Con­sti­tu­tion sub­sti­tut­ab­il­ity
Ana­lys­is of the sub­sti­tut­ab­il­ity of a con­sti­tu­tion accord­ing to the Liskov sub­sti­tut­ab­il­ity prin­ciple
Assign­ment
Assign­ment 1 /​ Test suite
Token­iser assign­ment
C++/Java source code
Assign­ment 2
_​1 (lambda-like) expres­sions in C++
C++ source code
Assign­ment 4
Address tag­ger
C++ source code
Tutori­als
Small pro­grams I wrote for prac­tice that demon­strate C++ con­cepts
C++ source code