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.