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 2011 - 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: 31219

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.

Obligatorisk program

Et antal obligatoriske afleveringer.

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

https://services.brics.dk/java/courseadmin/dBerLog

Skemaplacering (forelæsninger)

Onsdag 14-17

Eksamensterminer

Eksamen: 1. kvarter

Placering: Uge 41 og 42

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