Matematik
Sayılar, yapılar ve örüntüleri inceleyen temel bilim dalı
Matematik Farkları
Power Series ∑aₙxⁿ, Laurent ∑aₙxⁿ n negatif olabilir.
Line eğri üzerinde, surface yüzey üzerinde.
Monotone artış/azalış, dominated üst fonksiyon.
Deep learning çok katmanlı sinir ağları kullanırken İLE shallow learning tek gizli katmanlı veya lineer modeller kullanır
Discrete mathematics sayılabilir ayrık yapıları incelerken İLE continuous mathematics sürekli değişen büyüklükleri inceler
Directional yön türevi, gradient ∇f vektör alan.
Pointwise her nokta ayrı, uniform tüm nokta aynı hız.
Mathematical modeling deterministik matematik denklemlerle sistem modellerken İLE statistical modeling stochastic süreçlerle veri modeller
Langlands programı temsil kuramı ve sayı kuramıni birleştirirken İLE Weil konjektürü cebirsel eğriler üzerinde zeta fonksiyonları inceler
Motivic homotopy cebirsel geometride homotopi kuramıyken İLE algebraic K-theory halka ve şemaların K-gruplarını inceler
Uniform δ tüm noktalar için, pointwise her nokta ayrı.
Divergence ∇·F akış kaynağı İLE curl ∇×F rotasyon.
Conservative potansiyel var, non-conservative yok.
Rolle f(a)=f(b) ise f'(c)=0, MVT genel ortalama.
Stable homotopy yüksek dimensional limitken İLE unstable homotopy dimension bağımlı grup yapısıdır
Partial ∂f/∂x tek değişken, total df/dx tüm değişkenler.
FTC ∫f'(x)dx = f(x), parts ∫udv = uv - ∫vdu.
Fatou alt limit eşitsizliği, monotone tam eşitlik.
Pyknotic objects genel topolojik nesne kategorisiyken İLE profinite objects sadece profinite topolojik grup kategorisidir
Forcing küme kuramı tutarlılık ispatı tekniğiyken İLE classical logic standart mantıksal çıkarım sistemidir
(1996'dan beri)