Stærðfræðileg Forritun
This course looks at several ways to use computers to aid in research and calculation in several areas of mathematics. This involves designing and implementing various algorithms and data structures to experiment and make conjectures and deductions.
Instructor: Atli Fannar Franklín and Arnar Bjarni Arnarson
Term: Fall
Course Overview
This course looks at several ways to use computers to aid in research and calculation in several areas of mathematics. This involves designing and implementing various algorithms and data structures to experiment and make conjectures and deductions.
Prerequisites
- Fundamentals of programming.
- Fundamentals of time complexities and algorithms.
- Fundamentals of algebra and mathematical reasoning.
Textbooks
- Primary: Slides on github
Grading
- Modules: 70%
- Final Oral Exam: 20%
- Attendance: 10%
- Bonus Modules: 10%
Schedule
| Module | Topic |
|---|---|
| 1 | Number theory. |
| 2 | Automata. |
| 3 | Combinatorics and linear recurrences. |
| 4 | Convolutions, fast fourier transforms and generating functions. |
| 5 | Linear programming. |
| H | Hackenbush, or "How to Ruin Game Night with Surreal Numbers!" |
| L | $\LaTeX$, or "The Docx Destroyer: Your Final Word on Word!" |
| N | Number Theory, or "All These Squares Make a Circle..." |
| P | Politics, or "How to Rule the World with Geometry!" |