TÜRKÇE
ENGLISH
Genel Bilgi
| Birim | MÜHENDİSLİK FAKÜLTESİ |
| BİLGİSAYAR MÜHENDİSLİĞİ PR. (İNGİLİZCE) | |
| Kod | CEN433 |
| Ad | Automata Theory |
| Dönem | 2015-2016 Eğitim-Öğretim Yılı |
| Yarıyıl | 7. Yarıyıl |
| Süre (T+U) | 3-0 (T-U) (17 Hafta) |
| AKTS | 3 AKTS |
| Yerel Kredi | 3 Yerel Kredi |
| Eğitim Dil | İngilizce |
| Seviye | Üniversite Dersi |
| Tür | Normal |
| Etiket | Z Zorunlu |
| Öğretim Şekli | Yüz Yüze Öğretim |
| Bilgi Paketi Koordinatörü | |
| Dersin Öğretim Elemanı |
Prof. Dr. UMUT ORHAN
(Güz)
(A Grubu)
(Sor. Öğr. Ele.)
|
Dersin Amacı / Hedefi
Bu derste, temel amaç Chomsky hiyerarşisindeki dil sınıflarını gramer ve otomata açısından tanımlamaktır
Dersin İçeriği
Sonlu ototmataya giriş, deterministik sonlu otomata, düzenli ifadeler, deterministik olmayan sonlu otomata, düzenli diller ve düzenli gramerler, push-down otomata, içerik bağımsız diller, turing makineleri, chomsky hiyerarşisi, karar verilemezlik, hesaplama karmaşıklığı ve NP-bütünlüğü
Dersin Ön Koşulu
Yok
Kaynaklar
Notlar
Dersin Öğrenme Çıktıları
| Sıra | Dersin Öğrenme Çıktıları |
|---|---|
| ÖÇ01 | Kombinasyonal yöntemleri kullanarak farklı hesaplama yöntemlerini analiz eder. |
| ÖÇ02 | Diller, gramerler ve otomata özelliklerini kanıtlamak için geleneksel matematiksel yöntemler uygular. |
| ÖÇ03 | Farklı problemler için algoritmalar oluşturur ve hesaplamanın farklı makine modelleri üzerindeki doğruluğu hakkında tartışır. |
| ÖÇ04 | Bazı hesaplama modellerin sınırlamalarını ve olası ispat yöntemlerini tanımlar. |
| ÖÇ05 | Yazılım araçları kullanarak hesaplamalı problemleri uygular |
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 | |
| 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, | |
| 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, | |
| PÖÇ04 | - | Mühendislik uygulamaları için gerekli olan modern teknik ve araçlar ile ve bilişim teknolojilerini etkin kullanma becerisi | |
| PÖÇ05 | - | Deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi, | |
| PÖÇ06 | - | Bireysel olarak ve çok disiplinli takımlarda etkin çalışabilme becerisi, sorumluluk alma ve özgüven | |
| PÖÇ07 | - | Bilgiye erişebilme, kaynak araştırması yapabilme ve bilgi kaynaklarını kullanabilme becerisi | |
| PÖÇ08 | - | Yaşam boyu öğrenmenin gerekliliği bilinci; bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi, | |
| PÖÇ09 | - | Sözlü ve yazılı etkin iletişim kurma, ve en az bir yabancı dilde teknik yayın okuyup anlayabilme becerisi, | |
| PÖÇ10 | - | Mesleki ve etik sorumluluk bilinci, | |
| 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, | |
| 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 |
Haftalık Akış
| Hafta | Konu | Ön Hazırlık | Yöntemler |
|---|---|---|---|
| 1 | Kesikli matematiksel yapılar tekrarı | Ders notundaki ilgili bölümü okumak | |
| 2 | Sonlu otomaya giriş, deterministik sonlu otomata | Ders notundaki ilgili bölümü okumak | |
| 3 | Düzenli ifadeler, deterministik olmayan otomata | Ders notundaki ilgili bölümü okumak | |
| 4 | İçerik bağımsız diller, düzenli diller ve düzenli gramerler | Ders notundaki ilgili bölümü okumak | |
| 5 | Push-Down otomata (deterministik ve deterministik olmayan) | Ders notundaki ilgili bölümü okumak | |
| 6 | İçerik bağımsız ve içerik bağımsız olmayan diller | Ders notundaki ilgili bölümü okumak | |
| 7 | Arasınav için tekrar | Ders notundaki ilgili bölümü okumak | |
| 8 | Arasınav | Sınava hazırlık | |
| 9 | Turing makineleri, Church-Turing tezi | Ders notundaki ilgili bölümü okumak | |
| 10 | Deterministik olmayan Turing makineleri, Evrensel Turing Makineleri | Ders notundaki ilgili bölümü okumak | |
| 11 | Özyinelemeli sayılabilir diller, Chomsky hiyerarşisi | Ders notundaki ilgili bölümü okumak | |
| 12 | Karar verilemezlik, Azalma ve Durdurma | Ders notundaki ilgili bölümü okumak | |
| 13 | Bazı hesaplanabilir fonksiyonlar | Ders notundaki ilgili bölümü okumak | |
| 14 | Hesaplama Karmaşıklığı ve NP-bütünlük | Ders notundaki ilgili bölümü okumak | |
| 15 | Final sınavı için tekrar | Ders notundaki ilgili bölümü okumak | |
| 16 | Final sınavı | Sınava hazırlık | |
| 17 | Final sınavı | Sınava hazırlık |
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. Kısa Sınav | 20 | -4 |
| 2. Kısa Sınav | 20 | -4 |
| 3. Kısa Sınav | 20 | -4 |
| 1. Proje / Tasarım | 20 | -4 |
| 2. Proje / Tasarım | 20 | -4 |
| 1. Kısa Sınav | 20 | -4 |
| 1. Proje / Tasarım | 20 | -4 |
| 2. Kısa Sınav | 20 | -4 |
| 2. Proje / Tasarım | 20 | -4 |
| 3. Kısa Sınav | 20 | -4 |
| Genel Değerlendirme | ||
| Yarıyıl İçi / Yıl İçi Toplam | 200 | -20 |
| 1. Yıl Sonu Sınavı | - | 60 |
| 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 | 5 | 8 | 40 |
| Ara Sınavlar (Yazılı, Sözlü, vs.) | 0 | 0 | 0 |
| Yarıyıl/Yıl Sonu/Final Sınavı | 1 | 25 | 25 |
| Toplam İş Yükü (Saat) | 149 | ||
| Toplam İş Yükü / 25 (s) | 5,96 | ||
| AKTS | 3 AKTS | ||