Skip to main content
Graph
Search
fr
|
en
Switch to dark mode
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Regular Expressions: Basics and Applications
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Using Enums: Coding Information with Constants
Covers the use of the enum keyword to define integer constants and improve code readability in programming.
Semantics in Computer Language Processing: Understanding Meaning
Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.
Turing Machines: Recursive Languages
Explores Turing machines, recursive languages, undecidability, and symbol elimination.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Ramanujan Graphs: Generating Functions and Expander Graphs
Explores Ramanujan graphs, generating functions, non-backtracking walks, and expander graphs in relation to NP-hard problems.
Pseudorandomness: Theory and Applications
Explores pseudorandomness theory, AI challenges, pseudo-random graphs, random walks, and matrix properties.
Deterministic Pushdown Automata
Covers deterministic pushdown automata and their use in language recognition.
LED, Light and Color
Covers the energy and radiation of LEDs, transitions in energy levels, and color synthesis.
Thymio design and programming
Covers the design and programming of Thymio robots.
Foundations of Software
Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.