MATH33001/43001 - 2008/2009 - Title: Predicate Calculus - Unit
code: MATH33001/43001 - Credits: 10 (MATH33001), 15 (MATH43001)
- Prerequisites: MATH20302 Propositional Logic Some familiarity
with the propositional calculus. This may be gained by study of
a chapter(s) on propositional calculus up to the completeness
theorem from one of the many logic textbooks, such as the ones
listed below. - Co-requisite units: None - School responsible:
Mathematics - Members of staff responsible: To introduce
students to the formal notions of language, proof, semantics,
and completeness with quantificational logic, in order to: -
improve their understanding and appreciation of the foundations
of mathematics and - provide the necessary background knowledge
for later logic course units. Brief Description of the unit What
do we mean by saying that a mathematical statement is true? Can
we show that mathematics is consistent? Can mathematics be
reduced to computer programming? In order to answer such
questions it is necessary to