Course Descriptions  Undergraduate Calendar 20182019University of Waterloo Home  Undergraduate Calendar  Course Description Index  Contact Us  Privacy 


PMATH 330 LEC 0.50  Course ID: 007659 
Introduction to Mathematical Logic  
A broad introduction to Mathematical Logic. The notions of logical consequence and derivation are introduced in the settings of propositional and first order logic, with discussions of the completeness theorem and satisfiability.  
[Note: PMATH 432 may be substituted for PMATH 330 whenever the latter is a requirement in an Honours plan.]  
Prereq: (MATH 225/126 and CS 116/136/145) or MATH 235 or 245; Not open to Computer Science students.  
Antireq: CS 245, SE 212.  
Also offered Online 
PMATH 399 RDG 0.50  Course ID: 007680 
Readings in Pure Mathematics  
Reading course as announced by the department.  
PMATH 451 LEC 0.50  Course ID: 003348 
Measure and Integration  
General measures, measurability, Caratheodory Extension theorem and construction of measures, integration theory, convergence theorems, Lpspaces, absolute continuity, differentiation of monotone functions, RadonNikodym theorem, product measures, Fubini's theorem, signed measures, Urysohn's lemma, Riesz Representation theorems for classical Banach spaces.  
Prereq: PMATH 450 with a grade of at least 60%  
Also offered Online 
PMATH 499 RDG 0.50  Course ID: 007706 
Readings in Pure Mathematics  
Reading course as announced by the department.  