NMAA13033U Experimental Mathematics (XM)
The participants will gain the ability to use computers to
formulate and test hypotheses concerning suitable mathematical
objects through a systematic search for counterexamples. Key
concepts covered are: The experimental method, introduction to
programming in Maple, from hypothesis to proof, formulating
and testing hypotheses, visualization, pseudorandomness,
iteration, symbolic inversion, time/memory vs.
precision, applications of linear algebra and graph
theory.
Knowledge:
The experimental method, basic elements of programming in Maple,
visualization, pseudo-randomness, iteration, symbolic inversion,
time/memory vs. precision, relevant tools in linear algebra.
Skills:
- To employ Maple as a programming tool via the use of procedures, control structures, and data structures in standard situations
- To convert pseudocode to executable Maple code.
- To maintain a log documenting the investigation
Competence:
- To formulate and test hypotheses concerning suitable mathematical objects through a systematic search for counterexamples.
- To design algorithms for mathematical experimentation by use of pseudocode.
- To examine data and collections of examples arising from experiments systematically and formulate hypotheses based on the investigation.
- To use pseudorandomness in repeatable computations.
- To weigh the use of available resources and time versus the needed precision.
- To determine whether a given problem is suited for an experimental investigation.
- To use the results of an experimental investigation to formulate theorems, proofs and counterexamples.
Lecture notes.
- Category
- Hours
- Lectures
- 21
- Practical exercises
- 42
- Preparation
- 60
- Project work
- 62
- Theory exercises
- 21
- Total
- 206
As
an exchange, guest and credit student - click here!
Continuing Education - click here!
- Credit
- 7,5 ECTS
- Type of assessment
- Oral examination, 30 minutes---
- Exam registration requirements
- Three assignments must be handed in and approved before the student can participate in the orel exam. The oral exam is based on the content of the last assignment.
- Aid
- Only certain aids allowed
At the oral exam the student may only bring his or her third project, possibly annotated.
- Marking scale
- passed/not passed
- Censorship form
- No external censorship
Several internal examiners.
- Re-exam
- 1hour oral exam covering theory and all three assignments.
Criteria for exam assesment
The student must in a satisfactory way demonstrate that he/she has mastered the learning outcome of the course.
Course information
- Language
- English
- Course code
- NMAA13033U
- Credit
- 7,5 ECTS
- Level
- Full Degree Master
- Duration
- 1 block
- Placement
- Block 2
- Schedule
- A (Tues 8-12 + Thurs 8-17)
- Course capacity
- No limit
- Continuing and further education
- Study board
- Study Board of Mathematics and Computer Science
Contracting department
- Department of Mathematical Sciences
Course responsibles
- Rune Johansen (4-7679726944677d7c32686f)
- Søren Eilers (6-6f73766f7c7d4a776b7e7238757f386e75)
R.J./phone +45 35 32 07 54, office 04.2.17