broadAngle İzmir Ekonomi Üniversitesi’nde
Amerika ve İzmir’de faaliyet gösteren yazılım firmalarından broadAngle’ın kurucu ortağı ve CEO’su Garrison Atkisson ile bölümümüz mezunu yazılım mühendisi Ayber ...
Dersin Adı |
Otomata Kuramı ve Biçimsel Diller
|
Kodu
|
Yarıyıl
|
Teori
(saat/hafta) |
Uygulama/Lab
(saat/hafta) |
Yerel Kredi
|
AKTS
|
CE 315
|
Güz/Bahar
|
3
|
2
|
4
|
7
|
Ön-Koşul(lar) |
|
|||||||
Dersin Dili |
İngilizce
|
|||||||
Dersin Türü |
Seçmeli
|
|||||||
Dersin Düzeyi |
Lisans
|
|||||||
Dersin Veriliş Şekli | - | |||||||
Dersin Öğretim Yöntem ve Teknikleri | TartışmaProblem çözmeSoru & CevapKritik vermeAnlatım / Sunum | |||||||
Ulusal Meslek Sınıflandırma Kodu | - | |||||||
Dersin Koordinatörü | ||||||||
Öğretim Eleman(lar)ı | ||||||||
Yardımcı(ları) |
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Öğrenme Çıktıları |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ders Tanımı | Bilgisayar bilimlerinin en temel kuramlarının işleneceği bu derste 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ığı konuları işlenecektir. |
|
Temel Ders | |
Uzmanlık/Alan Dersleri | ||
Destek Dersleri | ||
İletişim ve Yönetim Becerileri Dersleri | ||
Aktarılabilir Beceri Dersleri |
Hafta | Konular | Ön Hazırlık | Öğrenme Çıktısı |
1 | Belirli sonlu otomat | Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
2 | Belirli sonlu otomat | Chapter 1. Sections 1.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
3 | Belirsiz sonlu otomat | Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
4 | Belirsiz sonlu otomat | Chapter 1. Sections 1.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
5 | Kurallı ifadeler | Chapter 1. Sections 1.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
6 | İçerikten bağımsız gramer | Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
7 | İçerikten bağımsız gramer | Chapter 2. Sections 2.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
8 | Aşağı sürüklemeli otomatlar | Chapter 2. Sections 2.2. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
9 | Aşağı sürüklemeli otomatlar | Chapter 2. Section 2.3.. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
10 | Aşağı sürüklemeli otomatlar | Chapter 2. Section, 2.4. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
11 | Turing Makinaları | Chapter 3. Sections 3.1. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
12 | Turing Makinaları | Chapter 3. Sections 3.2, 3.3. Introduction to the theory of computation. Michael Sipser. ISBN 053494728X | |
13 | Karmaşıklık sınıfları P, NP ve NP-complete | Chapter 7. Sections 7.1-- 7.4. 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 | Dersin gözden geçirilmesi | ||
16 | Final Sınavı |
Ders Kitabı | Introduction to the theory of computation, 3rd Edition, Michael Sipser. ISBN 113318779X |
Önerilen Okumalar/Materyaller | https://ocw.mit.edu/courses/18-404j-theory-of-computation-fall-2020/
|
Yarıyıl Aktiviteleri | Sayı | Katkı Payı % | LO 1 | LO 2 | LO 3 | LO 4 | LO 5 | LO 6 |
Katılım | ||||||||
Laboratuvar / Uygulama | ||||||||
Arazi Çalışması | ||||||||
Küçük Sınav / Stüdyo Kritiği |
4
|
20
|
||||||
Portfolyo | ||||||||
Ödev |
1
|
10
|
||||||
Sunum / Jüri Önünde Sunum | ||||||||
Proje | ||||||||
Seminer/Çalıştay | ||||||||
Sözlü Sınav | ||||||||
Ara Sınav |
1
|
30
|
||||||
Final Sınavı |
1
|
40
|
||||||
Toplam |
Yarıyıl İçi Çalışmalarının Başarı Notuna Katkısı |
6
|
60
|
Yarıyıl Sonu Çalışmalarının Başarı Notuna Katkısı |
1
|
40
|
Toplam |
Yarıyıl Aktiviteleri | Sayı | Süre (Saat) | İş Yükü |
---|---|---|---|
Teorik Ders Saati (Sınav haftası dahildir: 16 x teorik ders saati) |
16
|
3
|
48
|
Laboratuvar / Uygulama Ders Saati (Sınav haftası dahildir. 16 x uygulama/lab ders saati) |
16
|
2
|
32
|
Sınıf Dışı Ders Çalışması |
14
|
5
|
70
|
Arazi Çalışması |
0
|
||
Küçük Sınav / Stüdyo Kritiği |
4
|
2.5
|
10
|
Portfolyo |
0
|
||
Ödev |
2
|
5
|
10
|
Sunum / Jüri Önünde Sunum |
0
|
||
Proje |
0
|
||
Seminer/Çalıştay |
0
|
||
Sözlü Sınav |
0
|
||
Ara Sınavlar |
1
|
20
|
20
|
Final Sınavı |
1
|
20
|
20
|
Toplam |
210
|
#
|
PÇ Sub | Program Yeterlilikleri / Çıktıları |
* Katkı Düzeyi
|
||||
1
|
2
|
3
|
4
|
5
|
|||
1 |
Mühendislik Bilgisi: Matematik, fen bilimleri, temel mühendislik, bilgisayarla hesaplama ve ilgili mühendislik disiplinine özgü konularda bilgi; bu bilgileri, karmaşık mühendislik problemlerinin çözümünde kullanabilme becerisi. |
-
|
-
|
-
|
-
|
X
|
|
1 |
Matematik |
-
|
-
|
-
|
-
|
-
|
|
2 |
Fen bilimleri |
-
|
-
|
-
|
-
|
-
|
|
3 |
Temel mühendislik |
-
|
-
|
-
|
-
|
-
|
|
4 |
Bilgisayarla hesaplama |
-
|
-
|
-
|
-
|
-
|
|
5 |
İlgili mühendislik disiplinine özgü konularda bilgi |
-
|
-
|
-
|
-
|
-
|
|
6 |
Bu bilgileri, karmaşık mühendislik problemlerinin çözümünde kullanabilme becerisi. |
-
|
-
|
-
|
-
|
-
|
|
2 |
Problem Analizi: 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* |
-
|
-
|
-
|
X
|
-
|
|
3 |
Mühendislik Tasarımı: 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. |
-
|
-
|
X
|
-
|
-
|
|
1 |
Karmaşık mühendislik problemlerine yaratıcı çözümler tasarlama becerisi |
-
|
-
|
-
|
-
|
-
|
|
2 |
Karmaşık sistemleri, süreçleri, cihazları veya ürünleri gerçekçi kısıtları ve koşulları* gözeterek, |
-
|
-
|
-
|
-
|
-
|
|
3 |
Mevcut ve gelecekteki gereksinimleri karşılayacak biçimde tasarlama becerisi |
-
|
-
|
-
|
-
|
-
|
|
4 |
Teknik ve Araçların Kullanımı: 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. |
-
|
X
|
-
|
-
|
-
|
|
5 |
Araştırma ve İnceleme: 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. |
-
|
X
|
-
|
-
|
-
|
|
1 |
Karmaşık mühendislik problemlerinin incelenmesi için literatür araştırması |
-
|
-
|
-
|
-
|
-
|
|
2 |
Deney tasarlama |
-
|
-
|
-
|
-
|
-
|
|
3 |
Deney yapma, veri toplama, sonuçları analiz etme ve yorumlama dahil, araştırma yöntemlerini kullanma becerisi |
-
|
-
|
-
|
-
|
-
|
|
6 |
Mühendislik Uygulamalarının Küresel Etkisi: 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. |
-
|
X
|
-
|
-
|
-
|
|
1 |
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; (FENG101) |
-
|
-
|
-
|
-
|
-
|
|
2 |
Mühendislik çözümlerinin hukuksal sonuçları konusunda farkındalık. (FENG101) |
-
|
-
|
-
|
-
|
-
|
|
7 |
Etik Davranış: 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. (FENG101) |
-
|
-
|
-
|
-
|
-
|
|
1 |
Mühendislik meslek ilkelerine* uygun davranma, etik sorumluluk hakkında bilgi |
-
|
-
|
-
|
-
|
-
|
|
2 |
Hiçbir konuda ayrımcılık yapmadan, tarafsız davranma ve çeşitliliği kapsayıcı olma konularında farkındalık. |
-
|
-
|
-
|
-
|
-
|
|
8 |
Bireysel ve Takım Çalışması: Bireysel olarak ve 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. |
-
|
-
|
-
|
-
|
-
|
|
9 |
Sözlü ve Yazılı İletişim: Hedef kitlenin çeşitli farklılıklarını (eğitim, dil, meslek gibi) dikkate alarak, teknik konularda |
-
|
-
|
-
|
-
|
-
|
|
1 |
Sözlü (ENGxxx) |
-
|
-
|
-
|
-
|
-
|
|
2 |
Yazılı etkin iletişim kurma becerisi. (ENGxxx) |
-
|
-
|
-
|
-
|
-
|
|
10 |
Proje Yönetimi: Proje yönetimi ve ekonomik yapılabilirlik analizi gibi iş hayatındaki uygulamalar hakkında bilgi; girişimcilik ve yenilikçilik hakkında farkındalık. |
-
|
-
|
-
|
-
|
-
|
|
1 |
Proje yönetimi ve ekonomik yapılabilirlik analizi gibi iş hayatındaki uygulamalar hakkında bilgi; (FENG497-FENG498) |
-
|
-
|
-
|
-
|
-
|
|
2 |
Girişimcilik ve yenilikçilik hakkında farkındalık. (FENG101) |
-
|
-
|
-
|
-
|
-
|
|
11 |
Yaşam Boyu Öğrenme: 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. |
-
|
-
|
-
|
-
|
-
|
*1 Lowest, 2 Low, 3 Average, 4 High, 5 Highest
Amerika ve İzmir’de faaliyet gösteren yazılım firmalarından broadAngle’ın kurucu ortağı ve CEO’su Garrison Atkisson ile bölümümüz mezunu yazılım mühendisi Ayber ...
İzmir Ekonomi Üniversitesi, dünya çapında bir üniversiteye dönüşürken aynı zamanda küresel çapta yetkinliğe sahip başarılı gençler yetiştirir.
Daha Fazlası..İzmir Ekonomi Üniversitesi, nitelikli bilgi ve yetkin teknolojiler üretir.
Daha Fazlası..İzmir Ekonomi Üniversitesi, toplumsal fayda üretmeyi varlık nedeni olarak görür.
Daha Fazlası..