Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Counter-example of basic condition
Graph Chatbot
Related lectures (31)
Propositions and Proofs
Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, including logic, structures, and algorithms.
Untitled
Propositional Logic: Basic Logical Connectives
Covers propositions, logical connectives, truth tables, and propositional logic language.
Introduction & Propositional Logic
Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.
Propositional Logic: Basics and Applications
Covers the basics of propositional logic, its history, language, and computing applications.
Propositional Logic: Basic Logical Connectives
Covers propositional logic, logical connectives, truth tables, and compound propositions.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
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.
Coordinate Calculations: Scalar Product in Coordinates
Covers the calculation of scalar products in coordinates and extends the concept to three-dimensional space.
Untitled
The inhomogeneous Ising chain
Covers the inhomogeneous Ising chain, Gibbs measures, and the Borel-Cantelli lemma.
Propositional Logic: Translations and Equivalences
Covers translating natural language to propositional logic and proving tautologies.
Logic: Proof Techniques
Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.
Existence of Limit
MOOC: Analysis I
MOOC: Analysis I (part 4) : Limit of a function, continuous functions
Covers examples related to the existence of limits of functions.
Finite Systems Expressed with Formulas
Explores finite transition systems, propositional logic, truth interpretation, satisfiability, and boolean function representation with circuits.
Short Coq Tutorial
Offers a tutorial on Coq, covering inductive definitions, recursive functions, propositions, theorems, and tactics.
Previous
Page 1 of 2
Next
