Logic 1

326.019, 326.021 - Mathematical Logic 1

Winter Semester 2007 - 2008

The course is an introduction to logic for students in Computer Science and Mathematics. It is largelly based on the script:

Bruno Buchberger: Logic for Computer Science. A scanned copy of the script is available as pdf file. This material is copyrighted and is available only for the students of this lecture and only for the purpose of study related to it.

A transcript by Martin Koehler of previous lectures is available as pdf file. (May contain some typos and small errors.)


Understand the principles of Mathematical Logic and its mathematical models, aquire the skills for using it in Mathematics and Computer Science.


The principles of Mathematical Logic and its role in human activity.

Main models: propositional logic, first-order predicate logic, higher-order logic. Proof systems: correctness, completeness.

Practical use of Mathematical Logic in Mathematics (building theories, proving), and in Computer Science (automatic reasoning, programming, describing and proving properties of programs).


The lecture takes place on Thursdays:

8:30 to 11:45 in BA9911;

12:00 to 13:30 in P004.

If the lecture does not take place in a certain week, this will be announced on this page.

The home page of the lecture in WS 2006 may give you an idea about the contents and the homeworks, although the current lecture will not be exactly the same.



Each exercise counts in your final examination.

In case you send your homeworks by e-mail, please use my address tjebelea@risc.uni-linz.ac.at.

Also please use as name of the file[s] your name and the number of the homework, e. g. like Mayer-3.pdf or Schreiner-J-4.ps. Please do not use Windows Word files (*.doc) because the special symbols are not shown correctly on different systems. If you do not have alternative to Word, then please print the file using the option "Print to file" and send this file too.

T. Jebelean