IFN505 Assignment 1
Empirical Analysis of an Algorithm
for Inserting a Number Into a Set
John Doe
(Student no. 99999999)
Date submitted: 19th August 2015
Summary
This report summarises the outcomes of several experiments conducted to measure the time
comp

IFN505 Analysis of Programs
Assignment 2 Project
Theoretical and Empirical Comparison
of the Two Minimum Distance
Algorithms
Shih-Kai Lu, Ze Chen& Jianzhang Guo
(Student No. 9317406, No.9546839 , No. 9078762)
Date submitted:
Summary
This report seeks to i

IFN505 Analysis of Programs
Assignment 2 Project (Group of 2 Assignment)
Theoretical and Empirical Comparison of the two Algorithms
Due Date: 11:59pm Sunday 23 Oct 2016 (Week 12)
Submit your assignment to Prof Glen Tian via email at [email protected]
1.
S

IFN505 Analysis of Programs
Assignment 2 Project
Theoretical and Empirical Comparison
of the Two Minimum Distance
Algorithms
Shih-Kai Lu, Ze Chen, Jianzhang Guo
(Student No. 9317406, No.9546839 , No. 9078762)
Date submitted:
Summary
This report seeks to i

IFN 501 Assignment 2 part 2
Jianzhang GUO
N9078762
Code documentation
Tutorial section: Wednesday 5-7 pm
Code examine: 10:40 11:10 am
Content page
I.
Problem analysis
II.
Data/Variables
i. Instance variables for class(es)
ii. Local variables for class(es)

IFN505
Week 1
Week2
Week3
Week 4
The starting point for mathematical proofs is Boolean (truth-valued) logic.
Propositions are atomic statements that are either true or false.
Predicates are propositions parameterised with variables so that the variables s

IFN505 Analysis of Programs
Tutorial Solutions, Week 3
Exercise 1: Analysing iterative algorithm fragments
The solutions to these questions rely on various summation formul such as those
found in Levitins textbook. For the nested for loops you need to des

IFN505 Analysis of Programs
Tutorial Exercise Solutions, Week 5
Overview
Building on last weeks work on propositional and predicate logic, this weeks tutorial
focuses on program logics and correctness.
Part A Program logic
Program logic allows us to prove

IFN505 Analysis of Programs
Tutorial Exercise Solutions, Week 4
Overview
This weeks tutorial aims to give you experience with propositional and predicate
logic. You will then use this to get practice at proving (partial, and then total)
correctness of sma