Eksperimentel matematik (XM)


Semesterangivelse: Forårs kursus Kurset udbydes i blok 3 Kurset udbydes i skemagruppe C Kurset giver 7,5 ETCS point

 


Udgave: Forår 2013 NAT
Point: 7,5
Blokstruktur: 3. blok
Skemagruppe: C
Fagområde: mat

Semester:

Forår
Varighed: 7 uger
Institutter: Institut for Matematiske Fag
Uddannelsesdel: Kandidat niveau
Kontaktpersoner: Søren Eilers, tlf. 35 32 07 55, rum 04,2,15, email;: eilers@math.ku.dk
Skema- oplysninger:  Vis skema for kurset
Samlet oversigt over tid og sted for alle kurser inden for Lektionsplan for Det Naturvidenskabelige Fakultet Forår 2013 NAT
Undervisnings- periode: 4. februar – 14. april 2013
Undervisnings- form: 3 forelæsninger, 3 klassetimer og 6 computerøvelser per uge.
Indhold: Eksperimentel metode, introduktion til programmering i Maple, fra hypotese til bevis, opstilling og test af hypoteser, visualisering, pseudotilfældighed, iteration, symbolsk inversion, tid/lager vs. præcision, anvendelser af lineær algebra.
Målbeskrivelse: Kursusdeltagerne forventes at have evnen til at opstille og teste hypoteser om passende matematiske objekter gennem en systematisk søgen efter modeksempler. Ved kursets afslutning forventes den studerende derfor at kunne:
  • konstruere computerprogrammer som kan generere eksempler der illustrerer passende matematiske strukturer.
  • undersøge sådanne samlinger af eksempler systematisk og opstille hypoteser på den baggrund.
  • teste hypoteser gennem en systematisk søgen efter modeksempler.
  • føre en logbog for at dokumentere undersøgelsen.
  • benytte pseudotilfældighed i udregninger der skal kunne gentages.
  • afveje præcision mod tilgængelig tid/lager/regnekraft.
  • vurdere om et givent problem egner sig til eksperimentel undersøgelse.
  • have kendskab til relevante metoder inden for lineær algebra og symbolsk inversion.
  • benytte erfaringer fra det eksperimentelle arbejde til at formulere sætninger, beviser og modeksempler.
  • Lærebøger: Udleverede noter.
    Tilmelding: Kursus- og eksamenstilmelding og afmelding sker på www.kunet.dk Tilmelding skal ske i perioden den 15. november – 1. december 2012.
    Faglige forudsætninger: LinAlg og Analyse 1. Der kræves ikke kendskab til programmering i Maple udover det som opnås i MatIntro og LinAlg.
    Eksamensform: 3 obligatoriske opgaver og 30 minutters mundtlig eksamen med udgangspunkt i den sidste opgave. Intern censur. Som på MatIntro og LinAlg kan Maple-kode udarbejdes i grupper på 1-4 personer, men opgaverne skal afleveres individuelt. Kurset bedømmes bestået/ikke bestået.
    Reeksamen: 60 minutters mundtlig eksamen i indholdet af de tre opgaver. Intern censur. Bedømmes bestået/ikke bestået.
    Eksamen: Mundtlig prøve d. 9-10 april 2013.
    Reeksamen: Mundtlig prøve d. 26. juni 2013.
    Kursus hjemmeside:
    Pensum: Udleverede noter.
    Undervisnings- sprog: Engelsk
    Sidst redigeret: 30/10-2012



    Københavns Universitet