NUIMCrest CS370 - Computation and Complexity
Department of Computer Science
National University of Ireland, Maynooth

This is the CS370 homepage


This course runs every second year, in academic years that begin in an odd year (e.g. the 2005-2006 academic year). In even years (e.g. the 2006-2007 academic year) the module is "Theory of Computation." The two modules are designed such that:

The only difficulty arises when a student takes a year off between third and fourth year. In such a case, the student would not be allowed to take the computer theory option in their fourth year.

Some things the two modules have in common:

Continue reading this page for CS370 - Computation and Complexity. Follow this link for CS355 - Theory of Computation.

  • Academic year: 2005-2006. Semester: I
  • Lecturer: Tom Naughton
  • CS370 course outline
  • Laboratory demonstrators: Des Traynor, Niall Murphy

  • Lab sheets, lab tests, sample solutions, and grades
  • Handout: Template for undecidability proofs using a mapping reduction .
  • Mirror of Paul Ming's Perl Virtual Turing Machine (VTM) .

  • Sample paper for academic year 2003-2004 plus sample solutions .
  • Previous exam papers: 2005-2006 (winter) , 2003-2004 (autumn) , 2003-2004 (winter) , 2001-2002 (autumn) , 2001-2002 (summer) , 2001-2002 (February) , 2000-2001 (autumn) , 2000-2001 (summer) , 2000-2001 (February) , 1999-2000 (summer) .

  • Lectures and labs
             Time: Mon 13h CS2, Fri 09h SLT
             Location: CS2 - Callan Extension, SLT - Callan Building
  • Laboratory Sessions
             Tuesdays 16h-18h Lab4, Callan Extension
  • Consultation Hours
             Immediately after lectures, or any time you can find me in Office 2.104 (Callan Extension, upstairs)


    NUIM Logo