Otomatlar ve Diller Teorisi(INF323)
| Ders Kodu | Dersin Adı | Yarıyıl | Teori | Uygulama | Lab | Kredisi | AKTS |
|---|---|---|---|---|---|---|---|
| INF323 | Otomatlar ve Diller Teorisi | 6 | 3 | 0 | 0 | 3 | 4 |
| Ön Koşul | |
| Derse Kabul Koşulları |
| Dersin Dili | Fransızca |
| Türü | Zorunlu |
| Dersin Düzeyi | Lisans |
| Dersi Veren(ler) | Özgün PINARER opinarer@gsu.edu.tr (Email) |
| Dersin Yardımcıları | Eda BAHAR (Email) |
| Dersin Amacı | Bu ders, öğrencilere diller kuramına ve otomatlara ait temel bilgilerin aktarılmasını hedefler. Bu bağlamda, ders içeriğinde biçimsel diller, gramerler, düzenli ifadeler ve otomatlar ele alınmaktadır. Sentaks analizi ve gramer çözümleme, sonlu durum makine kavramları ve kullanılan yöntemler üzerine detaylı bilgi verilmektedir. Derste ayrıca hesaplanabilirlik, karar alma ve karmaşıklık kuramı hakkında öğrencilere temel bilgiler verilmesi de hedeflenmektedir. |
| İçerik |
Formel Diller Dilbilgisi, Chomsky Dilbilgisi Dilbilgisi ve otomatlar Düzgün ifadeler Kararlı sonlu otomatlar (AFD) Belirsiz otomatlar (AFN) Ara sınav Epsilon geçişli otomatlar (EPS) Denklik ve AFD, AFN, AFN-EPS AFD'nin basitleştirilmesi "Lemme de la pompe" otomatı Düzenli dillerin özellikleri Karar verme ve hesaplama mekanizmaları |
| Dersin Öğrenme Çıktıları |
Bu dersi başarılı ile tamamlayan öğrenciler, 1. Formal dilleri, sonlu durum makinelerini, deterministik ve belirsiz otomatları, düzgün ifadeleri hatırlayabilime ve açıklayabilme becerisi, 2. Bilgisayar mühendisliği kapsamında karşılan problemlere sonlu durum makine modelini uygulayabilme yeteneği, 3. Düzenli ifadeleri ve bu ifadelerden elde edilen gramerleri tanıma yetisi, 4. Karar verme mekanizması modelleyebilme becerisi, edineceklerdir. |
| Öğretim Yöntemleri |
Sunumlar Yüz yüze öğretim Pratik yapma |
| Kaynaklar |
1. Sipser, Michael. Introduction to the Theory of Computation. Vol. 2. Boston: Thomson Course Technology, 2006. 2. Linz, Peter. An introduction to formal languages and automata. Jones & Bartlett Publishers, 2011. 3. Martin, John C. Introduction to Languages and the Theory of Computation. Vol. 4. NY, USA: McGraw-Hill, 1991. 4. Jussien, Narendra. Logique (s), langages formels et complexité pour l'informatique. Hermes Sciences, 2006. |
Teori Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Uygulama Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Başarı Notuna Etki Oranları
| Sayı | Katkı Payı | |
|---|---|---|
| Toplam | 0 | 0 |
Yarıyıl İçi Çalışmaları
| Sayı | Katkı Payı | |
|---|---|---|
| Toplam | 0 | 0 |
| Numara | Program Yeterlilikleri | Puan | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | Matematik, fizik ve mühendislik bilimlerine özgü konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, mühendislik problemlerinin modellenmesi ve çözümünde kullanabilme becerisi. | |||||
| 2 | Karmaşık bilgisayar mühendisliği problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analiz ve modelleme yöntemlerini seçme ve uygulama becerisi. | X | ||||
| 3 | Yazılımsal veya donanımsal karmaşık bir sistemi, süreci veya donanımı gerçekçi kısıtlar ve koşullar altında, belirli gereksinimleri karşılayacak şekilde tasarlama becerisi; bu amaçla modern tasarım yöntemlerini uygulama becerisi. | |||||
| 4 | Mühendislik uygulamalarında karşılaşılan karmaşık problemlerin analizi ve çözümü için gerekli olan modern teknik ve araçları geliştirme, seçme ve kullanma becerisi; bilişim teknolojilerini etkin bir şekilde kullanma becerisi. | X | ||||
| 5 | Analitik düşünce ile bir sistemi, sistem bileşenini ya da süreci analiz etme, modelleme, deney tasarlama ve yapma, veri toplama, çözüm algoritmaları üretebilme, uygulamaya alma ve geliştirme becerileri. | |||||
| 6 | Disiplin içi ve çok disiplinli takımlarda etkin biçimde çalışabilme becerisi; bireysel çalışma becerisi. | |||||
| 7 | Türkçe sözlü ve yazılı etkin iletişim kurma becerisi; en az iki yabancı dil bilgisi; etkin rapor yazma ve yazılı raporları anlama, yazılım ve donanım tasarımını, gerekirse teknik resim metotları kullanarak raporlayabilme, etkin sunum yapabilme becerisi. | |||||
| 8 | Bilgiye erişebilme ve bu amaçla kaynak araştırması yapabilme, veri tabanları ve diğer bilgi kaynaklarını kullanabilme becerisi | |||||
| 9 | Yaşam boyu öğrenmenin gerekliliği bilinci; kendini sürekli yenileme becerisi. | |||||
| 10 | Mesleki etik ilkelerine uygun davranma, mesleki sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi. | |||||
| 11 | Proje yönetimi, risk yönetimi ve değişiklik yönetimi gibi, iş hayatındaki uygulamalar hakkında bilgi; girişimcilik, yenilikçilik hakkında farkındalık; sürdürülebilir kalkınma hakkında bilgi. | |||||
| Etkinlikler | Sayı | Süre | Toplam İş Yükü |
|---|---|---|---|
| Toplam İş Yükü | 0 | ||
| Toplam İş Yükü / 25 | 0.00 | ||
| Dersin AKTS Kredisi | 0 | ||