Genel Bilgi
| Birim | MÜHENDİSLİK FAKÜLTESİ |
| BİLGİSAYAR MÜHENDİSLİĞİ PR. (İNGİLİZCE) | |
| Kod | CEN343 |
| Ad | Theory of Computation |
| Dönem | 2018-2019 Eğitim-Öğretim Yılı |
| Yarıyıl | 5. Yarıyıl |
| Süre (T+U) | 3-0 (T-U) (17 Hafta) |
| AKTS | 5 AKTS |
| Yerel Kredi | 3 Yerel Kredi |
| Eğitim Dil | İngilizce |
| Seviye | Lisans Dersi |
| Tür | Normal |
| Etiket | Z Zorunlu |
| Öğretim Şekli | Yüz Yüze Öğretim |
| Bilgi Paketi Koordinatörü | Prof. Dr. UMUT ORHAN |
| Dersin Öğretim Elemanı |
Prof. Dr. UMUT ORHAN
(Güz)
(A Grubu)
(Sor. Öğr. Ele.)
|
Dersin Amacı / Hedefi
Bu derste temel amaç, dil sınıflarını gramer ve otomata açısından tanımlamaktır.
Dersin İçeriği
Chomsky hiyerarşisi, Düzenli diller, İçerikten bağımsız diller, Turing makineleri, Karar-verilebilirlik, P ve NP dilleri, NP-complete diller
Dersin Ön Koşulu
Kaynaklar
Notlar
Dersin Öğrenme Çıktıları
| Sıra | Dersin Öğrenme Çıktıları |
|---|---|
| ÖÇ01 | Chomsky hiyerarşisini bilir |
| ÖÇ02 | Düzenli dilleri bilir |
| ÖÇ03 | İçerikten bağımsız dilleri bilir |
| ÖÇ04 | Turing makinelerini bilir |
| ÖÇ05 | Karar-verilebilirliği bilir |
| ÖÇ06 | P, NP ve NP-complete dilleri bilir |
Program Öğrenme Çıktıları ile İlişkisi
| Sıra | Tür | Program Öğrenme Çıktıları | Duzey |
|---|---|---|---|
| PÖÇ01 | - | Matematik, fen bilimleri ve bilgisayarla ilgili mühendislik konularında yeterli altyapıya sahip olma; bu alanlardaki kuramsal bilgileri beraber kullanabilme | 4 |
| PÖÇ02 | - | Mühendislik problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analitik yöntemler ve modelleme tekniklerini seçme ve uygulama, | 4 |
| PÖÇ03 | - | Bir sistemi, sistem bileşenini ya da süreci analiz etme ve istenen gereksinimleri karşılamak üzere gerçekçi kısıtlar altında tasarlama becerisi; bu doğrultuda modern tasarım yöntemlerini uygulama becerisi, | 3 |
| PÖÇ04 | - | Mühendislik uygulamaları için gerekli olan modern teknik ve araçlar ile ve bilişim teknolojilerini etkin kullanma becerisi | 3 |
| PÖÇ05 | - | Deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi, | 1 |
| PÖÇ06 | - | Bireysel olarak ve çok disiplinli takımlarda etkin çalışabilme becerisi, sorumluluk alma ve özgüven | 2 |
| PÖÇ07 | - | Bilgiye erişebilme, kaynak araştırması yapabilme ve bilgi kaynaklarını kullanabilme becerisi | 2 |
| PÖÇ08 | - | Yaşam boyu öğrenmenin gerekliliği bilinci; bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi, | 3 |
| PÖÇ09 | - | Sözlü ve yazılı etkin iletişim kurma, ve en az bir yabancı dilde teknik yayın okuyup anlayabilme becerisi, | 3 |
| PÖÇ10 | - | Mesleki ve etik sorumluluk bilinci, | 2 |
| PÖÇ11 | - | Proje yönetimi, işyeri uygulamaları, çalışanların sağlığı, çevre ve iş güvenliği, ve mühendislik uygulamalarının hukuksal sonuçları hakkında farkındalık, | 0 |
| PÖÇ12 | - | Mühendislik çözümlerinin ve uygulamalarının evrensel ve toplumsal boyutlardaki etkiler, girişimcilik ve yenilikçilik, ve çağın sorunları hakkında bilgi sahibi olmak | 1 |
Haftalık Akış
| Hafta | Konu | Ön Hazırlık | Yöntemler |
|---|---|---|---|
| 1 | Kesikli matematiksel yapılar tekrarı | Ders notunun ilgili bölümünü incelemek | |
| 2 | Deterministik sonlu otomata (DFA) ve Deterministik olmayan sonlu otomata (NFA) | Ders notunun ilgili bölümünü incelemek | |
| 3 | DFAdan NFAya dönüşüm, Düzenli ifadeler | Ders notunun ilgili bölümünü incelemek | |
| 4 | DFA'dan düzenli ifadeye dönüşüm, Düzenli diller için Pumping Lemma | Ders notunun ilgili bölümünü incelemek | |
| 5 | İçerik bağımsız gramerler, Chomsky normalizasyonu | Ders notunun ilgili bölümünü incelemek | |
| 6 | Push-Down otomata | Ders notunun ilgili bölümünü incelemek | |
| 7 | İçerik-bağımsız diller için Pumping Lemma | Ders notunun ilgili bölümünü incelemek | |
| 8 | Arasınav | Ders notları ve uygulamalara hazırlanmak | |
| 9 | Turing makineleri, Church-Turing tezi | Ders notunun ilgili bölümünü incelemek | |
| 10 | Deterministik olmayan Turing makineleri | Ders notunun ilgili bölümünü incelemek | |
| 11 | Karar-verilebilir ve Karar-verilemez diller | Ders notunun ilgili bölümünü incelemek | |
| 12 | Sayılabilirlik ve Sayılabilir diller | Ders notunun ilgili bölümünü incelemek | |
| 13 | Karmaşıklık Teorisine giriş, P ve NP sınıfları | Ders notunun ilgili bölümünü incelemek | |
| 14 | Deterministik olmayan algoritmalar, NP-bütün diller | Ders notunun ilgili bölümünü incelemek | |
| 15 | Final sınavı için tekrar | Ders notunun ilgili bölümünü incelemek | |
| 16 | Final Sınavı | Ders notları ve uygulamalara hazırlanmak | |
| 17 | Final Sınavı | Ders notları ve uygulamalara hazırlanmak |
Değerlendirme (Sınav) Yöntemleri ve Kriterleri
| Değerlendirme Türü | Yarıyıl İçi / Yıl İçi Etkisi | Yarıyıl Sonu / Yıl Sonu Etkisi |
|---|---|---|
| 1. Ara Sınav | 100 | 40 |
| Genel Değerlendirme | ||
| Yarıyıl İçi / Yıl İçi Toplam | 100 | 40 |
| 1. Yıl Sonu Sınavı | - | 60 |
| Genel Toplam | - | 100 |
Öğrenci İş Yükü - AKTS
| Çalışmalar | Sayısı | Süresi (Saat) | İş Yükü (Saat) |
|---|---|---|---|
| Ders ile İlgili Çalışmalar | |||
| Ders (Sınav haftaları dahil değildir) | 14 | 3 | 42 |
| Sınıf Dışı Ders Çalışma (Ön çalışma, pekiştirme) | 14 | 3 | 42 |
| Değerlendirmeler ile İlgili Çalışmalar | |||
| Ödev, Proje, Diğer | 0 | 0 | 0 |
| Ara Sınavlar (Yazılı, Sözlü, vs.) | 1 | 12 | 12 |
| Yarıyıl/Yıl Sonu/Final Sınavı | 1 | 18 | 18 |
| Toplam İş Yükü (Saat) | 114 | ||
| Toplam İş Yükü / 25 (s) | 4,56 | ||
| AKTS | 5 AKTS | ||