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
Concept
Field of sets
Formal sciences
Logic
Classical logic
First-order logic
Graph Chatbot
Related lectures (28)
Login to filter by course
Login to filter by course
Reset
Combinatorial Search Example
Covers sets in Scala, N-Queens problem, and recursive algorithms.
Linear Algebra: Sets and Propositional Language
Covers sets, propositional language, reading, writing, containment, and cardinality.
Set Union: Properties and Operations
Explains the union of sets, its properties, operations, and intersection.
Mapping Functions and Surjections
Explores mapping functions, surjections, injective and surjective functions, and bijective functions.
Algebraic Operations on Dedekind Cuts
Explores algebraic operations on Dedekind cuts, illustrating with examples.
Cardinality and Group Theory
Explores cardinality in sets and properties of groups, including commutativity and examples of abstract groups.
Proofs and Logic: Introduction
Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.
Recursively Defined Sets and Structures
Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.
Previous
Page 2 of 2
Next