Find a topic
Explore specific ideas, learning goals and their courses.
Account access and prerequisites are checked when you open a topic.
36 matching topics
Empirical risk and loss functions
Distinguish the training objective from predictive performance.
Conditions to keep in mind
A labelled sample and a specified prediction task.
Linear regression as an optimisation problem
Connect regression coefficients to least squares.
Conditions to keep in mind
A linear predictor in specified features; squared loss.
Normal equations
Derive the least-squares stationarity condition in two ways.
Conditions to keep in mind
Unconstrained least squares with real A and b.
Orthogonal projection
Characterise the closest vector in a subspace.
Conditions to keep in mind
A finite-dimensional subspace of a Euclidean space.
Orthogonality and residuals
Express orthogonality using an inner product.
Conditions to keep in mind
The standard Euclidean inner product.
Vectors and linear combinations
Interpret a linear combination geometrically.
Conditions to keep in mind
Real, finite-dimensional vectors of compatible dimensions.
Column space, rank and nullity
Relate independent directions to uniqueness.
Conditions to keep in mind
Finite-dimensional real matrices.
Solvability of linear systems
Decide whether Ax=b is consistent.
Conditions to keep in mind
A is an real matrix and .
Derivatives as local approximations
Use a derivative to predict a local change.
Conditions to keep in mind
Differentiability at the point; sufficiently small increments.
Logistic classification and likelihood
Relate a Bernoulli model to cross-entropy.
Conditions to keep in mind
Binary labels; independent observations conditional on inputs for the product likelihood.
Random variables and independence
Distinguish a random variable, a realisation and independence.
Conditions to keep in mind
A specified probability model and events with defined probabilities.
Gradients and local descent
Justify the negative gradient as a local descent direction.
Conditions to keep in mind
Differentiability, nonzero gradient and a sufficiently small positive step.
Gradient descent and learning rates
Explain an update rule and its convergence limitations.
Conditions to keep in mind
Ordinary gradient descent; distinguish its assumptions from other optimisers.
Regularisation and inductive bias
Explain how ridge regularisation changes the objective.
Conditions to keep in mind
Ridge with penalising all coefficients in the stated formula.
Validation, leakage and generalisation
Design an evaluation that respects how new data arrive.
Conditions to keep in mind
A defined target population and sampling or temporal structure.
Supervised-learning examination synthesis
Connect assumptions, objectives, optimisation and evaluation.
Conditions to keep in mind
State the task and data-generating constraints before selecting a method.
Existence and uniqueness
Separate a unique fit from unique coefficients.
Conditions to keep in mind
Finite-dimensional unconstrained least squares.
Conditioning and method selection
Distinguish mathematical existence from numerical reliability.
Conditions to keep in mind
Finite precision arithmetic; the condition-number identity assumes full column rank.
Least-squares examination synthesis
Combine solvability, geometry and rank in one argument.
Conditions to keep in mind
Real finite-dimensional least squares; distinguish exact and approximate fitting.
Sampling distributions
Distinguish data variation from estimator variation.
Conditions to keep in mind
A specified repeated-sampling scheme.
Bias, variance and mean squared error
Separate systematic error from sampling variation.
Conditions to keep in mind
Finite second moments for the estimator.
Standard errors and normal approximation
Identify the assumptions behind a mean interval.
Conditions to keep in mind
IID data with finite positive variance for the classical CLT; exact t inference additionally uses normal observations.
Maximum-likelihood estimation
Construct a likelihood and check its maximiser.
Conditions to keep in mind
A specified parametric model; independence when factorising the likelihood.
Confidence intervals and coverage
Interpret a confidence procedure under repeated sampling.
Conditions to keep in mind
The sampling model and interval construction must be specified.
Hypothesis tests and p-values
Interpret a p-value relative to a specified null model.
Conditions to keep in mind
A prespecified test statistic, null distribution and tail convention.
Type I error, power and multiplicity
Distinguish false rejection from sensitivity to an alternative.
Conditions to keep in mind
Power is evaluated at a specified alternative parameter value.
Statistical-inference examination synthesis
Connect an inferential claim to its estimand and assumptions.
Conditions to keep in mind
A defined estimand, sampling design and model.
Problem specifications and correctness
State valid inputs and the required output before choosing an algorithm.
Conditions to keep in mind
Explicit preconditions and a finite input representation.
Loop invariants
Prove a loop correct using an invariant.
Conditions to keep in mind
An invariant at a precisely stated program point and a terminating loop.
Induction and proof structure
State a base case and an inductive implication.
Conditions to keep in mind
An integer-indexed claim with an appropriate starting index.
Asymptotic complexity
State and justify an asymptotic resource bound.
Conditions to keep in mind
A specified input-size measure and cost model.
Recursive correctness and termination
Separate recursive meaning from termination.
Conditions to keep in mind
Recursive calls on strictly smaller cases under a well-founded measure.
Divide and conquer
Derive a recurrence from an algorithm structure.
Conditions to keep in mind
For the stated merge-sort recurrence, n is a power of two and merging is linear.
Greedy strategies and exchange arguments
Justify a greedy choice or find a counterexample.
Conditions to keep in mind
A specified optimisation problem; the example is unweighted interval scheduling, with compatibility allowing the next interval to start at the previous finish time.
Dynamic programming and state design
Define a sufficient state, recurrence and evaluation order.
Conditions to keep in mind
Positive integer denominations, a nonnegative integer amount and unlimited supply of each coin; states must retain information needed for future choices.
Algorithm examination synthesis
Present a complete algorithmic argument.
Conditions to keep in mind
Explicit input restrictions, cost model and optimisation objective.
