Functional Programming | In the seventh week of the course, in the Functional Programming strand, we'll finish data representation and data abstraction. We will also talk about the combination of laziness and higher-order functions, and about sorting. You will learn a bit about laziness and see different ways to sort lists.
FP required reading: Textbook
|
Computation and Logic | ForĀ CL Week 7, we continue our study of DNF and CNF, and implement it using the techniques you learned in FP last week. We will apply CNF satisfiability checking to the question of solving Sudoku puzzles. CL Required Reading
|
Tutorial 7 - tutorial pack
FP and CL Tutorial 7 sessions are held in Week 8.
Direct search links to materials on Learn (note that the tutorial materials only become available after the deadline of the previous tutorial):