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
Formal Languages: Concepts
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Cartesian Product in Linear Algebra
Explores the Cartesian product in linear algebra and the method of induction for proving propositions.
Regularity Lemmas and Density Theorems
Explores Regularity Lemmas and Density Theorems for graph partitioning and structure identification.
Groups & Subgroups: Definitions, Theorems, and Morphisms
Covers the fundamental concepts of groups and subgroups, including definitions, theorems, and morphisms.
Categories
Introduces categories as collections of objects with morphisms and identity morphisms.
Counting Basics: Set Theory and Permutations
Covers the main rules of counting for combinatorial objects and introduces various counting techniques.
Cohomology Real Projective Space
Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
Natural Numbers
Covers the concept of natural numbers, including properties like commutativity and associativity.
Group Theory: Basics
Covers the basics of group theory, including sets, applications, and examples like permutations and rotations.
Quasi-Categories: Active Learning Session
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
