| Dersin Adı | Dersin Kodu | Dersin Türü | Dersin Düzeyi | Dersin Yılı | Dersin Verildiği Dönem | AKTS Kredisi |
|---|---|---|---|---|---|---|
| Otomata Teorisi | BLM302 | Zorunlu | Lisans | 3 | Bahar | 4 |
Öğretim Elemanı Adı
Prof. Dr. Ahmet SAYAR
Doç. Dr. Pınar ONAY DURDU
Öğr. Gör. Onur GÖK
Dersin Öğrenme Kazanımları
1) Yazılım ve donanım sistemlerinin özünü oluşturan bilgisayar kuramının önemini açıklar.
2) Bilgisayar kuramının temel modellerinin bilgisayar bilimlerindeki somut uygulamalarını tanımlar.
3) Sayısal mantık tasarımı konusunda yer alan ardışık devrelerin kuramsal tabanını tanımlar.
4) Soyut düşünme yeteneğini yansıtır
5) Kavramları ve çözümleri biçimsel olarak ifade eder
Program Yeterliliği İlişkisi
| Program Yeterlilikleri | |||||||||||||
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | ||
| Öğrenme Kazanımları | |||||||||||||
| 1 | Yüksek | Orta | Orta | ||||||||||
| 2 | Yüksek | ||||||||||||
| 3 | Yüksek | Yüksek | Yüksek | ||||||||||
| 4 | Yüksek | Orta | Yüksek | ||||||||||
| 5 | Yüksek | Yüksek | |||||||||||
Eğitim Şekli
Yüz Yüze
Ön Koşullar, Diğer Koşullar
Yok
Önerilen Destekleyici Dersler
YOK
Dersin İçeriği
Matematiksel kavramlar, alfabeler ve diller, düzenli diller ve sonlu otomat, İçerikten bağımsız dillerin özellikleri, Push down otomat,Turing makinelerine giriş, Gramerler ve otomatlar arası örtüşmeler, Karar verilemeyen problemler, Zor problemler
Haftalık Ders İzlencesi
1) İlgili matematiksel kavramlar2) Alfabeler ve diller
3) Deterministik Sonlu Durum Makinesi
4) Deterministik olmaya sonlu otomatlar
5) Düzgün Deyim
6) Düzgün Deyim
7) Yığınlı Otamat
8) Ara sınav/Değerlendirme
9) PDA
10) Turing makinelerine giriş
11) Turing makinelerine giriş
12) Turing Makinesi
13) Turing Makinesi
14) Turing
15) Turing
16) Final
Önerilen/İstenen Ders Kaynakları
1- J. Hopcroft, R. Motwani, J. Ullman. Introduction Automata Theory, Languages and Computation. Addison-Wesley.
2- Lewis, H.R and Papadimitriou, C.H. Elements of the Theory of Computation (2nd ed.), Prentice-Hall, 1998.
3- Peter Linz. An Introduction to Formal Languages and Automata. Jones and Barlett Publishers.
4- Arto Salomaa. Computation and Automata. Cambridge University Press.
5- Hartley Rogers, Jr. Theory of Recursive Functions and Effective Computability. The MIT Press.
Planlanan Öğrenim Faaliyetleri Ve Eğitim Yöntemi
1) Anlatım
2) Benzetim
3) Örnek Olay
4) Problem Çözme
5) Proje Temelli Öğrenme
Değerlendirme Yöntemi ve Ölçütleri
Ara Sınav Notunun Başarıya Oranı |
50% |
|---|---|
Yarıyıl Sonu Sınavının Başarıya Oranı |
50% |
Toplam |
100% |
Dersin Eğitim Dili
Türkçe
Mesleki Uygulama
İstenmemekte