DERS ADI

: İspat Teknikleri

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/ÖKPK.1PK.2PK.3PK.4PK.5PK.6PK.7PK.8PK.9PK.10PK.11PK.12PK.13
ÖK.143
ÖK.243
ÖK.343
ÖK.443
ÖK.543
ÖK.643