Concept
Reason
Related lectures (52)
Geometric Series: Convergence and Applications
Explores the convergence of geometric series and their applications in real-world problems.
Predicate Logic: Basics and Applications
Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.
Diagonalization of Matrices
Explores the diagonalization of matrices through eigenvectors and eigenvalues.
Gothic Surfaces: Curvature, Development, and Stereotomy
Delves into the geometric principles of Gothic architecture, focusing on surface curvature and stereotomy techniques.
Cauchy Theorem and Laurent Series
Covers the Cauchy theorem, the conditions to apply it, and the Laurent series.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Diagnostic: Abduction and Consistency
Explores diagnostic problems, emphasizing abduction and consistency in finding faulty components based on observed symptoms and measurements.
Diagonalization of Matrices and Least Squares
Explores diagonalization of matrices, similarity relations, and eigenvectors in linear algebra.
Explicit Runge Kulta method
Discusses the explicit Runge Kulta method for function approximation and error analysis.
Cognition, Language & Emotions
Explores cognitive biases, emotions, and language evolution, covering memory failures, decision-making heuristics, and the origins of language.