Dersi Veren Fakülte \ Bölüm
Mühendislik Fakültesi \ Bilgisayar Mühendisliği
Kredi
AKTS
Ders Türü
Öğretim Dili
Bilgisayar Mühendisliği
Yapay Zeka Mühendisliği
Mantık temelleri, önermeli mantık, birinci derece mantık, mantıksal çıkarım, ispat yöntemleri, küme kuramı, tümevarım ve özyineleme, sayılar teorisi, modüler aritmetik, bağıntılar ve fonksiyonlar.
Ders Kitapları ve/veya Kaynaklar
1. Ayrık Matematik ve Uygulamaları, Discrete Mathematics and its applications 7. Baskıdan çeviri.: Ömer Akın, Murat Özbayoğlu, Palme Yayıncılık, 2015
2. Discrete Mathematics and its applications, 5th, 6th veya 7th ed.: Kenneth H.Rosen, McGraw Hill, 2011
3. Logic in Computer Science Modelling and Reasoning about Systems, Michael Huth, Mark Ryan (Chapter 1-Chapter 2.1-2.3)
Mantık ve mantıksal çıkarım temellerini öğrenmek, kümeler ve fonksiyonlarla ilgili temelleri öğrenmek, matematiksel sebep-sonuç ilişkisi, tümevarım temellerini öğrenmek, bağıntılar ve özellikleri temellerini öğrenmek, sayma problemlerini incelemek.
1. Mantık ve mantıksal çıkarım temellerini öğrenir.
2. Matematiksel düşünceyi, sebep-sonuç ilişkisi oluşturmayı, tümevarım temellerini öğrenir.
3. Küme kuramı, fonksiyonlar, sayılar teorisi, ve bağıntı temellerini ve özelliklerini öğrenir.
1. Hafta: Küme teorisi temelleri
2. Hafta: Mantık temelleri
3. Hafta: Önermeli mantık
4. Hafta: Yüklemli mantık
5. Hafta: Mantıksal çıkarım
6. Hafta: İspat teknikleri
7. Hafta: Fonksiyonlar, tümevarım
8. Hafta: Tümevarım, kuvvetli tümevarım
9. Hafta: Sayılar teorisine giriş, modüler aritmetik
10. Hafta: Güvercin yuvası ilkesi
11. Hafta: Bağıntılar
12. Hafta: Özyinelemeli bağıntılar
| Referans Değerlendirme Ölçütleri |
| Etkinlikler |
Sayısı |
Katkı Payı (%) |
| Derse Devam / Katılım |
- |
- |
| Laboratuvar |
- |
- |
| Uygulama |
- |
- |
| Ödev |
2 |
%10 |
| Proje |
- |
- |
| Sunum / Sözlü Sınav |
- |
- |
| Alan Çalışması |
- |
- |
| Staj |
- |
- |
| Kurul |
- |
- |
| Kısa Sınav (Quiz) |
- |
- |
| Ara Sınav |
1 |
%40 |
| Final |
1 |
%60 |
|
Toplam |
%110 |
| Referans AKTS-İş Yükü Tablosu |
| Etkinlikler |
Sayısı/Hafta |
Süresi (Saat) |
İş Yükü |
| Ders Süresi (ilk 6 hafta) |
6 |
4 |
24 |
| Ders Süresi (son 6 hafta) |
6 |
4 |
24 |
| Laboratuvar |
- |
- |
- |
| Uygulama |
- |
- |
- |
| Ödev |
2 |
15 |
30 |
| Proje |
- |
- |
- |
| Sunum / Sözlü Sınav |
- |
- |
- |
| Alan Çalışması |
- |
- |
- |
| Staj |
- |
- |
- |
| Kurul |
- |
- |
- |
| Kısa Sınav (Quiz) Hazırlık |
- |
- |
- |
| Ara Sınav Hazırlık |
1 |
25 |
25 |
| Final |
1 |
3 |
3 |
| Final Hazırlık |
1 |
35 |
35 |
| Sınıf Dışı Ders Çalışma Süresi (Ön Çalışma, Pekiştirme vb.) |
12 |
2 |
24 |
| Toplam İş Yükü | | |
165 |
| Toplam İş Yükü / 30 | | |
165 / 30 |
| | |
|
| Dersin AKTS Kredisi | | |
6 |
|
Program Çıktısı
**
|
| 1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
|
Ders Çıktısı
|
|---|
| 1 |
|
|
|
|
|
|
|
|
|
|
|
| 2 |
|
|
|
|
|
|
|
|
|
|
|
| 3 |
|
|
|
|
|
|
|
|
|
|
|