FEN 2013-01-21Diskret matematik/Seminar 11 Diplomuddannelsen i Softwarekonstruktion (Master-brobygning) Fagpakke: Formelle modeller for programmering Diskret.

Præsentationer af emnet: "FEN 2013-01-21Diskret matematik/Seminar 11 Diplomuddannelsen i Softwarekonstruktion (Master-brobygning) Fagpakke: Formelle modeller for programmering Diskret."— Præsentationens transcript:

1 FEN 2013-01-21Diskret matematik/Seminar 11 Diplomuddannelsen i Softwarekonstruktion (Master-brobygning) Fagpakke: Formelle modeller for programmering Diskret matematik Kontraktbaseret programmering Regularitet og automater

2 FEN 2013-01-21Diskret matematik/Seminar 12 Præsentation Kursusholder: –Finn E. Nordbjerg – fen@ucn.dkfen@ucn.dk –Lektor v/Datamatikeruddannelsen og Professionsbacheloruddannelsen i Softwareudvikling. UCN Teknologi & Business –Ekstern lektor ved Aarhus og Aalborg Universiteter –Efteruddannelse af IT-folk i erhvervslivet –Programmering, Programmeringssprog, Databaser –”Gammel” (meget) AAU’er (cand. scient. mat/dat 1983) Og jer? –mailliste

3 FEN 2013-01-21Diskret matematik/Seminar 13 Diskret matematik Baggrund: Testing can only show the presence of bugs, never their absence. - Edsger W. Dijkstra Diskret matematik bl.a. er grundlaget for formelle teknikker og i det hele taget fundamental i forhold til datalogisk teori. Studieordning: http://www.diplomguiden.dk/uploads/studieordning/Itogteknik/Informationsteknologi_it-vest.pdf Underviser: Finn E. Nordbjerg: fen@ucn.dkfen@ucn.dk Kursushjemmeside: http://public.ucn.dk/fen/DiskrMat/http://public.ucn.dk/fen/DiskrMat/ Faglig koordinator for EVU, Datalogisk Institut: Henrik Bærbak Christensen: hbc@cs.au.dkhbc@cs.au.dk Uddannelseskoordinator: Arne Nis Jensen: ajensen@cs.au.dkajensen@cs.au.dk “Diskret”?

4 FEN 2013-01-21Diskret matematik/Seminar 14 Diskret matematik - seminar 1 I dette seminar introduceres: Mængder og multimængder, udsagn (propositioner) og kvantificerede udtryk (prædikater). Dags program (sådan cirka): 09.00 - 09.45Introduktion, præsentation mv. 10.00 - 11.00Mængder og multimængder 11.00 - 12.00Øvelser i mængder og multimængder 12.00 - 12.45Frokost 12.45 - 13.00Opsamling på øvelser. 13.00 - 14.00Udsagn og prædikater 14.15 - 15.00Øvelser i logik. 15.15 - 16.00Opsamling på øvelser.

5 FEN 2013-01-21Diskret matematik/Seminar 15 Mellem seminarer Læs og arbejd med opgaver. Opgaver afleveres i én.pdf via mail til fen@ucn.dk senest mandag kl. 800 i uge n+1, hvor n er den aktuelle studieuge.fen@ucn.dk Spørgsmål via mail til alle på mail-listen. Alle bør prøve at svare og kommentere. Jeg vil selvfølgelig også prøve at svare, men ind i mellem holder jeg mig tilbage for at give andre en chance – det er nemlig meget lærerigt at prøve at formulere sin viden i et præcist svar.