itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0
itarticle something about dirac and kronecker delta function Kronecker $delta$ Function The other important properties of $delta$ function 0
itarticle simplify cost function and gradient descent of logistic regression (cs229) Combine equations $(1)$ Rewrite Logistic Regression Cost Function Gradient descent 0