2020 Term 4

Term 4 --- Week 1

8 : Peter : Introduced and revised proof techniques.

Proved infinitude of primes.

Proved formula for sum of first n natural numbers via deduction

and via induction.

Finished JO 2013 Q1 including proof.

9+10 : Ellen : JO 2013 Q1, Q2, Q3.

11+12: Zoltan : SO 2013 Q1.

CCSE : Josh : Began logic and automated reasoning (propositional logic, transformations,

satisfiability, SAT solvers and the DPLL procedure).

Term 3 --- Week 2

8 : Peter : 2013 Fall Junior O, questions 2 & 3 completed.

Revision of gcd(x, x+b) = gcd(x, b) could be usefully repeated.

9 : Tamiru : ToT JO 2013 Q4, Q5.

10 : Ellen : JO 2013 Q5 almost complete. Also worked on Spring 2014 JO Q1.

Q4 not yet complete.

11+12: Zoltan : SO 2013 Q2, Q3.

CCSE : Josh + : Continued with logic, converting between different normal forms.

Started to encode problems into CNF.

Term 3 --- Week 3

8 : Chris : 2013 Fall Junior A, question 1 completed.

9+10 : David + : JO 2013 Q5 complete. JA 2013 Q1.

Peter

11+12: Zoltan : SA 2013 Q1 and Q2 completed.

CCSE : Josh : Third and final in a series of logic and automated reasoning.

Term 3 --- Week 4

8 : Tamiru : 2013 Fall Junior O, question 4 completed, Question 5 started.

9 : David : 2013 Fall Junior A, questions 2 and 3 completed, Started question 4.

10 : Peter : 2013 Fall Junior A, questions 2, and question 6.

11+12: Zoltan : 2013 Fall Senior A, questions 3 completed, and started question 4.

CCSE : Josh : Computational thinking problems from the AMT CAT.

Term 3 --- Week 5

8 : Tamiru : 2013 Fall Junior O, Question 5 completed.

Junior A level Q2 completed, Q3 started.

9 : Chris : 2013 Fall Junior A, questions 2 and 3 completed, Started question 4.

10 : Peter : Modular arithmetic, Fermat's Little theorem.

What is the smallest n such that 2015 divides 3^n-2^n?

2013 Fall Junior A, started Q4.

11+12: Ellen : 2013 Fall Senior A, questions 5.

CCSE : Eleni & : Introduction to machine learning.

Josh

Term 3 --- Week 6

8 : Zoltan : ????????????????????.

9 : Chris : ????????????????????.

10 : Peter : ToTT 2013 Fall JA, finished Q4, did most of Q7 with my methods.

11+12: Ellen : 2009 Fall Senior Advanced paper Question 6.

CCSE : Pascal : An introduction to planning in AI by Dr Pascal Bercher (ANU).

Josh