UoB 2015 EFC auxiliary exercises¶
this page: | http://efc.2015.uob.bram.xyz/ |
---|---|
this page: | http://bit.ly/focs-aux |
module: | https://canvas.bham.ac.uk/courses/15627 |
submission instructions: | |
https://github.com/Duta/focs-2015-16/blob/master/README.md |
These are some auxiliary exercises and notes for the programming and reasoning tutorials:
- Week 2 tutorial programming exercises: Thinking like OCaml
- (Week 3 tutorial programming exercises: see unassessed exercises in Canvas)
- Week 4 programming: Tuples and lists: values and types
- Week 5 programming: lists
- Week 5 reasoning (Part 2): Explanation for Currying, bool*bool, and Sum Types
- Week 5 reasoning: explanation for
tne
(exercise 4.3) - Week 6: graphs
- (Week 6: List exercises)
- Week 7: tail recursion
- Week 7: Proof of Exercise 7.3. Casenil Part (Induction Base)
- Week 7: Explanation for exercise 6.1 (Symmetric Difference of Lists)
- (Week 8: solutions of week 7)
- Week 8: tail recursion
- Week 8: Full Proof of Associativity:
- Week 9: programming assignments from week 8
- (Week 10 programming: exercises of week 9)
- Week 11: exercises from week 10
Schedule¶
Remedial programming tutorial: | |
---|---|
3pm in Aston Webb G33 with Bram | |
Remedial reasoning tutorial: | |
4pm in Learning Centre UG05 with Sina |