BİLGİ PAKETİ / DERS KATALOĞU
| YAZILIM MÜHENDİSLİĞİ (İNGİLİZCE) | |||||
|---|---|---|---|---|---|
| Kazanılan Yeterlilik | Program Süresi | Toplam Kredi (AKTS) | Öğretim Şekli | Yeterliliğin Düzeyi ve Öğrenme Alanı | |
| LİSANS DERECESİ | 4 | 240 | ÖRGÜN |
TYÇ, TYYÇ, EQF-LLL, ISCED (2011):6. Düzey QF-EHEA:1. Düzey TYYÇ, ISCED (1997-2013): 48,52 |
|
Ders Genel Tanıtım Bilgileri
| Ders Kodu: | 1413211003 | ||||||||||
| Ders İsmi: | Theory of Computation | ||||||||||
| Ders Yarıyılı: | Güz | ||||||||||
| Ders Kredileri: |
|
||||||||||
| Öğretim Dili: | EN | ||||||||||
| Ders Koşulu: | |||||||||||
| Ders İş Deneyimini Gerektiriyor mu?: | Hayır | ||||||||||
| Ders İçin Önerilen Diğer Hususlar: | |||||||||||
| Dersin Türü: | Zorunlu | ||||||||||
| Dersin Seviyesi: |
|
||||||||||
| Dersin Veriliş Şekli: | Yüz yüze | ||||||||||
| Dersin Koordinatörü: | Dr.Öğr.Üyesi Adem ÖZYAVAŞ | ||||||||||
| Dersi Veren(ler): |
|
||||||||||
| Dersin Yardımcıları: |
Dersin Amaç ve İçeriği
| Dersin Amacı: | Bu dersin amacı, öğrencilere, otomata teorisi ve biçimsel diller ve gramerler teorisini içeren hesaplamanın matematiksel temellerini tanıtmak; aynı zamanda otomatlar, eşdeğer düzenli ifadeler, otomatlar tarafından tanımlanan dillerin eşdeğerliği, düzenli ifadeler, pushdown otomatı, eşdeğer context-free gramerleri, pushdown otomata tarafından tanımlanan dillerin eşdeğeri, bağlam gibi temel kavramları kavratmaktır. ücretsiz gramerler, Turing makineleri ve Turing makineleri tarafından tanımlanan dillerin eşdeğerliği. |
| Dersin İçeriği: | Dersin İçeriği Matematiksel Araçlar (Tanımlar, Teoremler ve İspatlar); İspat Türleri; Düzenli Diller; Sonlu Otomatlar; Deterministik Olmayan Makinalar; Düzenli İfadeler; Düzensiz Diller; Bağlam İçermeyen (Context-free) Diller; Bağlam İçermeyen (Context-free) Gramerler; Basma Otomatiği; Turing Makineleri; Turing Makinelerinin Çeşitleri; "Algoritma" tanımı; Karar Verebilirlik; Kararlanabilir Diller; NP-bütünlüğü; İndirgenebilirlik; Tanınabilirlik. |
Öğrenme Kazanımları
Bu dersi başarıyla tamamlayabilen öğrenciler;
|
|||||||||||||||||||||||||||||||||||||
Ders Akış Planı
| Hafta | Konu | Ön Hazırlık |
| 1) | Ön kavramların oluşturulması, matematiksel araçlar, tanımlar, teoremler ve ispatlar, ispat çeşitleri | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 2) | Deterministik sonlu otomata (DFA) | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 3) | Deterministik olmayan sonlu otomata (NFA) | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 4) | DFA ve NFA'nın eşdeğerliliği ve düzenli ifadeler | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 5) | Epsilon geçiş, pompalama Lemma, güvercin prensibi ve kapatma (closure) özellikleri | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 6) | Optimal DFA ve genel bakış | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 7) | Bağlamsız diller, bağlamsız gramerler, ayrıştırma ağacı, belirsizlik, kapalılık özellikleri | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 8) | Ara Sınav | |
| 9) | Yığıtlı Otomatlar | |
| 10) | Bağlamsız gramerlere ve Church-Turing hipotezine genel bakış | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 11) | Yığıtlı Otomatlar | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 12) | Bağlamsız gramerlere ve Church-Turing hipotezine genel bakış | |
| 13) | Turing Makineleri, Tanıma ve Hesaplama, Church-Turing Hipotezi | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 14) | Turing Makineleri, Tanıma ve Hesaplama, Church-Turing Hipotezi | |
| 15) | NP-eksiksizliği, karar verilebilirlik, indirgenebilirlik ve tanınabilirlik | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
| 16) | Final | Data Structures – A Pseudocode Approach with C, R. Gillberg, B. Forouzan, Thomson Course Technology Second Edition |
Kaynaklar
| Ders Notları / Kitaplar: | Michael Sipser, Introduction to the Theory of Computation, Cengage Learning, 3rd Edition, 2012 Daniel I. A. Cohen, Introduction to Computer Theory, Prentice-Hall, 2nd Edition, 1997 |
| Diğer Kaynaklar: | Michael Sipser, Introduction to the Theory of Computation, Cengage Learning, 3rd Edition, 2012 Daniel I. A. Cohen, Introduction to Computer Theory, Prentice-Hall, 2nd Edition, 1997 |
Ders - Program Öğrenme Kazanım İlişkisi
| Ders Öğrenme Kazanımları | 1 |
2 |
3 |
4 |
5 |
6 |
|||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Program Kazanımları | |||||||||||||
| 1) Matematik, fen bilimleri, temel mühendislik, bilgisayarla hesaplamavla ilgili mühendislik disiplinine özgü konularda bilgi; bu bilgileri, karmaşık mühendislik problemlerinin çözümünde kullanabilme becerisi | |||||||||||||
| 2) Yazılım mühendisliği ile ilgili konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, algoritmik ve yazılımsal problemlerinin çözümünde kullanabilme becerisi. | |||||||||||||
| 3) Karmaşık mühendislik problemlerini, temel bilim, matematik ve mühendislik bilgilerini kullanarak ve ele alınan problemle ilgili BM Sürdürülebilir Kalkınma Amaçlarını gözeterek tanımlama, formüle etme ve analiz becerisi | |||||||||||||
| 4) Karmaşık mühendislik problemlerine yaratıcı çözümler tasarlama becerisi; karmaşık sistemleri, süreçleri, cihazları veya ürünleri gerçekçi kısıtları ve koşulları gözeterek, mevcut ve gelecekteki gereksinimleri karşılayacak biçimde tasarlama becerisi. | |||||||||||||
| 5) Karmaşık mühendislik problemlerinin analizi ve çözümüne yönelik, tahmin ve modelleme de dahil olmak üzere, uygun teknikleri, kaynakları ve modern mühendislik ve bilişim araçlarını, sınırlamalarının da farkında olarak seçme ve kullanma becerisi. | |||||||||||||
| 6) Karmaşık mühendislik problemlerinin incelenmesi için literatür araştırması, deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama dahil, araştırma yöntemlerini kullanma becerisi. | |||||||||||||
| 7) Mühendislik uygulamalarının BM Sürdürülebilir Kalkınma Amaçları kapsamında, topluma, sağlık ve güvenliğe, ekonomiye, sürdürülebilirlik ve çevreye etkileri hakkında bilgi; mühendislik çözümlerinin hukuksal sonuçları konusunda farkındalık | |||||||||||||
| 8) Mühendislik meslek ilkelerine uygun davranma, etik sorumluluk hakkında bilgi; hiçbir konuda ayrımcılık yapmadan, tarafsız davranma ve çeşitliliği kapsayıcı olma konularında farkındalık. | |||||||||||||
| 9) Disiplin içi ve çok disiplinli takımlarda (yüz yüze, uzaktan veya karma) takım üyesi veya lideri olarak etkin biçimde çalışabilme becerisi | |||||||||||||
| 10) Bireysel çalışma becerisi. | |||||||||||||
| 11) Hedef kitlenin çeşitli farklılıklarını (eğitim, dil, meslek gibi) dikkate alarak, teknik konularda sözlü, yazılı etkin iletişim kurma becerisi. | |||||||||||||
| 12) Proje yönetimi ve ekonomik yapılabilirlik analizi gibi iş hayatındaki uygulamalar hakkında bilgi | |||||||||||||
| 13) Girişimcilik ve yenilikçilik hakkında farkındalık. | |||||||||||||
| 14) Bağımsız ve sürekli öğrenebilme, yeni ve gelişmekte olan teknolojilere uyum sağlayabilme ve teknolojik değişimlerle ilgili sorgulayıcı düşünebilmeyi kapsayan yaşam boyu öğrenme becerisi. | |||||||||||||
Ders - Öğrenme Kazanımı İlişkisi
| Etkisi Yok | 1 En Düşük | 2 Düşük | 3 Orta | 4 Yüksek | 5 En Yüksek |
| Dersin Program Kazanımlarına Etkisi | Katkı Payı | |
| 1) | Matematik, fen bilimleri, temel mühendislik, bilgisayarla hesaplamavla ilgili mühendislik disiplinine özgü konularda bilgi; bu bilgileri, karmaşık mühendislik problemlerinin çözümünde kullanabilme becerisi | 5 |
| 2) | Yazılım mühendisliği ile ilgili konularda yeterli bilgi birikimi; bu alanlardaki kuramsal ve uygulamalı bilgileri, algoritmik ve yazılımsal problemlerinin çözümünde kullanabilme becerisi. | 4 |
| 3) | Karmaşık mühendislik problemlerini, temel bilim, matematik ve mühendislik bilgilerini kullanarak ve ele alınan problemle ilgili BM Sürdürülebilir Kalkınma Amaçlarını gözeterek tanımlama, formüle etme ve analiz becerisi | |
| 4) | Karmaşık mühendislik problemlerine yaratıcı çözümler tasarlama becerisi; karmaşık sistemleri, süreçleri, cihazları veya ürünleri gerçekçi kısıtları ve koşulları gözeterek, mevcut ve gelecekteki gereksinimleri karşılayacak biçimde tasarlama becerisi. | 5 |
| 5) | Karmaşık mühendislik problemlerinin analizi ve çözümüne yönelik, tahmin ve modelleme de dahil olmak üzere, uygun teknikleri, kaynakları ve modern mühendislik ve bilişim araçlarını, sınırlamalarının da farkında olarak seçme ve kullanma becerisi. | |
| 6) | Karmaşık mühendislik problemlerinin incelenmesi için literatür araştırması, deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama dahil, araştırma yöntemlerini kullanma becerisi. | |
| 7) | Mühendislik uygulamalarının BM Sürdürülebilir Kalkınma Amaçları kapsamında, topluma, sağlık ve güvenliğe, ekonomiye, sürdürülebilirlik ve çevreye etkileri hakkında bilgi; mühendislik çözümlerinin hukuksal sonuçları konusunda farkındalık | |
| 8) | Mühendislik meslek ilkelerine uygun davranma, etik sorumluluk hakkında bilgi; hiçbir konuda ayrımcılık yapmadan, tarafsız davranma ve çeşitliliği kapsayıcı olma konularında farkındalık. | |
| 9) | Disiplin içi ve çok disiplinli takımlarda (yüz yüze, uzaktan veya karma) takım üyesi veya lideri olarak etkin biçimde çalışabilme becerisi | |
| 10) | Bireysel çalışma becerisi. | 5 |
| 11) | Hedef kitlenin çeşitli farklılıklarını (eğitim, dil, meslek gibi) dikkate alarak, teknik konularda sözlü, yazılı etkin iletişim kurma becerisi. | |
| 12) | Proje yönetimi ve ekonomik yapılabilirlik analizi gibi iş hayatındaki uygulamalar hakkında bilgi | |
| 13) | Girişimcilik ve yenilikçilik hakkında farkındalık. | |
| 14) | Bağımsız ve sürekli öğrenebilme, yeni ve gelişmekte olan teknolojilere uyum sağlayabilme ve teknolojik değişimlerle ilgili sorgulayıcı düşünebilmeyi kapsayan yaşam boyu öğrenme becerisi. |
Öğrenme Etkinliği ve Öğretme Yöntemleri
Ölçme ve Değerlendirme Yöntemleri ve Kriterleri
| Yazılı Sınav (Açık uçlu sorular, çoktan seçmeli, doğru yanlış, eşleştirme, boşluk doldurma, sıralama) | |
| Ödev | |
| Uygulama | |
| Bireysel Proje |
Ölçme ve Değerlendirme
| Yarıyıl İçi Çalışmaları | Aktivite Sayısı | Katkı Payı |
| Küçük Sınavlar | 3 | % 30 |
| Ara Sınavlar | 1 | % 30 |
| Yarıyıl/Yıl Sonu Sınavı | 1 | % 40 |
| Toplam | % 100 | |
| YARIYIL İÇİ ÇALIŞMALARININ BAŞARI NOTU KATKISI | % 60 | |
| YARIYIL SONU ÇALIŞMALARININ BAŞARI NOTUNA KATKISI | % 40 | |
| Toplam | % 100 | |
İş Yükü ve AKTS Kredisi Hesaplaması
| Aktiviteler | Aktivite Sayısı | Süre (Saat) | İş Yükü |
| Ders Saati | 12 | 3 | 36 |
| Sınıf Dışı Ders Çalışması | 6 | 3 | 18 |
| Küçük Sınavlar | 2 | 10 | 20 |
| Ara Sınavlar | 1 | 25 | 25 |
| Final | 1 | 35 | 35 |
| Toplam İş Yükü | 134 | ||