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
Formal Languages: Concepts
Graph Chatbot
Related lectures (30)
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.
Group Theory: Direct Sum of Abelian Groups
Log in to Mediaspace to watch this video
Explores the arithmetic of direct sum of abelian groups and the process of turning a monoid into a commutative group.
Elliptic Curves: Group Structure and Isomorphism
Log in to Mediaspace to watch this video
Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.
Two Definitions of Group Action
Log in to Mediaspace to watch this video
Explores two definitions of group action on a set, focusing on properties and applications.
Regularity Lemmas and Density Theorems
Log in to Mediaspace to watch this video
Explores Regularity Lemmas and Density Theorems for graph partitioning and structure identification.
Groups & Subgroups: Definitions, Theorems, and Morphisms
Log in to Mediaspace to watch this video
Covers the fundamental concepts of groups and subgroups, including definitions, theorems, and morphisms.
Categories
Log in to Mediaspace to watch this video
Introduces categories as collections of objects with morphisms and identity morphisms.
Previous
Page 2 of 2
Next
