Hoppa till huvudinnehåll
Länkstig

Bevisteori

Kurs
LOG221
Avancerad nivå
7,5 högskolepoäng (hp)
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Engelska
Start/slut
-
Ansökan öppen
-
Anmälningskod
GU-22496
Ansökan stängd. Sen anmälan öppnar 15 december 2021.

Om utbildningen

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. 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.

Det är institutionen för filosofi, lingvistik och vetenskapsteori som ger kursen. Länk till institutionens sidor.

Behörigheter och urval

Förkunskapskrav

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.

Urval

Högskolepoäng, max 165 hp.