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

Rammer for udbud

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

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

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

https://mit.au.dk/

Bedømmelse

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