Week 1
Notebook 1
Goals
- Introduction to using programming to solve mathematical problems
- Expressing mathematics using both Julia and logical notation
- Understanding the zoology of mathematical and programmatic objects you will have to work with
- Introduction to the concept of a mathematically rigorous argument
Resources
- Think Julia is a great (online, freely available) textbook that will help consolidate your understanding. The following chapters will be useful background reading for this week (and may help with the exercises!!)
Make sure you have read through the prerequisites. In particular Installation
Make sure you’re happy with markdown syntax. It should take 5 minutes to get the hang of it. EG here
Credits
- Thanks to Giuseppe Castiglione, Enrico Caprioglio and Avel Guenin-Carlut for giving excellent feedback and checking the notebook..
- Thanks to Giuseppe Castiglione for adding fantastic answers to the questions.