Foundations of Software

Related lectures (26)

Page 1 of 3

Explores the composition of applications in mathematics and the importance of understanding their properties.

Introduces Cartesian product and induction for proofs using integers and sets.

Explores mapping functions, surjections, injective and surjective functions, and bijective functions.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Covers the topology of Riemann surfaces, focusing on orientation and orientability.

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Introduces terms, abstractions, applications, and values in the lambda calculus.

Covers weak derivatives, their properties, and applications in functional analysis.