Stockholm university
Gå till denna sida på svenska webben

Logic in Computer Science and Artificial Intelligence

In this course students are guided through a selection of topics that contain significant applications of logic to computer and information sciences and artificial intelligence.

Registration 
Before the start of the course, an email is sent out to all accepted students, with information and instructions. Admitted students are expected to register themselves (web registration).
 

  • Course structure

    More about the course content

    We treat classical first-order language and logic for knowledge representation and automatic theorem proving based on first-order resolution with unification; Logic programming and Prolog; Logical methods for program verification, to Floyd-Hoare logic for proving the partial correctness of computer programs, and to methods for proving that computer programs terminate and are completely correct; Program Dynamic Statement Logic (PDL); Time logic in computer science. Use of linear time and branching time logics for formal specification of properties of transition systems, and of computations therein. Model testing and formal verification of reactive and parallel systems.

    Learning platform: Reading instructions, detailed course planning, etc. will be posted on the course's Athena page. Admitted students who have activated their student account and have been registered on the course automatically become participants on the course's Athena page.

    Teacher autumn semester 2024: Valentin Goranko.

    Teaching format: The teaching will be conducted in the form of lectures and exercises. See syllabus (kursplan) for attendance requirements.

    Examination: Written assignments.

    Expected study results, as well as information about the grading scale: See the syllabus. 

    Grading criteria: Found on the course's Athena page before the start of the course.

  • 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

Selected reading

Two students 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.

A woman in focus holding a tablet and smiling, a couple of other blurred people in front of her.

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!

Mahmoud Suliman on a boat in Stockholm.

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.

Nora Veerman

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