Logic in Computer Science and Artificial Intelligence
The course will introduce some of the most successful areas of applications of logic to computer science and artificial intelligence.
Registration
Admitted students are expected to register for the course (web registration).
Information for admitted students autumn 2024
Congratulations! You have been admitted at Stockholm University and we hope that you will enjoy your studies with us.
In order to ensure that your studies begin as smoothly as possible we have compiled a short checklist for the beginning of the semester.
Follow the instructions on whether you have to reply to your offer or not.
universityadmissions.se
Checklist for admitted students
-
Activate your university account
The first step in being able to register and gain access to all the university's IT services.
-
Register at your department
Registration can be done in different ways. Read the instructions from your department below.
-
Read all the information on this page
Here you will find what you need to know before your course or programme starts.
IMPORTANT
Your seat may be withdrawn if you do not register according to the instructions provided by your department.
Information from your department
On this page you will shortly find information on registration, learning platform, etc.
Welcome activities
Stockholm University organises a series of welcome activities that stretch over a few weeks at the beginning of each semester. The programme is voluntary (attendance is optional) and includes Arrival Service at the airport and an Orientation Day, see more details about these events below.
Your department may also organise activities for welcoming international students. More information will be provided by your specific department.
Find your way on campus
Stockholm University's main campus is in the Frescati area, north of the city centre. While most of our departments and offices are located here, there are also campus areas in other parts of the city.
Read more
For new international students
Registration
Admitted students are expected to register for the course (web registration).
-
Course structure
More about the course
After a general revision of classical first-order logic as general language for knowledge representation, the course will present first-order resolution with unification as a practical method for automated reasoning. Then, the basics of logic programming and Prolog will be discussed briefly. The second part of the course is on logical methods for program verification based on Floyd-Hoare method for proving program correctness, further formalised in the propositional dynamic logic of programs PDL. The third part of the course will present the basic theory and applications of temporal logics for formal specification of properties of transition systems and computations in them, and for their formal verification by means of model checking. The last topic in this part will be on logics for multi-agent systems. The course will aim at providing sound theoretical background and conceptual understanding as well as practical knowledge and skills. It will involve exercises and hands-on experience with some popular implemented tools for automated reasoning, for logic programming and for model checking. The course is intended mainly for students in computer science and in philosophy, but is also relevant to students in mathematics.
Teaching platform: See Athena page.
Instructor Autumn term 2024: Valentin Goranko.
Instruction format: Lectures and exercises.
Examination: Home assignments.
Rating criteria: See Athena.
-
Schedule
The schedule will be available no later than one month before the start of the course. We do not recommend print-outs as changes can occur. At the start of the course, your department will advise where you can find your schedule during the course. -
Course literature
Note that the course literature can be changed up to two months before the start of the course. -
Contact
Director of studies Mattias Högström mattias.hogstrom@philosophy.su.se
Student councelling studievagledning@philosophy.su.se
Teacher Valentin Goranko valentin.goranko@philosophy.su.se