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
Enumeration
Formal sciences
Mathematics
Mathematical logic
Set theory
Graph Chatbot
Related lectures (14)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 2
Next
Advanced Types in C: Unions and Bit Fields
Discusses advanced types in C, focusing on unions, bit fields, and their associated modifiers and operators.
Recursive Enumerability: Turing Machines and Undecidable Languages
Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.
Relations, Sequences and Summations
Covers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Theory of Computation: Problems Definition and Counting (Denumerability)
Explores the theory of computation, emphasizing problems definition, counting, and the limits of algorithmic computation.