Logic in Computer Science and Artificial Intelligence

About this programme

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. For other information about the course (teaching method, expected study results, attendance requirements, examination method, grading scale, etc.), see the course syllabus. To follow your passion. To be close to international career opportunities. To explore city and countryside. In Stockholm you can really get the best of both worlds.