Anasayfa  »  Fen Bilimleri Enstitüsü »  Bilgisayar Mühendisliği Tezsiz Yüksek Lisans Programı

DERS ADIDERS KODUYARIYILTEORİ1 + UYGULAMA (Saat)AKTS
OTOMATA TEORİSİ BİL565 Program Ders Listesi-Program Ders Listesi-Program Ders Listesi-Program Ders Listesi---- 3 + 0 10

DERSİN TÜRÜSeçmeli
DERSİN DÜZEYİTezsiz Yüksek Lisans
DERSİN YILI-
YARIYILProgram Ders Listesi-Program Ders Listesi-Program Ders Listesi-Program Ders Listesi----
AKTS10
ÖĞRETİM ELEMAN(LAR)IProfesör Doktor Nizami Gasilov
DERSİN ÖĞRENME KAZANIMLARI Bu dersin sonunda öğrenciler;
1) Otomata Teorisinde sonlu durum makinaları, aşağı itmeli makinalar ve Turing makinaları; Biçimsel Dillerde ise, düzenli, içerikten bağımsız ve deyim yapılı diller gibi temel kavramları öğrenmiş olur.
2) Hesaplama sürecinin soyut modellerini anlayacaklar ve onların güçlerinin limitleri hakkında fikir yürütür.
3) Soyut hesaplama makinalarına dayanarak; çözülebilir ve çözülemez problemler, etkili çözülebilir ve çözülemeyen problemler üzerine düşünme yeteneği kazanır.
4) Biçimsel modellerin, Bilgisayar Mühendisliğinin ve Bilgisayar Bilimlerinin farklı alanlarındaki önemini anlar.
DERSİN VERİLİŞ BİÇİMİYüz Yüze
DERSİN ÖNKOŞULLARIYok
ÖNERİLEN DERSLERYok
DERS İÇERİĞİ
HAFTAKONULAR
1. Hafta Otomata Teorisine Giriş: Problemler ve Uygulamaları.
2. Hafta Temel Matematiksel Kavramlar ve Yöntemler./Alfabeler, Satırlar, Diller, Problemler.
3. Hafta Deterministik Sonlu Durum Makinaları. /Deterministik olmayan Sonlu Durum Makinaları.
4. Hafta Düzenli İfadeler ve diller, Uygulamaları. /Düzenli dillerin özellikleri.
5. Hafta Biçimsel Gramerler.
6. Hafta Backus-Naur Formu. LR Gramerler.
7. Hafta İçerikten bağımsız diller./Aşağı itmeli otomata.
8. Hafta Ara-sınav
9. Hafta İçerikten bağımsız dillerin özellikleri.
10. Hafta Chomsky Normal Formu./Turing Makinaları.
11. Hafta Turing Makinalarının Problem Çözümünde Kullanımı./Fonksiyonların hesaplanması.
12. Hafta Hesaplanamayan fonksiyonlar./Çözülemeyen karar problemleri.
13. Hafta Kararsızlık ve Çözümsüzlük./Bilişimsel karmaşıklık.
14. Hafta Yönetimi Güç Problemler./Hücresel Otomata.
ZORUNLU YA DA ÖNERİLEN KAYNAKLAR1. Sudkamp, T.A. (2005) Languages and Machines: an Introduction to the Theory of Computer Science /3E, Addison Wesley.
2. Hopcroft, J.E., Motwani, R., Ullman, J.D. (2006) Introduction to Automata Theory, Languages and Computation /3E, Addison Wesley.
3. Kelley, D. (1995) Automata and Formal Languages: an Introduction, Prentice Hall.
ÖĞRETİM YÖNTEM VE TEKNİKLERİAnlatım,Soru-Cevap,Sunum,Deney,Eğitim-Uygulama,Sorun/Problem Çözme,Proje,Rapor Hazırlama
DEĞERLENDİRME YÖNTEMİ VE GEÇME KRİTERLERİ
 SayısıToplam Katkısı(%)
Ara Sınav130
Ödev115
Mini-Sınav115
Toplam(%)60
Yıl İçinin Başarıya Oranı(%)60
Finalin Başarıya Oranı(%)40
Toplam(%)100
DİLTürkçe
STAJ / UYGULAMAYok
  

PROGRAM YETERLİLİKLERİ (P) / DERSİN ÖĞRENME KAZANIMLARI (Ö) MATRİSİ
Ö1Ö2Ö3Ö4
P1  X   X   X  
P2    X     X
P3    X   X  
P4      X  
P5      X  
P6    X   X  
P7      X  
P8    X   X  
P9  X     X  
P10      X  
P11      X  
P12      X