Welcome to Logics for Computation


Description: This course aims at introducing the basic concepts, results and tools from Logic and Model Theory. The main focus will be on Modal Logics. We will formally define various metamathematical concepts such as syntax, semantics, truth, provability, completeness and complete axiomatizations, compactness, decidability and their relation to the concepts of theoretical computer science such as transition systems, bisimulation, operational semantics, concurrency. We will also discuss about process algebras and bisimulation, about probabilistic and stochastic systems with their measure theoretical and logical foundations. With some of these concepts the students are already familiar from more specific courses and they are already using some of them in their research. The role of this course is to present these concepts in a general framework and to clarify the spectrum of their use and applicability.

Prerequisites: The students attending the course are expected to have basic working knowledge of discrete mathematics and theoretical computer science.

Learning objectives: The aim of the course is to provide the students with the mathematical and logical prerequisite for approaching research topics in theoretical computer science.

Organizer and lecturers: Associate Professor Radu Mardare, email: mardare@cs.aau.dk & Professor Kim G Larsen, email: kgl@cs.aau.dk

ECTS: 2.25

Time: 4, 5, 6, 7, and 8 December 2017

Place: AAU Department of Computer Science, Selma Lagerløfs Vej 300

Zip code: 9220

City: Aalborg

Number of seats: 40

Deadline: 14 November 2017


Important information concerning PhD courses We have over some time experienced problems with no-show for both project and general courses. It has now reached a point where we are forced to take action. Therefore, the Doctoral School has decided to introduce a no-show fee of DKK 5,000 for each course where the student does not show up. Cancellations are accepted no later than 2 weeks before start of the course. Registered illness is of course an acceptable reason for not showing up on those days. Furthermore, all courses open for registration approximately three months before start. This can hopefully also provide new students a chance to register for courses during the year. We look forward to your registrations.