Lectures related to Formal Proofs: Checking Invariants and Bounded Model Checking

Untitled

Analysis IV: Measurable Sets and Properties

Covers the concept of outer measure and properties of measurable sets.

Quantum Bits: Illustrations and Postulates

Explores quantum bits, including illustrations, postulates, and examples of quantum systems and Hilbert space.

Propositional Calculus

Covers the basics of propositional calculus and its importance in computer science.

Area: Axioms and Rectangles

Covers the concept of area, axioms, and the area of rectangles.

Inductive Propositions: Understanding Evaluation in Coq

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Predicate Logic: Quantifiers, CNF, DNF

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.