• ANASAYFA
• ÜNİVERSİTE HAKKINDA
  • İsim - Adres
  • Genel Bilgi
  • Üniversite Yönetimi
  • Akademik Takvim
  • Derece Programları
  • Yabancı Dilde Eğitim Veren Birimler
  • Genel Kabul ve Kayıt Koşulları
  • Kredi Hareketliliği ve Önceki Öğrenmenin Tanınması
  • AKTS Kredilerinin Belirlenmesi
  • Akademik Danışmanlık
  • İletişim
• DERECE PROGRAMLARI
  • Doktora Programları
  • Yüksek Lisans Programları
  • Lisans Programları
  • Önlisans Programları
• ÖĞRENCİ İÇİN GENEL BİLGİLER
  • Yaşam Standardı
  • Barınma
  • Beslenme
  • Sağlık
  • Engelli İçin Olanaklar
  • Sigorta
  • Finansal Destekler
  • Öğrenci İşleri Daire Başkanlığı
  • Uluslararası Öğrenciler için Pratik Bilgiler
  • Dil Kursları
  • Staj Olanakları
  • Sportif, Sosyal ve Kültürel Faaliyetler
  • Öğrenci Toplulukları ve Kulüpler
  • İzmir-Türkiye Hakkında
• ULUSLARARASI İLİŞKİLER
  • Dış İlişkiler Koordinatörlüğü
  • Kayıt İşlemleri
  • Anlaşmalar
  • Koordinatörler
  • Belgeler
  • Yabancı Dilde Eğitim Veren Birimler
  • AKTS/DE Etiketi

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS ERA 0010 İspat Teknikleri SEÇMELİ 2 0 0 2

Dersi Veren Birim

Fen Fakültesi

Dersin Düzeyi

Lisans

Ders Koordinatörü

DOÇ. DR. SALAHATTİN ÖZDEMİR

Dersi Alan Birimler

Biyoloji Bilgisayar Bilimleri Matematik Fizik Kimya İstatistik

Dersin Amacı

Bu dersin amacı, öğrencilere düzgün bir şekilde ispat yapmayı öğretmektir.

Dersin Öğrenme Kazanımları

1   Bilimsel önermelerde geçen farklı yapılara aşina olma 2   Mantıksal bağlaçlar ve niceleyiciler kullanarak tartışma yetisi kazanma 3   Mantıksal önermelerin doğruluk tablosunu kurma 4   Düzgün mantıksal argümanlar kurma yetisine sahip olduğunu gösterme 5   Yanlış olan argümanlarda hataları tespit etme 6   Matematiksel mantıktan gelen temel kavramları tanıma

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta Konular Açıklama 1 Tümdengelim ile Çıkarım ve Mantıksal Bağlaçlar Ve ile Veya İçeren İspatlar 2 Doğruluk Tablosu Niceleyiciler İçeren İspatlar 3 Değişkenler ve Kümeler Varlık ve Teklik Teoremleri 4 Kümelerde İşlemler 5 Koşullu ve İki Koşullu Bağlaçlar 6 Niceleyiciler 7 Problem çözme 8 Niceleyicileri İçeren Denklikler 9 Kümelerde Daha Fazla İşlemler 10 İspat Stratejileri 11 Olumsuzlama ve Koşul İçeren İspatlar

Ders İçin Önerilen Kaynaklar

Kaynak: Daniel J. Velleman - How To Prove It - A Structured Approach, 3rd Ed., Cambridge Unv. Press, 2019.

Öğrenme ve Öğretme Yöntemleri

Sunum İnteraktif anlatım Soru-cevap tekniği Sınavlar

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL 1 VZ Vize 2 Q Quiz 3 FN Final 4 BNS BNS VZ * 0.30 + OD * 0.30 + FN * 0.40 5 BUT Bütünleme Notu 6 BBN Bütünleme Sonu Başarı Notu VZ * 0.30 + OD * 0.30 + BUT * 0.40

Değerlendirme Yöntemlerine İliskin Aciklamalar

2 Quiz Ara sınav Final

Değerlendirme Kriteri

Ara sınav, sunum ve ödev soruları öğrenme çıktılarında beyan edilen söz konusu ilişkilendirmelerin yapılıp yapılamadığını ölçer nitelikte olmalıdır.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

İlan edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

salahattin.ozdemir@deu.edu.tr Tel: +90 232 301 8608 Ofis: Fen Fak. Mat. Böl. B 351/1

Ders Öğretim Üyesi Görüşme Gün ve Saatleri

İlan edilecektir.

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat) Ders Anlatımı 14 2 28 Haftalık Ders öncesi/sonrası hazırlıklar 14 1 14 Diğer Kısa Sınavlara Hazırlık 2 2 4 Vize Sınavına Hazırlık 1 3 3 Final Sınavına Hazırlık 1 5 5 Diğer Kısa Sınav 2 1 2 Vize Sınavı 1 2 2 Final Sınavı 1 2 2 TOPLAM İŞ YÜKÜ (saat) 60

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖK PK.1 PK.2 PK.3 PK.4 PK.5 PK.6 PK.7 PK.8 PK.9 PK.10 PK.11 PK.12 PK.13 PK.14 PK.15 PK.16 PK.17 ÖK.1 3 ÖK.2 2 ÖK.3 2 ÖK.4 2 ÖK.5 2 ÖK.6 2