Formal & Physical Sciences MathematicsENProvability Logic and Modalised Fixed PointsAlbert VisserAugust 21, 2021 101 min★ ★ ★ ★ ☆ 4/5Provability LogicModal LogicFixed Points
Formal & Physical Sciences MathematicsENPavel Pudlák: The journey from Peano Arithmetic to proof complexityPavel PudlákAugust 21, 2021 114 min★ ★ ★ ★ ☆ 4/5Proof ComplexityPeano ArithmeticBounded Arithmetic
Formal & Physical Sciences MathematicsENMichael Rathjen: Proof Theory: From Arithmetic to Set TheoryMichael RathjenAugust 21, 2021 84 min★ ★ ★ ★ ★ 5/5Proof TheoryOrdinal AnalysisGentzen
Formal & Physical Sciences MathematicsENAli Enayat: Flexible Turing MachinesAli EnayatAugust 21, 2021 119 min★ ★ ★ ★ ★ 5/5Turing MachinesModels of ArithmeticKripke
Formal & Physical Sciences MathematicsENAlbert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?Albert VisserAugust 21, 2021 109 min★ ★ ★ ★ ☆ 4/5Modal LogicProvability LogicFixed Points
Formal & Physical Sciences MathematicsENThe nucleus of a cooperative game - can it be used the way Shapley was used in ML?Dr. Eitan Farchi (IBM)August 17, 2021 28 min★ ★ ★ ☆ ☆ 3/5Game TheoryNucleusShapley Value
Formal & Physical Sciences MathematicsENLESSON 50 - CHOOSING THE RIGHT STATISTICAL TESTS: FACTORS TO CONSIDER WHEN CHOOSING A TESTProf. Lydiah WambuguAugust 5, 2021 12 min★ ★ ★ ★ ☆ 4/5Statistical TestsResearch MethodsData Analysis
Formal & Physical Sciences MathematicsENLESSON 48 - INFERENTIAL STATISTICS: MEANING & USE OF HYPOTHESES IN INFERENTIAL STATISTICSProf. Lydiah WambuguAugust 2, 2021 11 min★ ★ ★ ☆ ☆ 3/5Inferential StatisticsHypothesis TestingNull Hypothesis
Humanities, Social Sciences & Thought MathematicsENLESSON 47 - DESCRIPTIVE STATISTICS: THE THREE METHODS OF ANALYSING DATA DESCRIPTIVELYProf. Lydia WambuguAugust 1, 2021 11 min★ ★ ★ ★ ☆ 4/5Descriptive StatisticsResearch MethodsData Analysis
Formal & Physical Sciences MathematicsENLESSON 46 - DATA ANALYSIS: BASIC CONCEPTS IN DATA ANALYSIS || TYPES OF STATISTICS & STATISTICAL TESTProf. Lydiah WambuguJuly 31, 2021 15 min★ ★ ★ ☆ ☆ 3/5Data AnalysisStatisticsDescriptive Statistics
Formal & Physical Sciences MathematicsENThe Simplest Math Problem No One Can Solve - Collatz ConjectureVeritasiumJuly 30, 2021 22 min★ ★ ★ ★ ★ 5/5Collatz Conjecture3x+1 ProblemNumber Theory
Formal & Physical Sciences MathematicsENStirling's Formula - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarJuly 22, 2021 26 min★ ★ ★ ☆ ☆ 3/5Stirling's ApproximationFactorialStatistical Physics
Formal & Physical Sciences MathematicsENContinuous version of Bayes ruleDr. Eitan FarchiJuly 11, 2021 15 min★ ★ ★ ★ ☆ 4/5Bayes RuleContinuous ProbabilityProbability Density
Formal & Physical Sciences MathematicsENStoke's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarJune 19, 2021 38 min★ ★ ★ ★ ☆ 4/5Stokes TheoremVector CalculusLine Integral
Formal & Physical Sciences MathematicsENLESSON 32 - STRATIFIED RANDOM SAMPLING: DEFINITION & STEPS OF CONDUCTING STRATIFIED RANDOM SAMPLINGProf. Lydiah WambuguJune 6, 2021 17 min★ ★ ★ ☆ ☆ 3/5Stratified SamplingResearch MethodsSampling Techniques
Humanities, Social Sciences & Thought MathematicsENLESSON 30 - SAMPLING: RANDOM/ PROBABILITY SAMPLING TECHNIQUE & GENERATION OF RANDOM NUMBERSProf. Lydiah WambuguJune 5, 2021 16 min★ ★ ★ ☆ ☆ 3/5Probability SamplingRandom SamplingRandom Numbers
Humanities, Social Sciences & Thought MathematicsENLESSON 28 - SAMPLING: DEFINITION OF TERMS USED IN SAMPLING, PURPOSE & LIMITATIONS OF SAMPLINGProf. Lydiah WambuguMay 29, 2021 21 min★ ★ ★ ★ ☆ 4/5SamplingResearch MethodsSocial Science
Formal & Physical Sciences MathematicsENA Solution to the Stable Marriage Problem: Emily Riehl Public LectureEmily RiehlMay 12, 2021 45 min★ ★ ★ ★ ★ 5/5Stable MarriageGale-ShapleyAlgorithm
Formal & Physical Sciences MathematicsENA quick trick for computing eigenvalues | Chapter 15, Essence of linear algebra3Blue1BrownMay 7, 2021 13 min★ ★ ★ ★ ★ 5/5EigenvaluesLinear AlgebraMatrices
Formal & Physical Sciences MathematicsENAlgebraic topology: Fundamental group of a knotRichard E BorcherdsMay 2, 2021 22 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupKnot Theory
Formal & Physical Sciences MathematicsENAlgebraic topology: Calculating the fundamental groupRichard E BorcherdsApril 23, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupVan Kampen's Theorem
Formal & Physical Sciences MathematicsENGauss's Divergence Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarApril 22, 2021 39 min★ ★ ★ ★ ☆ 4/5Gauss Divergence TheoremVector CalculusSurface Integral
Formal & Physical Sciences MathematicsENDivergence in terms of Cartesian Coordinates - BSc Physics Series - Shilpy Bhullar (Hindi/English)Shilpy BhullarApril 17, 2021 40 min★ ★ ★ ★ ☆ 4/5DivergenceVector CalculusCartesian Coordinates
Formal & Physical Sciences MathematicsENAlgebraic topology: Fundamental groupRichard E BorcherdsApril 17, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupHomotopy
Formal & Physical Sciences MathematicsENThe basic idea of Bayesian NetworkDr. Eitan FarchiApril 16, 2021 20 min★ ★ ★ ★ ☆ 4/5Bayesian NetworksProbabilityMachine Learning
Formal & Physical Sciences MathematicsENAlgebraic topology: IntroductionRichard E BorcherdsApril 13, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyHomotopyHomology
Formal & Physical Sciences MathematicsENScience, Bayes & NLDr Eitan Farchi (IBM)April 6, 2021 18 min★ ★ ★ ☆ ☆ 3/5Bayes' TheoremScientific MethodMachine Learning
Formal & Physical Sciences MathematicsENLESSON 5- CLASSIFICATION OF VARIABLES AND SCALES OF MEASUREMENT (NOMINAL, ORDINAL, INTERVAL, RATIO)Prof. Lydiah WambuguApril 3, 2021 20 min★ ★ ★ ☆ ☆ 3/5VariablesMeasurement ScalesNominal
Formal & Physical Sciences MathematicsENModular forms: Petersson inner productRichard E BorcherdsApril 1, 2021 15 min★ ★ ★ ★ ★ 5/5Modular FormsPetersson Inner ProductHecke Operators
Formal & Physical Sciences MathematicsENHow (and why) to raise e to the power of a matrix | DE63Blue1BrownApril 1, 2021 27 min★ ★ ★ ★ ★ 5/5Matrix ExponentialDifferential EquationsLinear Algebra
Formal & Physical Sciences MathematicsENModular forms: Hecke operators for formsRichard E BorcherdsMarch 31, 2021 20 min★ ★ ★ ★ ★ 5/5Modular FormsHecke OperatorsRamanujan Tau Function
Formal & Physical Sciences MathematicsENModular forms: Product formula for jRichard E. BorcherdsMarch 30, 2021 13 min★ ★ ★ ★ ★ 5/5Modular FormsElliptic Modular FunctionHecke Operators
Formal & Physical Sciences MathematicsENModular forms: Hecke operatorsRichard E BorcherdsMarch 29, 2021 16 min★ ★ ★ ★ ★ 5/5Modular FormsHecke OperatorsNumber Theory
Formal & Physical Sciences MathematicsENModular forms: Theta functions in higher dimensionsRichard E BorcherdsMarch 28, 2021 22 min★ ★ ★ ★ ★ 5/5Modular FormsTheta FunctionsLattices
Formal & Physical Sciences MathematicsENModular forms: Theta functionsRichard E BorcherdsMarch 27, 2021 18 min★ ★ ★ ★ ★ 5/5Modular FormsTheta FunctionsRiemann Zeta Function
Formal & Physical Sciences MathematicsENModular forms: Discriminant and E2Richard E BorcherdsMarch 26, 2021 18 min★ ★ ★ ★ ★ 5/5Modular FormsDiscriminantEisenstein Series
Formal & Physical Sciences MathematicsENModular forms: Modular functionsRichard E BorcherdsMarch 25, 2021 17 min★ ★ ★ ★ ★ 5/5Modular FormsModular FunctionsElliptic Modular Function
Formal & Physical Sciences MathematicsENModular forms: ClassificationRichard E BorcherdsMarch 24, 2021 23 min★ ★ ★ ★ ★ 5/5Modular FormsClassificationEisenstein Series
Formal & Physical Sciences MathematicsENModular forms: Fundamental domainRichard E BorcherdsMarch 23, 2021 15 min★ ★ ★ ★ ★ 5/5Modular FormsFundamental DomainSL2(Z)
Formal & Physical Sciences MathematicsENModular forms: Fourier coefficients of Eisenstein seriesRichard E BorcherdsMarch 22, 2021 24 min★ ★ ★ ★ ★ 5/5Modular FormsEisenstein SeriesFourier Coefficients