|
Lectures
|
Topic
|
Support Material
|
| -- |
Course Overview
|
Slides:
PDF
|
| I(1) |
Introduction to Lambda Calculus
|
Slides:
PDF
|
| I(2) |
Lambda Conversion
|
Slides:
PDF
a brief note about beta-conversion
|
| I(3) |
Introduction to Haskell
|
Slides:
PDF
|
| I(4) |
Functions and Types
|
Slides:
PDF plus example in
PPT
|
| I(5) |
Lists and Higher Order Functions
|
Slides:
PDF
|
| I(6) |
Functions and Infinite Data
|
Slides:
PDF plus example in
PPT plus
illustration of folding .
|
| I(7) |
More Examples
|
Slides:
PDF plus
illustration of one of the functions for computing
prime numbers.
|
| I(8) |
Algebraic Types, Modules and Abstract Data Types
|
Slides:
PDF
|
| II(1) |
Programming in Logic
|
Slides:
Powerpoint
pdf
|
| II(2) |
Prolog: History and Introduction
|
Slides:
Powerpoint
pdf
|
| II(3) |
Prolog: Syntax and Operation
|
Slides:
Powerpoint
pdf
|
| II(4) |
Execution/ Backtracking
|
Slides:
Powerpoint
pdf
|
| II(5) |
Lists
|
Slides:
Powerpoint
pdf
plus some
notes
on the order of terms in recursively defined predicates
|
| II(6) |
Arithmetic, fail and the cut
|
Slides:
Powerpoint
pdf
|
| II(7) |
Trees and Graphs
|
Slides:
Powerpoint
pdf
|
| II(8) |
Search and Conclusions
|
Slides:
Powerpoint
pdf
|
|
III(1-2)
|
Computability and Complexity (I-II)
|
Slides:
PowerPoint
pdf
|
|
III(3-4)
|
Computability and Complexity (III-IV)
|
Slides:
PowerPoint
pdf
|
|
III(5-6)
|
Computability and Complexity (V-VI)
|
Slides:
PowerPoint
pdf
|
