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
Bu ders, öğrencilere bilgisayar biliminin matematiksel temellerini tanıtmayı amaçlamaktadır. Önermesel ve yüklemsel mantık dizilerine biçimsel kanıtlama teknikleri aracılığıyla tümdengelimli akıl yürütmeye felsefi ve teknik bir giriş sağlar. Öğrencilere yinelemeli düşünme, kesin yinelemeleri çözme ve toplamları değerlendirme konusunda eğitim verilir. Hesaplama teorisi ve algoritma analizine kısa bir giriş sağlanır.
Ders Kitapları ve/veya Kaynaklar
Logic in Computer Science Modelling and Reasoning About Systems. By Michael R A Huth and Mark D Ryan. Cambridge University Press.
Concrete Mathematics a Foundation for Computer Science. By Graham, Knuth and Patashnik. Addison-Wesley Publishing Company.
Introduction to Algorithms. Third Edition. By Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein. McGraw-Hill.
Önerme ve yüklem mantığında formal akıl yürütme
Tekrarlı düşünme ve matematiksel tümevarım kanıtları yapabilme
Çeşitli tekrarlama çözme ve toplama değerlendirme tekniklerini öğrenme
Temel algoritmalar tasarlama, zaman ve mekan karmaşıklığı analizi ve doğruluk kanıtları yapabilme
1. Doğal çıkarım kurallarını kullanarak önermesel mantık dizilerini kanıtlama
2. Doğal çıkarım kurallarını kullanarak yüklemsel mantık dizilerini kanıtlama
3. Tekrarlama ilişkilerini formüle etme ve çözme
4. Toplamları formüle etme ve çözme
5. Algoritmaların zaman ve uzay karmaşıklığı üzerinde asimptotik üst, alt ve sıkı sınırlar vermek için büyük O, omega ve teta gösterimini kullanma
6. Sıralama ve arama içeren problemleri çözme
1. Hafta: Önermesel mantık
2. Hafta: Önermesel mantık
3. Hafta: Önermesel mantık
4. Hafta: Yüklemsel mantık
5. Hafta: Yüklemsel mantık
6. Hafta: Algoritmalara ve zaman karmaşıklığı analizine giriş
7. Hafta: Asimptotik analiz, asimptotik yineleme ilişkilerini çözme
8. Hafta: Sıralama ve arama, yığın algoritmaları
9. Hafta: Ayrık matematik: Yinelemeleri çözme
10. Hafta: Yinelemeleri çözme
11. Hafta: Toplamları çözme
12. Hafta: Toplamları çözme
Referans Değerlendime Ölçütleri
Ara Sınav %40
Final %40
Quiz %10
Ödev %10
|
Program Çıktısı
*
|
| 1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
|
Ders Çıktısı
|
|---|
| 1 |
A, C
|
|
|
|
|
C
|
|
|
|
|
|
| 2 |
A, C
|
|
|
|
|
C
|
|
|
|
|
|
| 3 |
A, C, D
|
|
|
|
|
C
|
|
|
|
|
|
| 4 |
A, C
|
|
|
|
|
C
|
|
|
|
|
|
| 5 |
C
|
|
|
|
|
C
|
|
|
|
|
|
| 6 |
C
|
|
|
|
|
C
|
|
|
|
|
|