Bevisteori
Kort om kursen
The course treats derivations and proofs as mathematical objects, and study these from a formal, syntactic point of view, unlike model theory that can be said to be the semantic theory of the corresponding phenomena.
Om utbildningen
Among the many proof formalisms that have been constructed, studied, and implemented we focus on two central classes of systems: natural deduction and sequent calculus. The most fundamental theorems, whose proofs are implemented in detail are cut elimination and normalisation for propositional logic and predicate logic, but also for stronger systems, such as formalised arithmetic. Philosophical and linguistic aspects of proof theory, as its connection with semantics and anti-realism, will also be addressed.
Kursen ges på engelska. Besök vår internationella sida för mer information.
Behörigheter och urval
Behörighet
För tillträde till kursen krävs godkänt resultat om minst 7,5 hp i Logisk teori (LOG111) eller Logic in Computer Science (DAT060 eller DIT201), eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Urval
Högskolepoäng, max 165 hp