Hide menu

Logic II (CUGS Core)

DF14400, 2015HT

Status Archive
School National Graduate School in Computer Science (CUGS)
Division AIICS
Owner Andrzej Szalas
Homepage http://www.ida.liu.se/cugs/CCC-LogicII

  Log in  




Course plan

Lectures

Approximately 24 hours.

Recommended for

Doctoral students with some background in logics (e.g. introductory course).

The course was last given

Fall 2013

Goals

The course goal is to provide the participants with a broad knowledge on modern logics and their applications in computer science, in particular in artificial intelligence, automated theorem proving and formal specification and verification of software. Issues on incomplete and inaccurate information are also discussed.

The participans will learn how to chose and/or develop a logic for a particular application domain together with proof systems, with the emphasis on automated verification of satisfiability and validity of formulas.

Prerequisites

Introductory course in logic

Contents

- Proof and model theory.
- Deductive databases.
- Introduction to non-standard logics: many-valued logics, including fuzzy calculus, modal logic, 2nd-order logic.

Organization

The course is given in an intensive format ("crash course").

Literature

Lecture notes

Lecturers

Andrzej Szalas

Examiner

Andrzej Szalas

Examination

Take home exam/assignment.

Credit

4 HEC (Higher Education Credits)

Comments

Course web page

Click here for more information.


Page responsible: Director of Graduate Studies