Admission requirements
Introduction Informatica
Description
Originally logic was used by the Greek Sophists to demonstrate the correctness of their argument in formal debates. The ambiguity of human languages asked for formulation of logic in a symbolic formal language. Only towards the end of the 19th century logic has been formulated in the language of mathematics, and in particular of algebra, making it a useful tool to solve mathematical problems. In the same period the language used to prove theorems from mathematics begun suffering the same problems of natural language, showing many paradoxes. Logic was proposed as the foundational language of mathematics, but several limitation where soon discovered. More recently logic has become the language of computer science, just as calculus is the language of many engineering discipline.
In this course we will study propositional and predicate logic, their proof theory, their limitation, as well as some of their applications in computer science.
Course objectives
The course gives an introduction to the field of mathematical logic by presenting the syntax and semantics of propositional logic and of the richer language of predicate logic. The goal is to describe and investigate the above logics by finitary methods, and to train students in formalizing specifications and in verifying properties of systems.
Timetable
The most updated version of the timetables can be found on the students' website:
Mode of instruction
Lectures and exercise classes. A weekly practice class is a mandatory component of the course.
The lectures will be organised online in a mix of streaming pre-recorded lecture snippets and interactive discussions and quizzes about these snippets. For this, we will use Kaltura Live Rooms.
The exercise classes will be held online as well. Here, we will use the same small group approach as usual, only that the discussions happen in Kaltura breakout rooms. We may change this or offer additionally forums for discussions of questions, depending on the available technology.
Assessment method
Students will be evaluated on the basis of a written examination complemented with take-home assignments. Examination is worth 70% of the final grade (with a minimum of 5.5). The remaining 30% is from the average grade of take-home assignments
If, by the time the exams should take place, it should not be possible to have physical examinations, then the final assessment will instead be a take-home project that has to be completed within a few hours. The precise setup and timing will be specified more precisely later on.
Reading list
Michael R. A. Huth and Mark D. Ryan.
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge University Press, 2004 (ISBN 052154310X).
Lecture notes provided on Blackboard
Blackboard
Signing up for classes and exams
You can enrol via uSis . More information about signing up for classes and exams can be found here .
Contact information
Lecturer: itl20@liacs.leidenuniv.nl, Skype: h.basold
Slack: Please send an email to the above email address to get invited to the Slack instance for this course. Note, however, that the Slack instance is not under control of the university and thus the privacy regulations of Slack apply: https://slack.com/intl/en-nl/privacy-policy. Therefore, joining Slack is completely voluntary and there will be no disadvantage in not joining.
Onderwijscoördinator Informatica, Riet Derogee