DERS ADI

: İspat Teknikleri

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS
FPE 0060 İ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
Kimya
Bilgisayar Bilimleri
İstatistik
Matematik
Fizik
Fen Fakültesi

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 Varlık ve Teklik Teoremleri Quiz-2
3 Değişkenler ve Kümeler Daha Fazla İspat Örnekleri
4 Kümelerde İşlemler Quiz-1
5 Koşullu ve İki Koşullu Bağlaçlar
6 Niceleyiciler
7 Niceleyicileri İçeren Denklikler
8 Kümelerde Daha Fazla İşlemler Ara Sınav
9 İspat Stratejileri
10 Olumsuzlama ve Koşul İçeren İspatlar
11 Niceleyiciler İçeren İspatlar

Ders İçin Önerilen Kaynaklar

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

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


*** Bütünleme Sınavı Yapılmayan Birimlerde Bütünleme Kriteri Dikkate Alınmaz.

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

ilan edilecek

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

ilan edilecek

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.1555
ÖK.2535
ÖK.323
ÖK.455
ÖK.5555
ÖK.65245