Overview

Before you start

It is essential that you use Wattle to enroll in a Practical session before the end of Week 1 (enrolments will open on Week 0). You can access the praactical selection here: Wattle Practical Selection

Practical will run every week both on-campus (whenever possible) and online via Teams.

Practicals start in week 2, that is, practical sheet 1 will be discussed in the practicals in week 2. All exercises are available.

Practical Session sheets

Practical Start from Practical Sheet Solution
01-Propositional-Logic 2 August here here
02-Natural-Deduction 9 August here here
03-First-Order-ND-Induction 16 August here here
04-Structural-Induction 23 August here here
05-Hoare-Partial 30 August here here
06-Hoare-Total 20 September here here
07-DFA 27 September here here
08-NFA 4 October here here
09-Grammars-CFL 11 October here here
10-Turing 18 October here here
11-Decidability 25 October here here

Schedule

Our practical sessions are scheduled as follows:

Note: due to the current lockdown in ACT (starting in 12 August, 2021), all teaching activies are online.

Practical Session Day Time (Canberra, Australia. AEST) Mode Room Tutor
PS1 Mondays 12 pm to 2 pm on-campus CSIT N108 Caitlin
PS2 Mondays 2 pm to 4 pm on-campus CSIT N108  
PS3 Mondays 4 pm to 6 pm on-line Via Teams VJ
PS4 Tuesdays 9 am to 11 am on-line (changed) via Team VJ
PS5 Tuesdays 11 am to 1 pm on-campus CSIT N108  
PS6 Tuesdays 1 pm to 3 pm on-campus CSIT N108 Jack
PS7 Tuesdays 2 pm to 4 pm on-line Via Teams Chloe
PS8 Tuesdays 3 pm to 5 pm on-line (changed) via Team Mina
PS9 Tuesdays 4 pm to 6 pm on-line Via Teams Peter
PS10 Wednesdays 11 am to 1 pm on-campus CSIT N108 Jim
PS11 Wednesdays 1 pm to 3 pm on-campus CSIT N108 Jim
PS12 Wednesdays 3 pm to 5 pm on-line Via Teams Mina
PS13 Thursdays 9 am to 11 am on-campus CSIT N108 Pramo
PS14 Thursdays 11 am to 1 pm on-line (changed) via Team Sylvester
PS15 Thursdays 1 pm to 3 pm on-campus CSIT N108 Jack
PS16 Thursdays 1 pm to 3 pm on-line Via Teams Yingnam
PS17 Thursdays 3 pm to 5 pm on-campus CSIT N108 Sylvester
PS18 Thursdays 3 pm to 5 pm on-line Via Teams Mina
PS19 Fridays 9 am to 11 am on-campus CSIT N108  
PS20 Fridays 11 am to 1 pm on-line (changed) via Team Minchao
PS21 Fridays 1 pm to 3 pm on-campus CSIT N108 Debashish

Drop-in sessions

Drop-in sessions will be open/closed on demand.

Note: due to the current lockdown in ACT (starting in 12 August, 2021), all teaching activies are online.

Drop-in session Day Time (Canberra, Australia. AEST) Room on-line
1 Tuesdays 12pm to 1pm STB_S1 (3.07) Via Teams
2 Thursdays 10am to 11am STB_S1 (3.07) Via Teams
3 Thursdays 6pm to 7pm Online Via Teams
4 Fridays 2pm to 3pm STB_S1 (3.07) Via Teams

Current time

Updated:    18 May 2022 / Responsible Officer:    Head of School / Page Contact:    Victor Rivera