Müfredat/D1
D1 — Matematiksel Dil ve Temeller
1.01 — Matematiğin Doğası ve Soyutlama
1.02 — Matematiksel Dil ve Mantık
- 1.02.01Önerme ve matematiksel ifade
Hangi ifadelerin doğru veya yanlışlığından söz edebiliriz?
- 1.02.02“Ve”, “veya”, “değil”: mantıksal bağlaçlar
Basit önermeler nasıl birleşir?
- 1.02.03“Eğer… ise…”: matematiksel koşul
Bir sonuç hangi varsayımdan çıkar?
- 1.02.04Niceleyiciler: “her” ve “en az bir”
Sonsuz sayıda nesne hakkında tek cümleyle nasıl konuşuruz?
- 1.02.05Matematiksel ifadelerin değili
Niceleyicili bir iddianın yanlış olması tam olarak ne demektir?
- 1.02.06Mantıksal eşdeğerlik ve geçerli çıkarım
Bir sonuç gerçekten verilenlerden çıkıyor mu?
1.03 — Kümeler
- 1.03.01Küme, eleman ve alt küme
Matematiksel nesneleri koleksiyon hâlinde nasıl ele alırız?
- 1.03.02Küme işlemleri
Kümeleri nasıl birleştirir ve ayırırız?
- 1.03.03Kartezyen çarpım ve sıralı yapılar
İki kümeden koordinat benzeri yeni yapılar nasıl kurulur?
- 1.03.04Kuvvet kümesi ve “kümelerin kümesi”
Bir kümenin bütün alt kümelerini tek nesne yapabilir miyiz?
1.04 — Bağıntılar, Denklik ve Sıralama
1.05 — Fonksiyonların Temel Yapısı
- 1.05.01Fonksiyon neden vardır?
Bir kümeden diğerine sistematik eşleme nasıl tanımlanır?
- 1.05.02Görüntü ve ters görüntü
Fonksiyonlar yalnızca elemanları değil kümeleri nasıl taşır?
- 1.05.03Birebir, örten ve bijektif fonksiyonlar
Bir eşleme ne zaman bilgi kaybetmez ve tüm hedefe ulaşır?
- 1.05.04Fonksiyonların bileşkesi
Ardışık iki işlem tek fonksiyon olabilir mi?
- 1.05.05Ters fonksiyon
Bir dönüşümü tamamen geri almak için ne gerekir?
1.06 — İspat ve Matematiksel Kesinlik
- 1.06.01Tanım, aksiyom, teorem ve matematiksel teori
Matematiksel bilginin yapı taşları nelerdir?
- 1.06.02İspat nedir ve neden örnek yeterli değildir?
Bin doğru örnek neden evrensel bir iddiayı kanıtlamaz?
- 1.06.03Doğrudan ispat
Varsayımdan sonuca nasıl mantıksal zincir kurulur?
- 1.06.04Karşıt ters ile ispat
Sonucu doğrudan ispatlamak yerine eşdeğer iddiayı neden kullanırız?
- 1.06.05Çelişkiyle ispat
Yanlışlığı varsaymak doğruluğu nasıl gösterebilir?
- 1.06.06Durumlara ayırma ve “ancak ve ancak” ispatları
Tek argüman bütün ihtimalleri kapsamıyorsa ne yaparız?
- 1.06.07Varlık ve teklik ispatları
“Vardır” ile “yalnız bir tane vardır” nasıl ayrılır?
- 1.06.08Matematiksel tümevarım
Sonsuz sayıda iddia sonlu ispatla nasıl gösterilir?
- 1.06.09İspat okumak, bulmak ve yazmak
İspat yöntemini bilmek gerçek ispat üretmeye nasıl dönüşür?