Denys Mykhailov
Search
CTRL + K
Denys Mykhailov
Search
CTRL + K
KSE
Discrete Mathematics Concepts
01. Mathematical logic
Supremum
Functional Programming
01. Formal Languages
02. Definition of λ-term
03. Free and bounded variables
04. α-conversion and β-reduction
05. Evaluation Strategies
06. Substitution Model
07. CBV and CBN
08. Booleans and Operators
09. Natural Numbers and Operations
10. The Church-Rosser Theorem
11. Fixed-point theorem and Y-combinator
12. Recursion in Lambda Calculus
14. Simply Typed Lambda Calculus
15. Church Typing
16. Curry Typing
17. Curry–Howard Correspondence
Reflexive-Transitive Closure
Some more examples
Graph Theory
0. Definitions
1. Isomorphism
2. Subgraphs
3. Paths, cycles
4. Connectivity
5. Graph classes
6. Handshaking Lemma
7. Pigeonhole principle
8. Regularity
9. Bipartite graphs
Intro to Economics
01. Intro to Economics
02. Market
03. Supply and demand
04. Market Equilibrium
05. Elasticity of Demand
06. CVP-analysis
07. Market structures
08. Essence of GDP
09. Taxes
10. The Economics of AI
Linear Algebra
Cauchy – Schwarz Inequality
Machine Learning
ML Topics Breakdown
Test 1. Supervised Learning
Test 2. Unsupervised Learning
Test 3. Deep Learning
Test 4. Regularization
Test 5. Ensemble Learning
Test 6. Performance Metrics
OOP
01. Intro to OOP
02. Class vs Struct
03. Dependency Types
04. Access Modifiers
Optimization Techniques
01. Introduction to Optimization
02. Convex Sets
03. Convex Functions
04. Epigraph. Jensen’s Inequality
05. Convex Optimization
06. Smooth Functions
07. Lipschitz Functions
08. Subgradient and subdifferential
09. Projections
10. Existence of a Minimum
11. GRADIENT DESCENT
12. STEEPEST GRADIENT DESCENT
13. PROJECTED GRADIENT DESCENT
14. PROXIMAL GRADIENT DESCENT
15. SUBGRADIENT DESCENT
16. STOCHASTIC GRADIENT DESCENT
Finding the Lipschitz Constant of a Function
Hessian matrix
How to Calculate the Subgradient
Optimization Formula
Proximal GD Idea Explained
Simplex Method Intro
DG Home
#kse
Some more examples
empty for now...