|
Hafta
|
Konular
|
Ön Hazırlık
|
|
1
|
Giriş, Kanıt Yöntemleri
|
K1-Bölüm-1
|
|
2
|
Sonlu Otomatlar
|
K1-Bölüm-2
|
|
3
|
Düzenli İfadeler
|
K1-Bölüm-2
|
|
4
|
Düzenli Dillerin Özellikleri
|
K1-Bölüm-2
|
|
5
|
Düzenli Dillerin Karar Özellikleri
|
K1-Bölüm-3
|
|
6
|
Bağlamdan Bağımsız Gramerler ve Belirsizlik
|
K1-Bölüm-3
|
|
7
|
İtmeli Otomatlar
|
K1-Bölüm-3
|
|
8
|
İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği
|
K1-Bölüm-4
|
|
9
|
Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler
|
K1-Bölüm-4
|
|
10
|
Bağlamdan Bağımsız Gramerlerin Kapalılık Özellikleri
|
K1-Bölüm-4
|
|
11
|
Turing Makinaları ve Karmaşıklık
|
K1-Bölüm-4
|
|
12
|
Farklı Turing Makine Modelleri
|
K1-Bölüm-5
|
|
13
|
Karar Verilen ve Verilemeyen Problemler
|
K1-Bölüm-5,6
|
|
14
|
NP-Tam Problemler
|
K1-Bölüm-6
|
|
Ön Koşul
|
-
|
|
Ders Dili
|
Türkçe
|
|
Dersin Sorumlusu
|
Dr. Öğr. Üyesi Fuat TÜRK
|
|
Dersi Verenler
|
-
|
|
Ders Yardımcıları
|
-
|
|
Kaynaklar
|
1. Automata Theory, Languages and Computation, by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. (Pearson 3rd Edition). 2.M. Sipser 2005, Introduction to the Theory of Computation, PWS Publ.3.Hopcroft J.E., Motwani R., Ullman J.D., Introduction to Automata Theory, Languages and Computation, 3/E, Addison Wesley, 2006.
|
|
Yardımcı Kitap
|
-
|
|
Dersin Amacı
|
Kesikli hesap işlemlerini yapan sistemlerin tasarlanıp analiz edilmesi için gerekli teorik bilgilerin sağlanmasıdır.
|
|
Dersin İçeriği
|
Giriş, Kanıt Yöntemleri, Sonlu Otomatlar, Düzenli İfadeler, Düzenli Dillerin Özellikleri, Düzenli Dillerin Karar Özellikleri, Bağlamdan Bağımsız Gramerler ve Belirsizlik, İtmeli Otomatlar, İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği, Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler, Bağlamdan Bağımsız Gramerlerin Kapalılık Özellikleri, Turing Makinaları ve Karmaşıklık, Farklı Turing Makine Modelleri, Karar Verilen ve Verilemeyen Problemler, NP-Tam Problemler
|
|
Program Yeterlilik Çıktıları |
Katkı Düzeyi |
|
1
|
Matematik, Fen bilimleri ve Mühendislik alanında edinilen bilgilerin Bilgisayar Mühendisliği problemlerinin çözümü ve modellenmesine yönelik kullanımı becerisi
|
5
|
|
2
|
Mühendislik problemlerini tanımlama, modelleme ve uygun analiz yöntemlerini seçip uygulayarak çözme becerisi
|
4
|
|
3
|
Mühendislik araştırmaları kapsamında deney tasarlama, uygulama ve elde edilen verileri analiz ederek yorumlayabilme becerisi
|
3
|
|
4
|
Belirli bir amaca yönelik bir sistem, sistem parçası ya da prosesi, mevcut ekonomik ve teknik imkanlar dahilinde tasarlayabilme becerisi
|
5
|
|
5
|
Modern mühendislik tekniklerinden ve bilişim teknolojilerinden etkin şekilde faydalanabilme becerisi
|
4
|
|
6
|
Mesleki ve etik sorumluluk bilinci edinme
|
-
|
|
7
|
Bireysel veya disiplin içi/disiplinler arası takımlarda çalışabilme yeteneği
|
-
|
|
8
|
Etkin sözlü ve yazılı iletişim kurma becerisi
|
-
|
|
9
|
Yaşam boyu öğrenme bilinci edinme ve bu kapsamda bilim ve teknolojideki gelişmeleri takip ederek kendini sürekli yenileme becerisi
|
-
|
|
10
|
İş hayatı, sağlık, güvenlik ve çevre bilinci edinme
|
-
|
|
11
|
Girişimcilik, yenilikçilik ve çağın sorunları hakkında bilgi sahibi olmak
|
-
|