Course Outline

Mathematical Logic

   Home

   Lectures
   Tutorials
   Assessments
   Marks
   Resources

 

 

   Teaching Staff    Course  Description    Lectures    Tutorials
   Text    Assessment    Advice    Assistance
  

  

TEACHING STAFF

 

Name:                     Dr Stephen Watson

Room:                     1-E335

Email:                      s.watson2@uq.edu.au

Consultation:        Thursday 14:00-15:00.

 

Note: please enter the subject heading ‘MATH3306’ in all email correspondence.

 

Consultation Hours: If the above consultation hour is inconvenient for you, do not hesitate to contact me to arrange a meeting.

 


 

COURSE DESCRIPTION

   

Perhaps surprisingly, the mathematical study of logic has made several important contributions to philosophy and to contemporary culture generally. The most important of these being due to the ramifications of Godel's proof of the undecidability of arithmetic. The course will attempt to make students familiar with some of the most important results of the mathematical study of logic. We will begin with a swift introduction to the type of logic that we'll mainly be interested in (ie. classical predicate logic) and will work up to a presentation of the Godel theorem.

 


 

LECTURES

 

Day

Start

End

Venue

Monday

9:00am

9:50am

68-320

Tuesday

11:00am

11:50am

45-104

Thursday

12:00am

12:50am

68-214

 

Lectures commence in Week 1 of semester. Lecture notes will be made available through the course homepage each week.

 


 

TUTORIALS

 

Attendance at tutorials is optional. 

 

Day

Start

End

Venue

Monday

10:00am

 10:50am

68-320

Tuesday

2:00pm

 2:50pm

09-722

 

The best way to learn maths is to do maths problems. Tutorials are designed to give you the opportunity to discuss and work through problems set for that purpose.

   


 

TEXT

 

There's no set text for this course, but there are plenty of good textbooks in the libraries. 

 


 

ASSESSMENT  

 

There will be three assignments handed out fortnightly and a final exam.

 

The assessment is as follows:

 

3 Assignments, 6% each

18%

Mid Term Exam

32%

 

 

 

The assignments will be given out approximately every 2 weeks in class.

 

The mid-semester exam will be one hour long, held during one of the lectures.  The date will be announced as soon as possible.

 

Overall

 

To obtain the final grade, the marks will be weighted as described above and added to give a final mark out of 100.  People will receive a grade from 1 to 7 if their mark is above the following cut offs.

 

Mark

85

75

65

50

45

20

0

Grade

7

6

5

4

3

2

1

 

Extensions

Extensions on due dates for assignments are only permitted if you have a legitimate reason (e.g. illness, etc.). If you cannot submit an assignment by the due date, you should consult the course coordinator immediately concerning the possibility of an extension. You should not ask for an extension after the essay is due as it will not be given, except where you were physically incapable of making a phone call before the essay is due. Evidence of your illness etc. will be required. Conflicts with assessment for other courses, computer failures and work constraints are not sufficient grounds for being awarded an extension. Late papers may receive a grade reduction of one point per day overdue (e.g., if your paper is worth a 5 and is one day late the grade drops to 5-).

 

Cheating

 

Cheating, by copying others' work will be viewed harshly. And dealt with through formal University channels.

 


 

ADVICE TO STUDENTS

   

Students are advised to read the material given in the lecture notes, and participate actively in tutorials. You may also wish to attend lectures. If you apply yourselves to the task on a week-by-week basis (avoiding cramming) then you are most likely to do well and to enjoy the course more.


 

ASSISTANCE TO STUDENTS

 

There is an on-campus service available to all students who may require assistance with more general problems relating to their academic work, e.g. writing skills, returning to study after a long break, preparing assignments or seminars, stress, etc. This supplementary assistance is available through the Learning Assistance Unit — a part of Student Support Services — in the Relaxation Block, Student Union Complex. Telephone 336 51704.

 

Any student who for whatever reason (not just physical disabilities) may require alternative academic arrangements is encouraged to seek advice from a Disability Advisor at Student Support Services (Telephone 336 51704).

 


 

.