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

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
BİL 1005	AYRIK MATEMATİK VE MANTIK	ZORUNLU	4	0	0	6

Dersi Veren Birim

Bilgisayar Bilimleri

Dersin Düzeyi

Lisans

Ders Koordinatörü

DR.ÖĞR.ÜYESİ MURAT ERŞEN BERBERLER

Dersi Alan Birimler

Bilgisayar Bilimleri

Dersin Amacı

Bilgisayar bilimlerinin temelini oluşturan matematiksel ve mantıksal yapıları öğretmek.

Dersin Öğrenme Kazanımları

1	Ayrık matematik ve mantık'ın temel kavramları hakkında bilgi sahibi olabilme.
2	Ayrık matematik ve mantık problemlerini çözebilme.
3	Ayrık matematik ve mantık kavramları ile bilgisayar bilimleri problemlerini çözebilme.
4	Ayrık matematik ve mantık kavramları ile etkin algoritmalar tasarlayabilme.
5	Ayrık matematik ve mantık kavramları ile farklı disiplinlerdeki problemleri çözebilme.

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	Mantık Önermelerin denkliği Niceleyiciler
2	İspatlar Teorem ispatlama teknikleri İspatlardaki hatalar
3	Kümeler Kuvvet kümesi Kartezyen çarpım Küme işlemleri
4	Fonksiyonlar Birebir ve örten fonksiyonlar Ters fonksiyonlar ve fonksiyonların bileşkesi Fonksiyonların grafikleri Kısa sınav 1
5	Algoritmalar Arama, sıralama ve açgözlü algoritmalar Büyük-O gösterimi Algoritmaların karmaşıklığı
6	Tamsayılar ve bölme Modüler aritmetik Öklid algoritması Sayılar teorisinin uygulamaları
7	Matrisler Matris aritmetiği
8	Ara sınav
9	Tümevarım Seriler ve toplamlar
10	Özyineleme Özyinelemeli algoritmalar
11	Sayma Güvercin yuvası ilkesi Permütasyonlar ve kombinasyonlar İki terimli katsayıları
12	Ayrık olasılık Olasılık teorisi Beklenen değer ve varyans Kısa sınav 2
13	İleri sayma teknikleri Yinelemeli bağıntılar Böl ve yönet algoritmaları
14	Bağıntılar Bağıntıların gösterimi Bağıntıların kapanışı Denklik ve sıralama bağıntıları Boolean cebri Mantık kapıları Devrelerin küçültülmesi

Ders İçin Önerilen Kaynaklar

Ana kaynak: Discrete Mathematics and Its Applications, Kenneth H. Rosen, ISBN: 0072424346.
Yardımcı kaynaklar: Bilgisayar Bilimi ve Mühendisliğinde Ayrık Matematik, Rifat Çölkesen, ISBN: 975-6796-XX-X.

Öğrenme ve Öğretme Yöntemleri

Ders, anlatım, sınıf sunumu ve tartışma biçiminde öğretilecek. Öğretilen dersin yanı sıra, öğrencilere gruplar halinde sunumlar hazırlatılacak ve tartışmalı oturumlar şeklinde sundurulacaktır. Dersin bazı haftalarında, daha önce verilen ödev sonuçları tartışılarak pekiştirilecektir.

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 + Q * 0.20 + FN * 0.50
5
6

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

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

İlan Edilecektir.

Dersin Öğretim Dili

Türkçe

Derse İlişkin Politika ve Kurallar