|
Week/Dates
|
Topic
|
On-Line Material
|
|
Week 13 |
Introduction to l-Calculus
|
Practical (HTML)
Answers
|
|
Week 14 |
Functional Programming in Haskell I
|
Practical (HTML)
sample.hs
Answers
|
|
Week 15 |
Functional Programming in Haskell II
|
Practical
Answers
(If you'd like to try some more challenging questions, take a look at items 4 and 2
here, with answers
here .)
|
|
Week 16 |
Functional Programming in Haskell III
|
Have a go at the questions that made up last year's assessment:
Last year's assessment
|
|
Week 17 |
Clausal Form and Resolution
|
Practical
Answers
and
More elaborate answers
|
|
Week 18 |
Programming in Prolog I
|
Practical
Answers
|
|
Week 19 |
Programming in Prolog II
|
Practical
Answers
|
|
Week 20 |
Programming in Prolog III
|
Practical
Answers
|
|
Week 21 |
Turing Machines
|
Practical (extended on 6 Dec.
Answers to questions 1-5
|
|
Week 22 |
See last week
|
Answer to question 6a.
|
|
Week 23 |
Review of Course
|
|