Dokuz Eylül Üniversitesi Ders Katoloğu / Bilgi Paketi

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