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
Negation of Propositions
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Optimal Control: KKT Conditions
Explores optimal control and KKT conditions for non-linear optimization with constraints.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.
Linear Algebra: Compositions of Applications
Explores compositions of applications and injectivity conditions in linear algebra, including restriction of applications and combinatorial proof of injections.
Propositional Logic: Implication and Compound Propositions
Covers logical connectives, implication, biconditional, compound propositions, and truth tables.
Runge Kutta Method
Covers the Runge Kutta method and its application to optimal control and neural networks.
Propositional Logic: Basics and Equivalences
Covers the basics of propositional logic and explores logical equivalences and proof techniques.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Logical Equivalences: Constructing, Proving, and Applying
Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.
Predicate Logic: Equivalences, Negations, and De Morgan's Laws
Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.
Numerical analysis
Covers advanced numerical analysis topics including deep neural networks and optimization methods.
