FEN Diskret matematik/Seminar 11 Diplomuddannelsen i Softwarekonstruktion (Master-brobygning) Fagpakke: Formelle modeller for programmering Diskret matematik Kontraktbaseret programmering Regularitet og automater
FEN Diskret matematik/Seminar 12 Præsentation Kursusholder: –Finn E. Nordbjerg – –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
FEN Diskret 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: Underviser: Finn E. Nordbjerg: Kursushjemmeside: Faglig koordinator for EVU, Datalogisk Institut: Henrik Bærbak Christensen: Uddannelseskoordinator: Arne Nis Jensen: “Diskret”?
FEN Diskret 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): Introduktion, præsentation mv Mængder og multimængder Øvelser i mængder og multimængder Frokost Opsamling på øvelser Udsagn og prædikater Øvelser i logik Opsamling på øvelser.
FEN Diskret matematik/Seminar 15 Mellem seminarer Læs og arbejd med opgaver. Opgaver afleveres i én.pdf via mail til senest mandag kl. 800 i uge n+1, hvor n er den aktuelle 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.