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 2010 - 5 ECTS )

Rammer for udbud

  • Uddannelsessprog: dansk
  • Niveau: Bachelor kursus
  • Semester/kvarter: Q1
  • Timer per uge: 6
  • Deltagerbegrænsning: Ingen
  • Undervisningssted: Århus
  • Hovedområde: Det Naturvidenskabelige Fakultet
  • Udbud ID: 18966

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.

Faglige forudsætninger

Regularitet og automater

Underviser

Jesper Buus Nielsen

Undervisnings- og arbejdsform

Forelæsninger (3 t/uge), holdøvelser (3 t/uge)

Dansk

Litteratur

John Martin: Introduction to Languages and the Theory of Computation

Kursushjemmeside

http://www.daimi.au.dk/dBerLog

 

Skemaplacering (forelæsninger)

Onsdag 14-17

Eksamensterminer

Eksamen: 1. kvarter

Placering: Uge 41 og 42, 2010

Reeksamen: Januar

http://science.au.dk/uddannelse/undervisning/eksamen/regler-for-tilmelding-til-kurser-med-fastlagt-eksamen/

Udbyder

Datalogisk Institut

Indgår i følgende studieordninger

Bacheloruddannelse i datalogi

Tilmelding til undervisning

https://mit.au.dk/

Bedømmelse

Mundtlig eksamen uden forberedelse (20 min)
7-skala, intern censur