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]

Mængdelære for dataloger (Q1) ( efterår 2008 - 5 ECTS )

Rammer for udbud

  • Uddannelsessprog: engelsk
  • Niveau: Kandidatkursus
  • Semester/kvarter: Q1 i /
  • Timer per uge: Forelæsninger (2+2t/uge)
  • Deltagerbegrænsning: Ingen
  • Undervisningssted: Århus
  • Hovedområde: Det Naturvidenskabelige Fakultet
  • Udbud ID: 12618

Formål

Deltagerne vil efter kurset have indsigt i den mængdelære alle dataloger bør vide. Materialet, der præsenteres samlet, er ofte spredt over mange forskellige kurser og bøger.

Indhold

Kurset vil dække matematiske bevisteknikker, mængder og boolsk logik, relationer og funktioner, kardinalitet og særligt tællelighed og utællelighed, konstruktioner af mængder, basale diagonalargumenter, paradokser, induktive definitioner, fikspunkter, coinductive definitioner, well-founded induktion, ordinaler.

Faglige forudsætninger

Regularitet og Automater, Beregnelighed og Logik

Underviser

Glynn Winskel

Undervisnings- og arbejdsform

Forelæsninger

Litteratur

Udkast til en kommende bog.

Kursushjemmeside

http://www.daimi.au.dk/~gwinskel

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • beskrive simpel mængdelære anvendes i datalogien.
  • anvende resultater fra simpel mængdelære til at konstruere og analysere modeller og simple programmer.

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Bedømmelse

Ugentlige opgaver og et projekt.
7-skala, intern censur