Axiom schema of specification

Related lectures (11)

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Introduces Python data structures like tuples, lists, sets, and dictionaries, emphasizing manipulation and conversion techniques.

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Covers inf/sup, integral part of real numbers, and density of rational numbers.

Introduces isometries as transformations preserving distances in the plane, focusing on symmetry and geometric relationships.

Introduces metric spaces, topology, and continuity, emphasizing the importance of open sets and the Hausdorff property.

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Covers procedural techniques in computer graphics, focusing on L-Systems for plant modeling and intricate graphical patterns.

Covers the basics of quantum qubits, including abstract qubits, states, measurement, and evolution in quantum computation.

Page 1 of 1