planned content

• explain foundational views and give examples.
• programming in SML with discrete math (sets, functions, graphs).
• make clear what SML does not have statements, side effects, mutable variables, iteration, ...
• dual graphs and the Königsberg bridge problem.