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
Term (logic)
Graph Chatbot
Related lectures (10)
Login to filter by course
Login to filter by course
Reset
Termination Analysis using Dependency Pairs
Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.
Avoiding Variable Capture
Explores variable capture in higher-order functions and the importance of variable renaming.
Pen-and-paper session: Lambda Calculus Proofs
Delves into Lambda Calculus proofs, emphasizing structural induction and variable manipulation.
2D Variable Problems: Deformation and Flow Equations
Explores 2D variable problems, deformation of membranes, scalar equations, and flow in ducts.
High-Order Functions: Unification Theory
Covers high-order functions, parser, and type checker concepts.
Ergodic Theory: Chaos
Explores elements from Ergodic Theory, transformations, invariant sets, and Lyapunov Exponents for 1-dimensional maps.
Predicate Logic: Domains and Quantifiers
Explores predicate logic, focusing on domains, quantifiers, and surprising insights on empty domains.
Chemical Engineering Fundamentals
Covers material and energy balances in chemical engineering, enthalpy of reaction, and classification of reactions, with practical examples.
Untitled
Understanding the Yield Curve
Explores the yield curve's significance in predicting economic trends and recessions based on the relationship between short- and long-term Treasury bond yields.
Previous
Page 1 of 1
Next
