Foundations of mathematics

Formal sciences
Logic
Classical logic
First-order logic

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Primal-dual Optimization: Extra-Gradient Method

Explores the Extra-Gradient method for Primal-dual optimization, covering nonconvex-concave problems, convergence rates, and practical performance.

Derivative of an Integral with Parameter

Covers deriving integrals with parameters and their derivatives, including special cases and proofs.

Calculus of Variations: Gradient Young Theorem

Covers the Gradient Young Theorem in the calculus of variations, discussing proofs and applications.

Rounding the relaxation: Max Sum Diversification

Explores rounding the relaxation and Max Sum Diversification, discussing effects, integral solutions, and loss bounds.

Real Numbers: Sets and Operations

Covers the basics of real numbers and set theory, including subsets, intersections, unions, and set operations.

Programming Thymio with Aseba Studio

Demonstrates students using Aseba Studio to learn programming basics and computational thinking through math-related activities.

Mathematics of Data: Optimization Basics

Covers optimization basics, including metrics, norms, convexity, gradients, and logistic regression, with a focus on strong convexity and convergence rates.

Copulas: Properties and Applications

Explores copulas in multivariate statistics, covering properties, fallacies, and applications in modeling dependence structures.

Page 2 of 2