Stockholm university
Gå till denna sida på svenska webben

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).

  • 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.

    Course webpage

    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.
    See syllabus archive for all reading lists

  • Contact

    Student office

    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

Selected reading

Three students outdoors in front of a computer.

Step-by-step guide

Here we explain all the different steps you need to go through when applying to a course or programme. Please read the instructions carefully.

Two happy students looking at a mobile phone.

Meet us online and around the world

Stockholm University arranges regular webinars and participates in educational fairs and events virtually and around the world to meet students and inform them about our study programmes. Meet us and ask what it's like to study with us!

Students of Stockholm University

Every year Stockholm University welcomes thousands of international students from all over the world. Each bringing their own backpack full of experiences, expectations and dreams. Each with their own story.

Photo montage of close-ups of researchers.

Our researchers. Your teachers

As a student at Stockholm University, you will have direct contact with leading researchers in your field and access to the most recent scientific findings. Our researchers. Your teachers. Meet a few of them here.

Mikaela Sörman

Hear from our alumni

Are you wondering what former students thought about your programme? Are you curious about what your education can lead to after graduation? Hear from our alumni!

Show more