Short Coq Tutorial

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 2 of 3

Logic in Mathematics: Properties and Propositions

Explores the significance of logic in mathematics and science through properties and propositions.

Discrete Mathematics: Logic & Structures

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.

Inductive Propositions: Reasoning and Evaluation Techniques

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Recursively Defined Sets and Structures

Explores recursively defined sets, natural numbers, strings, functions, and propositional logic formulae.

Predicate Logic: Quantifiers, CNF, DNF

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

Introduction & Propositional Logic

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Ordinary Differential Equations: Definitions and Methods

Explores ordinary differential equations, proof methods, and historical examples from Euclid, emphasizing logical reasoning and step-by-step derivations.

Subgroups Criteria: Propositions and Examples

Covers the criteria for subgroups and provides examples and proofs.

Coordinate Calculations: Scalar Product in Coordinates

Covers the calculation of scalar products in coordinates and extends the concept to three-dimensional space.