Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Semigroups of Linear OperatorsExplores semigroups of linear operators, contraction semigroups, infinitesimal generator, and Riemann integral properties.
Formal Languages: ConceptsCovers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.