CCC-LogicII

Course Title

Logic II

Course Type

CUGS CS Review / CUGS CS Core / CUGS CS Advanced / Other

Periodicity

Once a year

Suggested # of Credits

4.0 HE Credits (Higher Education Credits)

Intended audience

Doctoral students having a some background in logics (introductory course)

Course goal

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 articular application domain together with proof systems, with the emphasis on automated verification of satisfiability and validity of formulas.

Prerequisites

Logic I

Related courses

Not yet available.

Contents

  • Proof and model theory: soundness and completeness, semantic tableaux, natural deduction, sequent calculus, resolution, Horn theories, logic programming. Not all proof methods will be covered, but selected methods will be covered in depth.

  • Selected issues in meta theory of which the following are representative issues: Lowenheim-Skolem theorem, Herbrand's theorem, compactness, Lindström's theorem, Gödel's incompleteness theorem, axiomatization of natural, rational and real numbers.

  • Introduction to non-standard logics: modal logic, 2nd-order logic.

Organized by

Department of Computer Science, Linköping University

Organization

See course schedule.

Examination

Take home exam/assignment.

Literature

Lecture Notes

Examiner

Andrzej Szalas

Course homepage

None.

Other information

The course is given in an intensive format ("crash course") at a conference facility.

short-ann

 

Travel reports

Licentiate seminars

PhD-seminars

Courses Fall 2013

Courses Spring 2014

 







Last modified on March 2008 by Anne Moe