Lectures related to Short Coq Tutorial

Coq: Introduction

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

Concept of Proof in Mathematics

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

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

The Discriminant and Ideal Class Group in Mathematics

Explores the discriminant in matrices, ideal class groups, and optimal embeddings in mathematics.

Stability of Networked Control Systems

Explores the stability analysis of Networked Control Systems under stochastic packet dropouts, emphasizing mean-square stability and practical implications.

Discrete Mathematics: Logic, Structures, Algorithms

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Untitled

Logic: Proof Techniques

Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.

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.