GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 9105055392024 | Hesaplama Kuramı | Seçmeli Ders Grubu | 1 | 1 | 8,00 |
Dersin Seviyesi
Yüksek Lisans
Dersin Sunulduğu Dil
Türkçe
Dersin Amacı
Bu dersin amacı Otomata teorisi ve mevcut program dillerinden bir adım daha soyutlaştırılan formal dillere giriş yapmaktır. Derleyici tasarımı ve yazılım mühendisliği gibi bilgisayar bilimlerinin çeşitli branşlarına temel oluşturan hesaplamanın temel modelleri sunulacaktır. Dersin sonunda tüm öğrencilerin bütün bu kavramlara mühendislik açısından hakim olmaları beklenmektedir.
Dersi Veren Öğretim Görevlisi/Görevlileri
Dr. Öğr. Üy. Gül BOZTOK ALGIN
Öğrenme Çıktıları
| 1 | Chomsky dil hiyerarşisini karşılık gelen otomata ve gramer tipleriyle eşleştirebilecek, |
| 2 | Verilen bir otomata ya da gramerin izini sürebilecek, |
| 3 | Verilen bir otomata (DFA, NFA, PDA, TM) ya da grameri diğer bir denk forma çevirebilecek, |
| 4 | Verilen bir dil için otomata ya da gramer tasarımlayabilecek, |
| 5 | Polinom zaman, deterministik olmayan polinom zaman, NP-tamlık, karar verilebilirlik ve karar verilemezlik kavramlarını tanımlayabilecektir. |
Öğretim Sistemi
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
N/A
Ders İçin Önerilen Diğer Hususlar
N/A
Dersin İçeriği
Ders içeriğinde aşağıdaki konular yer alacaktır: düzenli ifadeler ve bağlamdan bağımsız diller, sonlu ve yığın yapılı otomat, Turing makineler, hesaplanabilirlik, karar verilemezlik ve problem karmaşıklığı.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Belirli Sonlu Otomata | Tartışma, Soru çözümü, Soru & Cevap, Geri bildirim, Ders Anlatım / Sunum | Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X |
| 2 | Belirli Sonlu Otomata | Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 3 | Belirsiz Sonlu Otomata | Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 4 | Belirsiz Sonlu Otomata | Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 5 | Düzenli İfadeler | Chapter 1. Sections 1.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 6 | Düzenli İfadeler | Chapter 1. Sections 1.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 7 | Bağlamdan Bağımsız Dilbilgisi | Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 8 | Vize Sınavı | ||
| 9 | Bağlamdan Bağımsız Dilbilgisi | Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 10 | Yığıtlı Otomata | Chapter 2. Sections 2.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 11 | Yığıtlı Otomata | Chapter 2. Sections 2.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 12 | Turing Makinesi | Chapter 3. Sections 3.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 13 | Turing Makinesi | Chapter 3. Sections 3.2, 3.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 14 | Karar Verilebilirlik ve Karar Verilemezlik | Chapter 4. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
| 15 | Zaman Karmaşıklığı: P, NP ve NP-Complete Sınıfları | Chapter 7. Sections 7.2, 7.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
Introduction to the theory of computation. Michael Sipser. ISBN 053494728X
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
Staj Durumu
yok
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 3 | 3 |
| Final Sınavı | 1 | 3 | 3 |
| Bütünleme Sınavı | 1 | 3 | 3 |
| Quiz | 1 | 2 | 2 |
| Derse Katılım | 16 | 3 | 48 |
| Bireysel Çalışma | 16 | 5 | 80 |
| Ödev Problemleri için Bireysel Çalışma | 2 | 5 | 10 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 35 | 35 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 40 | 40 |
| Quiz için Bireysel Çalışma | 1 | 7 | 7 |
| Ev Ödevi | 2 | 4 | 8 |
| Toplam İş Yükü (saat) | 239 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | |
| ÖÇ 1 | 3 | 1 | 1 | 3 | 1 | 5 | 5 |
| ÖÇ 2 | 2 | 1 | 2 | 1 | 1 | 5 | 4 |
| ÖÇ 3 | 3 | 1 | 2 | 1 | 1 | 5 | 4 |
| ÖÇ 4 | 3 | 1 | 2 | 2 | 1 | 5 | 4 |
| ÖÇ 5 | 5 | 1 | 4 | 3 | 1 | 5 | 5 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek