İspat Yöntemleri

Hazırlayanlar

Utku Aytaç
Can Ozan Oğuz
Pelin Kaytmaz

İçindekiler

1. Giriş
2. Günlük Dilde Mantık
3. Doğrudan İspat
   1. Doğrudan İspat
   2. Parçalara Ayırmak
4. Karşıt Tersini Kullanarak İspat
5. Çelişki Yöntemiyle İspat
   1. İfadeler
   2. Koşullu İfadeler
   3. Evrensel Önermelere Aksine Örnek
   4. Varlık Önermelerine Aksine Örnek
6. Koşullu Olmayan İfadelerin İspatı
   1. Ancak ve Ancaklı Önermelerin İspatlar
   2. Varlık İspatları
   3. Teklik İspatları
7. Tümevarım

Bu projeye katkıda bulunmak isterseniz fikirlerinizi, önerilerinizi dinlemekten memnun oluruz. Bizimle [email protected] adresinden iletişime geçebilirsiniz.