06 08764 Mathematics & Logic B

06 02316 Logic

Manfred Kerber
Volker Sorge
10 credits in Semester 2

Locations

The lectures and exercise classes take part for
Group i:Mondays  9:00-11:00LT1, Arts
Fridays16:00-17:00LT1, Arts
Group ii + Logic:Tuesdays13:00-14:00301 Biochemistry
Thursdays14:00-15:00301 Biochemistry
Fridays11:00-12:00LT1 Law

Recommended Books

Title Author(s) Publisher Comments
Logic in Computer Science: Modelling and reasoning about systems Michael R A Huth and Mark D Ryan Cambridge Univ. Press, 2000 Further Reading
Discrete Mathematics by Example Andrew Simpson McGraw Hill, 2002 Further Reading
Discrete Mathematics and its applications Kenneth H. Rosen McGraw Hill, 2003 Further Reading
Mathematics as a Second Language (4th ed) Joseph Newmark and Frances Lake Addison-Wesley, 1987 Further Reading

Detailed Syllabus and Relevant Links

It is planned to make the handouts for the lectures and the worksheets available on-line after they have been handed out in the lectures. For more information on previewing and printing see here. Please DO NOT PRINT THEM OUT. First check for spare and reference copies which can be found in the School's library. DO NOT WASTE PRINTER RESOURCES. If you want to print after all, you may consider to print several pages on one sheet by using psnup (e.g., with psnup -2 h7.ps | lpr -Pmyprinter -).

Week Lectures Exercises
1 What is logic, motivation, reasoning about programs, informal Hoare triples
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
2 What is a proof, semi-formal reasoning (assignment, composition, if-then-else)
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
3 Formal reasoning (assignment, composition, if-then-else), weakening, motivation for propositional logic
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
4 Propositional logic, syntax, semantics
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
5 Truth tables, consequence relation
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
6 Boole algebra, natural deduction
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
7 Natural deduction
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
8 Derived rules, First-order logic (syntax, encodings)
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
9 First-order logic (semantics, natural deduction)
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
10 Equality, restricted Hoare plus natural deduction
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf
11 Hoare logic with while
Handout html, ascii, gzipped PostScript, pdf.
gzipped PostScript, pdf

Errata can be found here.

You can find the Mathematics and Logic B exam papers (with model answers) of 2001, 2002, and 2003 from the following links. However, be aware that the syllabus of the module was very different for 2001 and 2002 compared to 2004. The material covered in 2004 is mainly the same as that covered in 2003, but we made significant changes in the delivery.

Tutorial groups
The different tutoral groups can be found locally as groups04.

Provisional Marks
Provisional Marks for the resit can be found locally as resit04.

Provisional Marks
Provisional Marks for the continuously assessed work can be found locally as results04.

Provisional Marks for the Mathematics and Logic module can be found locally as provision04.

Provisional Marks for the Logic module can be found locally as provision-logic04.

Information about the tutorials
The module is to 20% continuously assessed, 2% every week in weeks 1 through 10. The 2% is subdivided into 100% of which typically 40%-50% are for easy exercises, which should give you enough points for a pass mark. Exercises of medium difficulty can give you another 20%-30% and bring you in the range of a second class mark. You need to address successfully all exercises in order to come in the range of a first class mark. Typically it is not sufficient to start working on the exercises in the tutorial sessions. It is rather thought that you are well-prepared when you come to the exercise classes and use the presence of the tutors to clarify matters where you've got stuck. You are supposed to work in groups of three students (we made the groupings following your suggestions if given) and will make a joint submission at the end of each exercise class. While you have to collaborate within your team, collaboration on the exercises between different teams is not permitted. Clearly write your registration numbers on each sheet of your submission. No registration numbers -- no points. Do not write your names on your submission. Submissions with names will be marked but not returned.

Some hints about learning

FAQ about the "Math and Logic B" examination


Maintained by: Manfred Kerber, Volker Sorge, School of Computer Science, The University of Birmingham
Last update: 9.9.2004.
The URL of this page is   http://www.cs.bham.ac.uk/~mmk/Teaching/MathLogic/index.html.