Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Beregnelighed og Logik (Q1) ( efterår 2007 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: (se under Undervisnings- og arbejdsform)
Niveau: Obligatorisk grundkursus
Semester/kvarter: Q1 i 2007
Timer per uge:
Deltagerbegrænsning:
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 7837

Formål

Deltagerne vil efter kurset have indsigt i Universelle beregningsmodeller og -klasser, uafgørlige problemer, propositions-, predikat- og programlogikker. Kursets arbejdsform vil også træne deltagernes evne til at formidle og kommunikere faglige problemstillinger.

Indhold

Universelle beregningmodeller, inklusiv Turing maskiner. Karakterisationer af beregnelige og semi-beregnelige problemer, herunder præsentation af et antal uafgørlige problemer, diagolalisering, og reduktion. Introduktion til propositionslogik, prædikatlogik og programlogik, bevissystemer med anvendelser (program verifikation). Gödel's fuldstændigheds- og ufuldstændighedssætninger.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

referere og beskrive terminologien for beregnelighed og logik, fundamentale beregnelighedsklasser og logikker,
forklare og analysere algoritmiske tilgange til beregnelighed og logik, egenskaber ved beregnelighedsklasser og logikker.