Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Covers the concepts of local homeomorphisms and coverings in manifolds, emphasizing the conditions under which a map is considered a local homeomorphism or a covering.
Explores the triumph of determinism in modern mechanics and the methodology of scientific development, with practical exercises on estimating surgical mask usage and analyzing atomic bomb energy.