(1996'dan beri)Matematik
Sayılar, yapılar ve örüntüleri inceleyen temel bilim dalı
Matematik Farkları
VCG ile Auction ile Matching ile
Mekanizma Tasarımı
Normal
Teşvik uyumlu sistemler.
Formül: pᵢ = bᵢ₊₁ (2nd price)
0 görüntülenme
Ayrıntılar
Shapley ile Banzhaf ile Core ile
Koalisyon Oyunları
Normal
İşbirlikçi oyun çözümleri.
Formül: φᵢ = Σ[S⊆N\{i}] marginal katkı
0 görüntülenme
Ayrıntılar
Asal ile Yarıasal ile Bileşik ile Mükemmel ile Arkadaş ile
Özel Sayı Türleri
Normal
Sayı kuramınde özel özelliklere sahip tam sayı sınıfları.
Formül: σ(n) = 2n (mükemmel)
0 görüntülenme
Ayrıntılar
Diferansiyel ile Kısmi Türevli ile İntegral ile Stokastik ile Nümerik ile
Denklem Türleri
Normal
Farklı denklem tiplerinin çözüm yöntemleri ve uygulamaları.
Formül: ∂²u/∂x² = (1/c²)∂²u/∂t²
0 görüntülenme
Ayrıntılar
Kaplan-Meier ile Cox ile Log-rank ile
Sağkalım Analizi
Normal
Klinik çalışma istatistikleri.
Formül: S(t) = P(T>t)
0 görüntülenme
Ayrıntılar
Sensitivity ile Specificity ile PPV ile NPV ile
Tanı Test İstatistiği
Normal
Tıbbi test performans ölçütleri.
Formül: Sens = TP/(TP+FN)
0 görüntülenme
Ayrıntılar
Önerme ile Yüklem ile Modal ile
Mantık Türleri
Normal
Farklı mantık sistemleri.
Formül: p → q ≡ ¬p ∨ q
0 görüntülenme
Ayrıntılar
Modus Ponens ile Modus Tollens ile Silojizm ile
Çıkarım Kuralları
Normal
Mantıksal çıkarım yöntemleri.
Formül: p→q İLE p ⊢ q
0 görüntülenme
Ayrıntılar
Tamlık ile Tutarlılık ile Karar Verilebilirlik ile
Mantık Sistem Özellikleri
Normal
Formel sistemlerin temel özellikleri.
Formül: Gödel: Tam ve tutarlı olamaz
0 görüntülenme
Ayrıntılar
ZFC ile NBG ile MK ile
Küme Kuramsi Aksiyomları
Normal
Farklı aksiyomatik küme kuramları.
Formül: AC: Seçim Aksiyomu
0 görüntülenme
Ayrıntılar
İntüisyonist ile Klasik ile Parakonsistent ile
Mantık Felsefeleri
Normal
Farklı mantık yaklaşımları.
Formül: ¬¬p ≠ p (intüisyonist)
0 görüntülenme
Ayrıntılar
P ile NP ile NP-tam ile
Karmaşıklık Sınıfları
Normal
Hesaplama zorluğu sınıfları.
Formül: SAT ∈ NP-tam
0 görüntülenme
Ayrıntılar
SNN ile Memristor ile Neuromorphic ile
Beyin-İlhamlı Hesaplama
Normal
Beyni taklit eden bilgisayar mimarileri.
Formül: Spike timing
0 görüntülenme
Ayrıntılar
BFS ile DFS ile Dijkstra ile
Graf Algoritmaları
Normal
Temel graf arama ve yol bulma algoritmaları.
Formül: O(V+E) İLE O(V+E) İLE O(ElogV)
0 görüntülenme
Ayrıntılar
Quicksort ile Mergesort ile Heapsort ile
Sıralama Algoritmaları
Normal
Temel sıralama yöntemleri.
Formül: T(n) = O(nlogn)
0 görüntülenme
Ayrıntılar
Turing ile Church ile Lambda ile
Hesaplanabilirlik
Normal
Hesaplama modellerinin eşdeğerliliği.
Formül: λx.x+1 (lambda gösterimi)
0 görüntülenme
Ayrıntılar
Shannon ile Kolmogorov ile Quantum ile
Bilgi Kuramleri
Normal
Farklı bilgi ölçüm yaklaşımları.
Formül: H = -Σp log p
0 görüntülenme
Ayrıntılar