Unit G: Solvability and Feasibility

Lecture notes

Lab exercises


This unit is based on chapter 18 of the textbook. You should read through this if you have the book.

Case study: Bioinformatics

Read: bioinformatics techniques.


The assessment for this module is made up of the the exercises in class G2.

Other material

Here is a poem about the halting problem.