Bilgi Paketi / Ders Kataloğu
| Hukuk | |||||
| Lisans | Programın Süresi: 4 | Kredi Sayısı: 240 | TYYÇ: 6. Düzey | QF-EHEA: 1. Düzey | EQF: 6. Düzey |
Ders Genel Tanıtım Bilgileri
| Yüksekokul/Myo/Fakülte/Enstitü | Mühendislik Fakültesi | ||||
| Ders Kodu | MATH 321 | ||||
| Ders Adı İngilizce | Automata Theory and Formal Language | ||||
| Ders Adı Türkçe | Biçimsel Diller ve Otomatlar Kuramı | ||||
| Öğretim Dili | EN | ||||
| Ders Türü | Ters-Yüz Öğrenme | ||||
| Dersin Düzeyi | Başlangıç | ||||
| Dönem | Güz | ||||
| Haftalık İletişim Saatleri |
|
||||
| Tahmini Öğrenci İş Yükü | Dönem boyunca 160 saat | ||||
| Ders Kredileri | 6 AKTS | ||||
| Değerlendirme | Standart Harf Notu | ||||
| Ön Koşul | Yok | ||||
| Yan Koşul | Yok | ||||
| Beklenen Ön Bilgi | Temel Ayrık Matematik ve Veri Yapıları Bilgisi | ||||
| Kayıt Kısıtlamaları | Sadece lisans öğrencileri | ||||
| Genel Eğitim Hedefi | Hesaplama Teorisinin Temellerini, Temel Grafik Teorisini ve Giriş Niteliğinde Ayrık Matematiği Öğrenmek, Dil Sınıfları (düzenli, bağlama duyarlı ve daha fazlası) Arasındaki Sınıflandırmayı Öğrenmek ve Bu Dilleri Üretecek/Tanıyacak Dil ve Makineleri Tasarlamak. | ||||
| Ders Açıklaması | Bu derste, biçimsel diller ve otomatlar kuramının temel kavramları şu başlıklar altında işlenmektedir: temel çizge teorisi, sonlu küme matematiğine giriş, düzenli diller, sonlu durum makineleri, ters otomat, düzenli ifadeler, bağlama duyarsız gramerler, Turing makineleri, karar verilebilirlik, indirgenebilirlik, zaman karmaşıklığı |
Ders Öğrenme Çıktıları ve YeterliliklerBu dersi başarıyla tamamlayabilen öğrenciler:1) Temel Ayrık Matematik ve Grafik Teorisi Bilgisine Sahip Olmak 2) Sonlu Durum Makinelerini, Düzenli Dilleri, Düzenli İfadeleri, Determinizm ve Determinizm Dışı Kavramları ve Bunların Bağlantısını Tanımlamak 3) Bağlamdan Bağımsız Dilleri, Yığıt Otomatlarını ve Bunların Bağlantısını Bilmek 4) Turing Makinelerini, Karar Verilebilirlik ve İndirgenebilirlik Kavramlarını Kavramak 5) Gerektiğinde Yeni Bilgiyi Uygulamak için Uygun Öğrenme Stratejilerini Kullanmak |
| Program Öğrenme Çıktıları/Ders Öğrenme Çıktıları | 1 | 2 | 3 | 4 | 5 |
|---|---|---|---|---|---|
| 1) Hukukun temel ilkelerini, hukuk teorilerini, hukuk metodolojisini, yorum yöntemlerini tanır ve uygular. | |||||
| 2) Güncel yenilikler ve mevzuat değişiklikleri takip eder, değerlendirir, yorumlar ve uygular. | |||||
| 3) Hukuksal bilgi kaynaklarına ulaşmayı ve bu kaynakları kullanmayı bilir, güncel mevzuat değişikliklerini, doktrindeki görüşleri ve mahkeme kararlarını takip eder ve değerlendirir. | |||||
| 4) Hukukla ilgili bilgiyi değerlendirirken toplumsal, bilimsel ve etik değerleri gözeterek içselleştirir. | |||||
| 5) Hukuki sorunları, hukukun genel ilkelerine, de lege feranda ve de lege lata’ya göre tespit eder, değerlendirir ve çözer; hukukun sadece ulusal değil, uluslararası yönünü de dikkate alır ve karar verirken vicdani kanaatin önemini kavrar. | |||||
| 6) Hukuki uyuşmazlıkları mevzuat metinleri, yargı kararlarını ve doktrindeki farklı görüşleri analitik bir bakış açısıyla değerlendirerek eleştirir, kendi görüşlerini oluşturur, hukuki eksiklikleri saptar ve önerilerde bulunur. | |||||
| 7) Farklı hukuk dallarına ait sorunları algılar, uygulamada karşılaşılan karmaşık sorunları nitelendirerek çözüm üretir. | |||||
| 8) Sosyal sorumluluk bilincinde bir birey olarak, hukukla ilgili proje ve çeşitli etkinliklere katılır, gerektiğinde organizatör olarak rol alır ve hukuksal bilgi ve becerisini gerekli yerlere (özel sektör, kamu sektörü) etkin şekilde aktarır. | |||||
| 9) Bir yabancı dili en az Avrupa Dil Portföyü B2 Genel Düzeyinde kullanarak hukuk alanındaki bilgileri izler, meslektaşları ile iletişim kurar ve hukuk alanının gerektirdiği en az Avrupa Bilgisayar Kullanma Lisansı İleri Düzeyinde bilgisayar yazılımı ile birlikte bilişim ve iletişim teknolojilerini kullanır. | |||||
| 10) Yaşam boyu öğrenmeye ilişkin olumlu bir tutum geliştirir. | |||||
| 11) Toplumun gelişim ve değişimini, sorunlarını anlar ve gerektiğinde hukuksal çözüm yolları ile sorunların çözümüne katkıda bulunur. | |||||
| 12) Hukukun ulusal ve uluslararası kurum ve yapılanmasını, işlevlerini bilir, bunların geliştirilmesine katkıda bulunur. |
Program Sonuçları ve Yeterliliklerle İlişkisi
| N Yok | S Destekleyici | H Çok İlgili |
| Program Çıktıları ve Yeterlilikler | Düzey | Değerlendirme | |
| 1) | Hukukun temel ilkelerini, hukuk teorilerini, hukuk metodolojisini, yorum yöntemlerini tanır ve uygular. | S | |
| 2) | Güncel yenilikler ve mevzuat değişiklikleri takip eder, değerlendirir, yorumlar ve uygular. | N | |
| 3) | Hukuksal bilgi kaynaklarına ulaşmayı ve bu kaynakları kullanmayı bilir, güncel mevzuat değişikliklerini, doktrindeki görüşleri ve mahkeme kararlarını takip eder ve değerlendirir. | N | |
| 4) | Hukukla ilgili bilgiyi değerlendirirken toplumsal, bilimsel ve etik değerleri gözeterek içselleştirir. | S | |
| 5) | Hukuki sorunları, hukukun genel ilkelerine, de lege feranda ve de lege lata’ya göre tespit eder, değerlendirir ve çözer; hukukun sadece ulusal değil, uluslararası yönünü de dikkate alır ve karar verirken vicdani kanaatin önemini kavrar. | N | |
| 6) | Hukuki uyuşmazlıkları mevzuat metinleri, yargı kararlarını ve doktrindeki farklı görüşleri analitik bir bakış açısıyla değerlendirerek eleştirir, kendi görüşlerini oluşturur, hukuki eksiklikleri saptar ve önerilerde bulunur. | N | |
| 7) | Farklı hukuk dallarına ait sorunları algılar, uygulamada karşılaşılan karmaşık sorunları nitelendirerek çözüm üretir. | N | |
| 8) | Sosyal sorumluluk bilincinde bir birey olarak, hukukla ilgili proje ve çeşitli etkinliklere katılır, gerektiğinde organizatör olarak rol alır ve hukuksal bilgi ve becerisini gerekli yerlere (özel sektör, kamu sektörü) etkin şekilde aktarır. | N | |
| 9) | Bir yabancı dili en az Avrupa Dil Portföyü B2 Genel Düzeyinde kullanarak hukuk alanındaki bilgileri izler, meslektaşları ile iletişim kurar ve hukuk alanının gerektirdiği en az Avrupa Bilgisayar Kullanma Lisansı İleri Düzeyinde bilgisayar yazılımı ile birlikte bilişim ve iletişim teknolojilerini kullanır. | S | |
| 10) | Yaşam boyu öğrenmeye ilişkin olumlu bir tutum geliştirir. | H | |
| 11) | Toplumun gelişim ve değişimini, sorunlarını anlar ve gerektiğinde hukuksal çözüm yolları ile sorunların çözümüne katkıda bulunur. | N | |
| 12) | Hukukun ulusal ve uluslararası kurum ve yapılanmasını, işlevlerini bilir, bunların geliştirilmesine katkıda bulunur. | N |
| Hazırlayan ve Tarih | ŞENİZ DEMİR , November 2024 |
| Ders Koordinatörü | ŞENİZ DEMİR |
| Dönem | Güz |
| Dersi Veren(ler) |
Ders İçeriği
| Hafta | Konu |
| 1) | Temel Ayrık Matematik ve Grafik Teorisi |
| 2) | Temel Ayrık Matematik ve Grafik Teorisi |
| 3) | Sonlu Durum Makineleri ve Düzenli Diller |
| 4) | Sonlu Durum Makineleri ve Düzenli Diller |
| 5) | Belirsizlik ve Düzenli İfadeler |
| 6) | Düzenli İfadeler ve Sonlu Durum Makinelerinin Eşdeğerliği |
| 7) | Düzenli Olmayan Diller ve Pumping Lemma Teorisi |
| 8) | Düzenli Olmayan Diller ve Pumping Lemma Teorisi |
| 9) | Bağlamdan Bağımsız Dilbilgileri ve Belirsizlik |
| 10) | Yığıt Otomatları |
| 11) | Bağlamdan Bağımsız Olmayan Diller ve Pumping Lemma Teorisi |
| 12) | Turing Makineleri |
| 13) | Turing Makineleri |
| 14) | İleri Konular (Karar Verilebilirlik, İndirgenebilirlik, Zaman Karmaşıklığı) |
| 15) | Final Sınavı/Projesi/Sunumu |
| 16) | Final Sınavı/Projesi/Sunumu |
| Gerekli/Tavsiye Edilen Okumalar | Introduction To The Theory Of Computation – Michael Sipser 3rd ed. | |||||||||||||||
| Öğretme Teknikleri | Tersyüz Öğrenme. Sınıf içi aktiviteler | |||||||||||||||
| Ödev ve Projeler | Sınıf içi aktiviteler. Proje yok. | |||||||||||||||
| Laboratuvar Çalışması | Yok | |||||||||||||||
| Bilgisayar Kullanımı | Sınıf içi aktiviteler için | |||||||||||||||
| Diğer Aktiviteler | Yok | |||||||||||||||
| Değerlendirme Yöntemleri |
|
|||||||||||||||
| Ders Yönetimi |
demirse@mef.edu.tr 536 Öğretim Üyesinin Ofisi: Oda 535 (5. kat) Ofis Saatleri: Belirlenecek. E-posta Adresi: demirse@mef.edu.tr Devam Kuralları: Devam zorunluluğu yoktur. Ders İçi Uygulamaya Katılamama: Uygun mazeret belgeleri sunulduğu takdirde, her kaçırılan uygulama için telafi yapılacaktır. Ara Sınava Katılamama: Uygun mazeret belgeleri sunulduğu takdirde, kaçırılan ara sınavlar için telafi yapılacaktır. Final Kaçırılması: Final sınavı yoktur. Uygun Sınıf Davranışları Hatırlatması, Davranış Kuralları: |
|||||||||||||||
AKTS Öğrenci İş Yükü Tahmini
| 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 | 3 | 3 | 84 | |||
| Küçük Sınavlar | 8 | 2 | 1.5 | 28 | |||
| Ara Sınavlar | 2 | 21 | 3 | 48 | |||
| Toplam İş Yükü | 160 | ||||||
| Toplam İş Yükü/25 | 6.4 | ||||||
| AKTS | 6 | ||||||