Problem Classes
For this unit we will hold problem classes.
For each problem class, there will be an associated problem sheet. To pass this unit, you are expected to attempt all the questions on the problem sheet. These are generally difficult questions; the point is not to solve them, but to think about them. We will use these questions to explore various additional themes and/or hold discussions.
In the classes, you will also have the opportunity to ask further questions.
WHERE: Queen’s building 1.69
WHEN: Fridays 11am (including week one, where there will be no sheet due, but this will be a chance to meet the TAs and take a look at / get help on the first sheet)
WHO: April and Tom will be running the problem classes and marking your work.
HOW: You will have the opportunity to get the answers to questions marked by an asterisk (*) marked by a TA. Please submit your answers via email by 5pm on the Tuesday preceding the problem class. Your email should:
- Be sent to both TAs and Sam. This is just to allow us to fairly share the marking workload between the TAs (and have the fail-safe of Sam incase one or both of the TAs are ill). Our emails are:
- Sam - samantha.frohlich@bristol.ac.uk
- April - ky19235@bristol.ac.uk
- Tom - oi24939@bristol.ac.uk
- Have your answers attached as a single PDF. If available, we recommend completing your work digitally i.e. either by writing with an iPad, ReMarkable, or similar (no need to use latex to render it nicely, we’d rather you focussed on the problems rather than the typesetting), but if this is not possible you are welcome to complete your answers on paper, please just scan your work (photos of paper are very hard to read and thus mark).
- Have the subject “ATiPL Sheet n”, where n is the sheet number. This uniform system (using sheet number not week number) will allow the TAs to better organise the submissions.
The TAs will then ensure that your work is marked and emailed back to you by 5pm on Thursday. Sample answers will also be posted on teams at this time. Please look at your marked work ahead of the problem class on Friday so that you can come prepared with questions for the TAs and make the most of the class.
Sheets
Note that while the future sheets are shared (to allow you to more flexibly manage your time), and unlikely to change drastically, they are subject to change (and hey if they do change, there’s no harm in extra practice :D ).
| Week sheet due | Sheet |
|---|---|
| 1 | Only week one - no sheet due |
| 2 | Problem Sheet |
| 3 | Problem Sheet |
| 4 | Problem Sheet |
| 5 | Problem Sheet |
| 6 | Reading week - no sheet due |
| 7 | Problem Sheet |
| 8 | Problem Sheet |
| 11 | (Read the papers introduced by our guest speakers)* |
*optional
For your convenience, we have also gathered the static and dynamics of STLC and PCF into these linked reference sheets, and we have gathered key theorems and lemmata here. Note that you will be given these reference figures and any other rules / theorems you will need in the exam. Please don’t waste time memorising rules.