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
Category
Mathematical logic
Formal sciences
Mathematics
Mathematical logic
Related lectures (21)
Graph Chatbot
Previous
Page 1 of 3
Next
Mapping Functions and Surjections
Explores mapping functions, surjections, injective and surjective functions, and bijective functions.
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Cartesian Product and Induction
Introduces Cartesian product and induction for proofs using integers and sets.
Sets and Operations: Introduction to Mathematics
Covers the basics of sets and operations in mathematics, from set properties to advanced operations.
Relations, Sequences and Summations
Covers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Equivalence Relations and Partial Orderings
Introduces equivalence relations, partitions, partial orderings, and total ordering concepts with examples and definitions.
Partial Ordering: Relations, Sequences, Summation
Introduces partial orderings, lattices, and lexicographic orderings on Cartesian products.
Functions: Definitions and Notations
Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.
Relations and Sequences
Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.
Linear Algebra: Bijections and Cardinality
Explores bijections in linear algebra and the concept of cardinality between sets.
