|
Dersin Dili
|
İngilizce
|
|
Dersin Düzeyi
|
Lisans
|
|
Bölümü / Programı
|
BİLGİSAYAR MÜHENDİSLİĞİ
|
|
Öğrenim Türü
|
Örgün Öğretim
|
|
Dersin Türü
|
Seçmeli
|
|
Dersin Öğretim Şekli
|
Yüz Yüze
|
|
Dersin Amacı
|
Bu dersin amacı çağdaş hesaplama kuramı altında yatan teoriyi öğrencilere tanıtmak.
|
|
Dersin İçeriği
|
Giriş ve temel tanımlar, soyut otomatlar, sonlu durum makinelerinin kavramı; "Push-down" otomat, "Turing" makinesi, simgesel diller, bağlam bağımsız diller, otomat, diller ve dilbilgisi arasındaki ilişki, hesaplanabilirlik ve çözülebilirlik, bazı uygulamlar.
|
|
Dersin Yöntem ve Teknikleri
|
|
|
Ön Koşulları
|
Yok
|
|
Dersin Koordinatörü
|
Doç.Dr. AHMET HASAN KOLTUKSUZ
|
|
Dersi Verenler
|
Prof. Dr. AHMET HASAN KOLTUKSUZ
|
|
Dersin Yardımcıları
|
Yok
|
|
Dersin Staj Durumu
|
Yok
|
Ders Kaynakları
|
Kaynaklar
|
Peter Linz, An Introduction to Formal Languages and Automata, 5th ed., Jones & Bartlett, 2011.ISBN-10: 9781449615529 ISBN-13: 978-1449615529 ASIN: 144961552X
|
Ders Yapısı
|
Matematik ve Temel Bilimler
|
%40
|
|
|
Mühendislik Bilimleri
|
%40
|
|
|
Mühendislik Tasarımı
|
%20
|
|
|