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: QUEENS BLDG 1.69
WHEN: Fridays 11-noon (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: Alex 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 Wed preceding the problem class. Your email should:
- Be sent to both TAs, Sam and Cristina. This is just to allow us to fairly share the marking workload between the TAs (and have the fail-safe of the lecturers in case one or both of the TAs are ill). Our emails are:
- Sam - samantha.frohlich@bristol.ac.uk
- Cristina - cristina.david@bristol.ac.uk
- Alex - alexander.wood@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 Wednesday. 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
| Week sheet due | Sheet |
|---|---|
| 1 | Only week one - no sheet due |
| 2 | Problem Sheet, Answers |
| 3 | Problem Sheet |
| 4 | Problem Sheet |
| 5 | Problem Sheet, |
| 6 | Reading week - no sheet due |
| 7 | |
| 8 | |
| 11 | (Read the paper introduced by our guest speaker)* |
*optional
For your convenience, we have also gathered the static and dynamics of the functions-and-constants fragment of the STLC into a reference sheet, 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.