Logic in Computer Science 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).
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 Canvas page. Admitted students who have activated their student account and have been registered for the course will automatically become participants on the course's Canvas page.
Teacher and examiner autumn semester 2026: Valentin Goranko
Language of instruction autumn semester 2026: English
For other information about the course (teaching method, expected study results, attendance requirements, examination method, grading scale, etc.), see the course syllabus.
Director of Studies Mattias Högström mattias.hogstrom@philosophy.su.se
Study Councelling studievagledning@philosophy.su.se
