185A45
Aus LVA Wiki Arbeitsgruppe Theoretische Informatik und Logik
Inhaltsverzeichnis |
Logic and Computability, VU 4.0/6.0, SS 2012
Instructors: Agata Ciabattoni, Uwe Egly, Christian Fermüller, Hans Tompits
News
- There are no lectures on May 23 and 24. Lectures resume on May 30.
- For general Information see the entry for this course in TISS
Regular Lecture Dates
- Wednesday, 10.15-11.45, Seminar Room Argeninierstraße 8
- Thursday, 10.15-11.45, Seminarraum 384, Gußhausstrase 25-29, neues EI, 4th floor
Note that the lecture takes place in blocked form till end of May or beginning of June
Final Exam
June 27th, 10.00-12.00, HS EI1 (Petritsch Hörsaal), Gußhausstr. 25-29, 2. Stock.
Course Material
- Organisation
- Predicate Logic Part 1
- Predicate Logic Part 2
- Modal Logic - An Appetizer
- Intuitionistic Logic - An Aperitif
- Proof Theory - A Ristretto coffee: Part 1, Part 2
- Automated Deduction: A Degustation: Part 1, Part 2
- Computability Theory: Part 1, Part 2, Part 3, Part 4, Part 5, Part 6
- Incompleteness - A rich dessert
- Compulsory Exercises for Predicate Logic: submit your solutions until June 29th, 2012 to Hans Tompits
- Compulsory Exercises for Modal and Intutionistic Logic: submit your solutions till April 22, 2012 to chrisf@logic.at,
- Compulsory Exercises for Proof Theory: submit your solutions till May 5th, 2012 to agata@logic.at
- Compulsory Exercises for Automated Deduction: Submit you solution till May 28 2012 to Uwe Egly
- Compulsory Exercises for Computability Theory: Submit you solution till June 18 2012 to Agata Ciabattoni
