Trent University, Fall 2006

Mathematics/Computer Science 415H -- Mathematical logic

Prerequisite: MATH 260 Discrete structures, or MATH 330 Algebra III: Groups, rings and fields, or permission of the instructor.

Stefan's Exam Period Office Hours

Tuesday, 12 December, 1:00-2:00
Wednesday, 13 December, 11:00-12:00
Thursday, 14 December, 11:00-12:00
Friday, 15 December, 11:00-12:00
Monday, 18 December, 11:00-12:00
Tuesday, 19 December, 11:00-12:00
Thursday, 21 December, 11:00-12:00

... or by appointment, or just drop by!

Instructor

Stefan Bilaniuk
Gzowski College (Symons Campus) 337
Fall hours: Mondays 12:00-12:50, and Tuesdays, Thursdays, and Fridays 10:00-10:50, or by appointment, or just drop by!
phone: 748-1011 x7474
home phone: 742-7862 -- Do not call between 10 p.m. and 8 a.m.
e-mail: sbilaniuk@trentu.ca

Text

A Problem Course in Mathematical Logic, Version 1.6, Stefan Bilaniuk, 2003

It's free and can be viewed or downloaded from this site in pdf format or obtained in pdf or LaTeX formats from:

http://euclid.trentu.ca/math/sb/pcml/

Meetings

Mondays and Tuesdays 13:00-13:50 in GCS 337

Structure and evaluation

This will be a problem course: the hope is that student(s) will learn the material by doing the problems in the text and proving the theorems for yourself. There will be 12 problem sets, the best 10 of which will count equally towards the final mark.

This scheme may be modified in exceptional circumstances. Any such modification will require the agreement of both the student(s) concerned and the instructor.

Honour

Plagiarism is an extremely serious academic offence and carries penalties varying from failure in an assignment to suspension from the University. Definitions, penalties and procedures for dealing with plagiarism are set out in Trent University's Academic Dishonesty Policy which is printed in the 2003-2004 Calendar supplement. It can also be found online at:

http://www.trentu.ca/deansoffice/dishonestypolicy.html

For clarity, the following guidelines will apply in MATH 415H:

Students are permitted and encouraged to ask anyone willing (especially the instructor!) for explanations, hints, and suggestions on the problem sets, and to consult whatever sources they wish, with the exceptions that students may not consult the work returned to other students until they have submitted their own and may not consult anyone who has taken the course before or their work. However, all work submitted for credit must be written up entirely by the student, giving due credit to all relevant sources of help and information.

Content

We will cover as much of the following as we can:

  1. Propositional logic: language, truth assignments, deduction
  2. Propositional logic: Soundness, Completeness, and Compactness
  3. First-order logic: languages, structures and models, deduction
  4. First-order logic: Soundness, Completeness, and Compactness

Work & Handouts

View or download in pdf format:

[Math logo]Department of Mathematics [Trent crest]Trent University
Maintained by Stefan Bilaniuk. Last updated 2006.12.11.