Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Short Coq Tutorial
Graph Chatbot
Related lectures (30)
Previous
Page 1 of 3
Next
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.
