NMAB21005U Introduction to Experimental Mathematics (IXM)
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.
The experimental method, basic elements of programming in Maple, visualization, pseudo-randomness, iteration, symbolic inversion, time/memory vs. precision, relevant tools in linear algebra.
- 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
- 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.
Eilers & Johansen: Introduction to Experimental Mathematics, Cambridge University Press.
General mathematical qualifications equivalent to the two first years of a BSc degree is recommended.
- Theory exercises
- Practical exercises
- Project work
As an exchange, guest and credit student - click here!
Continuing Education - click here!
- 7,5 ECTS
- Type of assessment
- Oral examination, 30 minutes
- Type of assessment details
- Without preparation time
- Exam registration requirements
Two assignments must be handed in. The first assignment is individual and must be approved before the student can participate in the oral exam. The second assignment forms the basis for the oral exam.
- Only certain aids allowed
At the oral exam it is only allowed to bring the second assignment, possibly annotated and/or prepared for presentation.
- Marking scale
- passed/not passed
- Censorship form
- No external censorship
Several internal examiners.
1 hour oral exam covering theory and all assignments. No preparation time, but all aids allowed.
If the first assignment was not approved before the ordinary exam, it must be resubmitted at the latest two weeks before the beginning of the re-exam week. It must be approved before the re-exam.
The student may also choose to resubmit a new version of the second assignment in order to obtain feedback before the oral exam. This must also be resubmitted at the latest two weeks before the beginning of the re-exam week.
Criteria for exam assesment
The student should convincingly and accurately demonstrate the knowledge, skills and competences described under Intended learning outcome.
- Course code
- 7,5 ECTS
- 1 block
- Block 2
- Course capacity
- No limit
- Study Board of Mathematics and Computer Science
- Department of Mathematical Sciences
- Faculty of Science
- Søren Eilers (6-6b6f726b78794673677a6e34717b346a71)