Template:MATHS 315:Calendar amendment

From MathsDept

(To change the prescription of a Course)

2007 Calendar, p. 639

Subject: MATHS 315

Level : Stage III

INSERT prescription for MATHS 315

Logic addresses the foundations of mathematical reasoning. It models the process of mathematical proof by providing a setting and the rules of deduction. Builds a basic understanding of first order predicate logic, it introduces model theory and demonstrates how models of a first order system relate to mathematical structures. The course is vital for anyone studying high level computer science or mathematical logic. (To change a Prerequisite or Restriction)

2007 Calendar, p. 639

Subject: MATHS 315

Level : Stage III

AMEND prerequisite/restriction for MATHS 315 to

Prerequisite: from COMPSCI 225 or MATHS 255 TO: COMPSCI 225 or MATHS 255 or PHIL 222

OTHER Subjects/majors/specialisations in which Course occurs: BA Logic and Computation, BSc Logic and Computation, specialization, BSc Logic and Computation schedule,