DERS BİLGİLERİ | |||||
---|---|---|---|---|---|
Ders | Kodu | Yarıyıl | Ders Süresi | Kredi | AKTS |
Theory of Computation | CEN 343 | 5 | 3 | 3 | 5 |
Ön Koşul Dersleri | |
Ders Hakkında Önerilen Diğer Hususlar | None |
Dersin Dili | İngilizce | ||||||
Dersin Seviyesi | Lisans | ||||||
Dersin Türü | Zorunlu | ||||||
Dersin Koordinatörü | Prof. Dr. Umut ORHAN | ||||||
Dersi Verenler |
|
||||||
Dersin Yardımcıları | |||||||
Dersin Amacı | 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 Öğrenme Kazanımları |
---|
1) Chomsky hiyerarşisini bilir |
2) Düzenli dilleri bilir |
3) İçerikten bağımsız dilleri bilir |
4) Turing makinelerini bilir |
5) Karar-verilebilirliği bilir |
6) P, NP ve NP-complete dilleri bilir |
7) |
8) |
9) |
10) |
11) |
12) |
13) |
14) |
15) |
DERSİN PROGRAM KAZANIMLARINA KATKISI | |||||||
---|---|---|---|---|---|---|---|
No | Temel öğrenme Kazanımları | Katkı Düzeyi | |||||
1 | 2 | 3 | 4 | 5 | |||
1 | 1. Matematik, fen bilimleri ve bilgisayarla ilgili mühendislik konularında yeterli altyapıya sahip olma; bu alanlardaki kuramsal bilgileri beraber kullanabilme |
||||||
2 | 2. Karmaşık 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 |
||||||
3 | 3. Karmaşık 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 |
||||||
4 | 4. Mühendislik uygulamaları için gerekli olan modern teknik ve araçları geliştirme, seçme ve kullanma becerisi; bilişim teknolojilerini etkin kullanma becerisi |
||||||
5 | 5. Karmaşık bilgisayar mühendisliği problemlerin çözümüne ilişkin deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi |
||||||
6 | Bireysel olarak ve disiplin içi/çok disiplinli takımlarda etkin çalışabilme becerisi, sorumluluk alma ve özgüven |
||||||
7 | Bilgiye erişebilme, kaynak araştırması yapabilme ve bilgi kaynaklarını kullanabilme becerisi |
||||||
8 | Yaşam boyu öğrenmenin gerekliliği bilinci; bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi |
||||||
9 | 9. Türkçe sözlü ve yazılı etkin iletişim kurma, ve en az bir yabancı dilde teknik yayın okuyup anlayabilme, rapor hazırlama ve sunum yapma becerisi |
||||||
10 | Mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi |
||||||
11 | 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 |
||||||
12 | 12. Mühendislik çözümlerinin ve uygulamalarının evrensel ve toplumsal boyutlardaki etkileri, girişimcilik ve yenilikçilik, ve çağın sorunları hakkında bilgi sahibi olmak |
DERS AKIŞI | |||
---|---|---|---|
Hafta | Konular | Ön Hazırlık | Yöntem |
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-17 | Final Sınavı | Ders notları ve uygulamalara hazırlanmak |
KAYNAKLAR | |
---|---|
Ders Notu | |
Diğer Kaynaklar |