You are here
» Practical Sessions
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 |
| 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 |
| 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 |
| 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 |
