2.0 VU Mathematische Logik 1 [ Lehrveranstaltungen 185/2 ] [ AG Theoretische Informatik und Logik ] [ Fachbereich Informatik ] [ Technische Universität Wien ]

Mathematische Logik 1 (185.256)

Lecturer: Agata Ciabattoni

Motivations:

There are many reasons why a computer scientist should study logic. Historically it formed the roots of computer science, both Church's and Turing's work being motivated by the decision problem for first-order logic. Nowadays we are finding conversely that computer science is generating an explosion of interest in logic, with the desire to automate reasoning and the necessity to prove programs or systems correct. Basically, logic and computer science address the same problems of formalizing, elaborating and communicating knowledge.

Course contents:

The aim of this course is to describe some major results of mathematical logic and mention (some of) their connections to computer science. To this end the following topics will be presented:

Introduction to (Classical) Propositional Logic: Syntax and Semantics. NP-completeness of the satisfiability problem
Hints on (some) non-classical logics
Introduction to (Classical) First-Order Logic
Deductive Systems: Natural Deduction and Sequent Calculus
Advanced topics in proof theory, e.g. cut-elimination theorem, Craig's interpolation theorem, generalizations of sequent calculi.