| Bilgisayar Mühendisliği | |||||
| Lisans | Programın Süresi: 4 | Kredi Sayısı: 240 | TYYÇ: 6. Düzey | QF-EHEA: 1. Düzey | EQF: 6. Düzey |
| Yüksekokul/Myo/Fakülte/Enstitü | Mühendislik Fakültesi | ||||
| Ders Kodu | COMP 454 | ||||
| Ders Adı İngilizce | Theory of Computation | ||||
| Ders Adı Türkçe | Hesaplama Kuramı | ||||
| Öğretim Dili | EN | ||||
| Ders Türü | Ters-Yüz Öğrenme | ||||
| Dersin Düzeyi | Başlangıç | ||||
| Dönem | Bahar | ||||
| Haftalık İletişim Saatleri |
|
||||
| Tahmini Öğrenci İş Yükü | Dönem boyunca 125 saat | ||||
| Ders Kredileri | 6 AKTS | ||||
| Değerlendirme | Standart Harf Notu | ||||
| Ön Koşul |
MATH 321 - Automata Theory and Formal Language |
||||
| Yan Koşul | Yok | ||||
| Beklenen Ön Bilgi | Formal diller ve otomata | ||||
| Kayıt Kısıtlamaları | None | ||||
| Genel Eğitim Hedefi | Hesaplamalı problemlerin doğası hakkında bilimsel bir perspektif kazanmak | ||||
| Ders Açıklaması | Biçimsel dil ve otomat tipleri ve özyinelemeli sıralanabilen dillerin gözden geçirilmesi, hesaplama modelleri ve hesaplanabilirlik, karar verilebilirlik ve indirgenebilirlik, hesaplama teorisinde ileri konulara giriş, zaman ve bellek karmaşıklığı, hesaplaması zor problemler, karmaşıklık teorisinde ileri konulara giriş. |
Ders Öğrenme Çıktıları ve YeterliliklerBu dersi başarıyla tamamlayabilen öğrenciler:1) Hesaplamalı problemler üzerinde hesaplanabilirlik ve karmaşıklık analizi uygular 2) Hesaplama problemi karar verilebilirlik özelliklerini anlar ve analiz eder. 3) Karmaşıklık sınıflarını anlar ve problem üzerinde indirgeme uygular. 4) Bir hesaplama probleminin çözülemezliğinin temellerini kavrar |
| Program Öğrenme Çıktıları/Ders Öğrenme Çıktıları | 1 | 2 | 3 | 4 |
|---|---|---|---|---|
| 1) Mühendislik, bilim ve matematik prensiplerini uygulayarak karmaşık mühendislik problemlerini tanımlama, formüle etme ve çözme becerisi | ||||
| 2) Halk sağlığı, güvenlik ve refahın yanı sıra, küresel, kültürel, sosyal, çevresel ve ekonomik faktörleri dikkate alarak, ihtiyaçları karşılayan çözümler üretmek için mühendislik tasarımını uygulama becerisi | ||||
| 3) Farklı kitlelerle etkili bir şekilde iletişim kurma becerisi | ||||
| 4) Mühendislik durumlarında etik ve profesyonel sorumlulukları tanıma ve mühendislik çözümlerinin küresel, ekonomik, çevresel ve toplumsal etkilerini göz önünde bulundurarak bilinçli kararlar verme becerisi | ||||
| 5) Takım üyeleriyle birlikte liderlik sağlayan, işbirlikçi ve kapsayıcı bir ortam oluşturan, hedefler belirleyen, görevleri planlayan ve hedeflere ulaşan bir ekipte etkili bir şekilde çalışma becerisi | ||||
| 6) Uygun deneyler geliştirme ve yürütme, verileri analiz etme ve yorumlama ve mühendislik değerlendirmesi yaparak sonuçlara ulaşma becerisi | ||||
| 7) Gerekli olduğunda yeni bilgileri edinme ve uygun öğrenme stratejilerini kullanarak bu bilgileri uygulama becerisi |
| N Yok | S Destekleyici | H Çok İlgili |
| Program Çıktıları ve Yeterlilikler | Düzey | Değerlendirme | |
| 1) | Mühendislik, bilim ve matematik prensiplerini uygulayarak karmaşık mühendislik problemlerini tanımlama, formüle etme ve çözme becerisi | H | Sınav |
| 2) | Halk sağlığı, güvenlik ve refahın yanı sıra, küresel, kültürel, sosyal, çevresel ve ekonomik faktörleri dikkate alarak, ihtiyaçları karşılayan çözümler üretmek için mühendislik tasarımını uygulama becerisi | S | |
| 3) | Farklı kitlelerle etkili bir şekilde iletişim kurma becerisi | N | |
| 4) | Mühendislik durumlarında etik ve profesyonel sorumlulukları tanıma ve mühendislik çözümlerinin küresel, ekonomik, çevresel ve toplumsal etkilerini göz önünde bulundurarak bilinçli kararlar verme becerisi | N | |
| 5) | Takım üyeleriyle birlikte liderlik sağlayan, işbirlikçi ve kapsayıcı bir ortam oluşturan, hedefler belirleyen, görevleri planlayan ve hedeflere ulaşan bir ekipte etkili bir şekilde çalışma becerisi | N | |
| 6) | Uygun deneyler geliştirme ve yürütme, verileri analiz etme ve yorumlama ve mühendislik değerlendirmesi yaparak sonuçlara ulaşma becerisi | N | |
| 7) | Gerekli olduğunda yeni bilgileri edinme ve uygun öğrenme stratejilerini kullanarak bu bilgileri uygulama becerisi | H | Derse Katılım,Sınav |
| Hazırlayan ve Tarih | ŞENİZ DEMİR , November 2023 |
| Ders Koordinatörü | ŞENİZ DEMİR |
| Dönem | Bahar |
| Dersi Veren(ler) |
| Hafta | Konu |
| 1) | Formal diller ve otomata kuramı |
| 2) | Özyinelemeli Sayılabilir Diller |
| 3) | Hesaplama modelleri |
| 4) | Hesaplanabilirlik |
| 5) | Karar verilebilirlik- Karar verilebilen diller |
| 6) | Karar Verilebilirlik – Karar Verilemez Diller |
| 7) | İndirgenebilirlik |
| 8) | Hesaplanabilirlik kuramında ileri konular |
| 9) | Karmaşıklık kuramının pratik uygulamaları |
| 10) | Zaman karmaşıklığı - Karmaşıklık ölçümü ve P Sınıfı problemler |
| 11) | Zaman karmaşıklığı- NĞ Sınıfı problemler ve NP-tamlık |
| 12) | Alan karmaşıklığı |
| 13) | Çözülemezlik |
| 14) | Karmaşıklık kuramında ileri konular |
| 15) | Final Sınavı/Proje/Sunum dönemi |
| 16) | Final Sınavı/Proje/Sunum dönemi |
| Gerekli/Tavsiye Edilen Okumalar | Sipser M., Introduction to the Theory Of Computation 3rd Edition, Cengage Learning, 2013 Martin J.C., Introduction To Languages And The Theory Of Computation 4th Edition, Mcgraw-Hill, 2011 Attalah M.J., Blanton M., Algorithms And Theory Of Computation Handbook Vol.2:Special Topics And Techniques 2nd Edition, CRC Press, 2010 | ||||||||||||
| Öğretme Teknikleri | Ders | ||||||||||||
| Ödev ve Projeler | Sınıfta alıştırmalar | ||||||||||||
| Laboratuvar Çalışması | None | ||||||||||||
| Bilgisayar Kullanımı | None | ||||||||||||
| Diğer Aktiviteler | None | ||||||||||||
| Değerlendirme Yöntemleri |
|
||||||||||||
| Ders Yönetimi |
ovatman@itu.edu.tr |
||||||||||||
| AKtivite | Hafta Sayısı | Saat | Hesaplama | ||||
| Yarıyıl Başına Hafta Sayısı | Etkinliğe Hazırlık | Etkinliğin Kendisinde Harcanan | Etkinlik Gereksinimlerini Tamamlama | ||||
| Ders Saati | 14 | 1.5 | 3 | 1.5 | 84 | ||
| Küçük Sınavlar | 5 | 4 | 1 | 25 | |||
| Final | 1 | 13 | 3 | 16 | |||
| Toplam İş Yükü | 125 | ||||||
| Toplam İş Yükü/25 | 5.0 | ||||||
| AKTS | 6 | ||||||