David Pierce | Matematik | M.S.G.S.Ü.

Dersler // Aksiyomatik Kümeler Kuramı

Aksiyomatik Kümeler Kuramı (MAT 340), 2012–13

2012–13, bahar yarıyılı, Çarşamba saat 9:00–9:50, Cuma saat 9:00–10:50

Konular

  1. Russell Paradoksu
  2. Zermelo–Fraenkel Aksiyomları
  3. Ordinaller
    1. von Neumann'ın tanımı
    2. Burali-Forti Paradoksu
    3. sonlu-aşırı tümevarım ve özyineleme
    4. hesaplama
  4. Kardinaller
    1. Cantor'un Teoremi
    2. Schröder-Bernstein Teoremi
    3. hesaplama
    4. Seçim Aksiyomu
    5. Kontinü Hipotezi

Ödevler

Mart 20: ω'nın ∈ tarafından iyi sıralanmış olduğunu kanıtlayın. Her doğal sayının

biliyoruz; ayrıca tüm eşit olmayan k ile m doğal sayıları için ya km ya da mk olur.

Sınavlar

Notlar

06 Mayıs 2013 versiyonu:

Eskisi:

Dersten bir örnek:

ωω ⋅ 2 ⋅ 3 + ωω⋅4 + ω17⋅2 + ωωω ⋅ 32)ω2 + 1
= (ωωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2 + ωωω ⋅ 32)ω2 ⋅ (ωωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2 + ωωω ⋅ 32)
= ωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2) ⋅ ω2 ⋅ (ωωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2 + ωωω ⋅ 32)
= ωωω ⋅ 2 + 2 ⋅ (ωωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2 + ωωω ⋅ 32)
= ωωω ⋅ 2 + 2 + ωω ⋅ 2 ⋅ 3 + ωω ⋅ 4 + ω17 ⋅ 2 + ωωω ⋅ 2 + 2 + ωω ⋅ 32.

Kaynaklar

Bakmakla öğrenilse, köpekler kasap olurdu.

Son değişiklik: Wednesday, 11 May 2016, 12:40:45 EEST