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
Untitled
Graph Chatbot
Related lectures (24)
Previous
Page 1 of 3
Next
Formal Logic: Proofs and Sets
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Propositional Calculus
Covers the basics of propositional calculus and its importance in computer science.
Concept of Proof in Mathematics
Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.
Composition of Applications in Mathematics
Explores the composition of applications in mathematics and the importance of understanding their properties.
Limits and colimits in Top
Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Operations on Formal Languages
Explores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.
Elementary Algebra: Numeric Sets
Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.
