Matematik

Power Series ∑aₙxⁿ, Laurent ∑aₙxⁿ n negatif olabilir.

Rolle f(a)=f(b) ise f'(c)=0, MVT genel ortalama.

Forcing küme kuramı tutarlılık ispatı tekniğiyken İLE classical logic standart mantıksal çıkarım sistemidir

FTC ∫f'(x)dx = f(x), parts ∫udv = uv - ∫vdu.

Vector field vektör her nokta İLE scalar field sayı her nokta.

Divergence ∇·F akış kaynağı İLE curl ∇×F rotasyon.

Divergence hacim-yüzey, fundamental integral-antiderivative.

EVT kapalı aralık max/min, IVT sürekli ara değer.

Pyknotic objects genel topolojik nesne kategorisiyken İLE profinite objects sadece profinite topolojik grup kategorisidir

Deep learning çok katmanlı sinir ağları kullanırken İLE shallow learning tek gizli katmanlı veya lineer modeller kullanır

Game theory çok aktörlü stratejik etkileşimleri incelerken İLE decision theory tek aktörün optimal karar verme sürecini inceler

Discrete mathematics sayılabilir ayrık yapıları incelerken İLE continuous mathematics sürekli değişen büyüklükleri inceler

Farklı integral tanımları.

Uniform δ tüm noktalar için, pointwise her nokta ayrı.

Directional yön türevi, gradient ∇f vektör alan.

Taylor polynomyal yaklaşım, Fourier trigonometrik.

Pointwise her nokta ayrı, uniform tüm nokta aynı hız.

MVT ortalama eğim, IVT ara değer varlığı.

Implicit F(x,y)=0, parametric x=f(t), y=g(t).

Fonksiyon seri temsilleri.