Logic 1
326.019, 326.021 - Mathematical Logic 1
326.111, 326.000 - Mathematical Logic and Logic-Oriented Programming Languages
New Examination
A new exam for Logic 1 will be organized:
Tuesday May 22
Theory 14:30 - 16:00 - KopfGebaeude 416 (near RISC office)
Exercises 16:15 - 17:45 - KopfGebaeude 416 (near RISC office)
Consultations: Monday May 21 from 17:00 to 18:30 in room KopfGebaeude 416.
The examination is open to students who did not participate at the previous examination and also to students who want to improve their mark.
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 the actual lectures is available as pdf file. (May contain some typos and small errors, but otherwise very good.)
Purpose
Understand the principles of Mathematical Logic and its mathematical models, aquire the skills for using it in Mathematics and Computer Science.
Contents
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).
Organization The lecture takes place on Thursdays:
8:30 to 10:15 in HS9 (both lectures);
10:30 to 11:45 in BA9911 (only "Mathematical Logic");
12:00 to 13:30 in HS6 (both lectures).
If the lecture does not take place in a certain week, this will be announced on this page.
You may participate at any of the lectures even if you are not registered through KUSSS, however it is better to register as soon as you decide to take the course, because then you will receive announcements via e-mail.
I asked to increase the maximal number of participants to 120, in order to allow new people to register.
The lecture (A) 326.111, 326.000 - Mathematical Logic and Logic-Oriented Programming Languages has 2 + 1 hours, while the lecture (B) 326.019, 326.021 - Mathematical Logic 1 has 4 + 1 hours. Thus the lecture (A) will be a subset of the lecture (B), therefore the organization will be as follows:
Lectures
Each exercise counts in your final examination.
In case you send your homeworks by e-mail, please use the address logic@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.
Please use this e-mail address only for homeworks. For any other matters please use my personal address Tudor.Jebelean@jku.at
The total number of points for the homeworks is 23, which will be added to the 85 points at the subjects in each examination. From this total of 108, you must obtain minimum 93 for grade (1), 78 for (2), 64 for (3), and 51 for (4).