Untitled

Related lectures (29)

Page 2 of 3

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

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 maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

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

Covers the back-propagation algorithm for deep neural networks and the importance of locality in CNN.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

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

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

Covers the setup of a Gitlab agent for Kubernetes, focusing on installation, version control, and troubleshooting.