Concept
General recursive function
Related lectures (84)
Bifurcations: Fold Bifurcation
Covers the concept of fold bifurcation in dynamical systems, focusing on the saddle-mode behavior.
Dynamical System Theory: Bifurcations
Covers the topic of bifurcations in dynamical system theory, focusing on the pitchfork bifurcation.
Recursive Functions: Substitution Interpreter
Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.
Recursively Defined Functions
Introduces recursively defined functions, showcasing examples like the Fibonacci numbers.
Recursively Defined Functions
Introduces recursively defined functions and demonstrates how to compute values and prove properties using mathematical induction.
Expected Utility and Risk-Aversion
Explores expected utility theory, risk-aversion, utility functions, and decision-making under uncertainty.
Regression Methods: Spline Smoothing
Covers regression methods focusing on spline smoothing and penalised fitting to balance data fidelity and smoothness.
Transcritical Bifurcation: Theory and Applications
Explores the theory and applications of transcritical bifurcation, focusing on stability analysis and critical points.
Stochastic Models for Communications
Covers stochastic models for communication systems and their impact on system performance.
Unfolding recursive functions in Stainless
Covers the concept of unfolding recursive functions using the Stainless tool.