Ders Öğretim Planı
BİÇİMSEL DİLLER ve OTOMATA
1
Dersin Adı:
BİÇİMSEL DİLLER ve OTOMATA
2
Dersin Kodu:
BMB2004
3
Dersin Türü:
Zorunlu
4
Dersin Seviyesi:
Lisans
5
Dersin Verildiği Yıl:
2
6
Dersin Verildiği Yarıyıl:
4
7
Dersin AKTS Kredisi:
5
8
Teorik Ders Saati (saat/hafta):
3
9
Uygulama Ders Saati (saat/hafta):
0
10
Laboratuar Ders Saati (saat/hafta):
0
11
Dersin Önkoşulu
Yok
12
Ders İçin Önerilen Diğer Hususlar
Yok
13
Dersin Dili:
Türkçe
14
Dersin Veriliş Şekli
Yüz yüze
15
Dersin Koordinatörü:
Doç. Dr. GIYASETTİN ÖZCAN
16
Dersi Veren Diğer Öğretim Elemanları:
17
Ders Koordinatörünün İletişim Bilgileri:
Bilgisayar Müh. Bölüm Binası, 1. kat, oda 107
18
Dersin Web Adresi:
19
Dersin Amacı
Biçimsel Diller ve Otomatların kavranması, problemin hangi dil kümesine ait olduğunun belirlenebilmesinin kavranması Lex ve sentaks analizi, Karmaşıklığın kavranması
20
Dersin Mesleki Gelişime Katkısı:
Kuramsal hesaplama modellerinin mantığının kazanılması.
21
Ders Öğrenme Kazanımları
1
Biçimsel Dilleri anlama becerisi;
2
Teorik Kavramları Anlama becerisi;
3
Lex ve sentaks analiz yapma becerisi;
4
Hesap karmaşıklığını anlama becerisi;
5
Turing Makinesini her yönüyle kavrama becerisi;
Hafta
Teori
Uygulama
1
Diller, DFA
2
Regüler Dilller
3
Non Determinizm
4
Regüler dillerin özellikleri ve regüler İfadeler
5
Regüler Dillerde pompalama
6
CFL ve gramerleri
7
Gramer normal formları, parserlar
8
Yıliçi sınav+Ders tekrarı
9
PDA ve CFL ilişkisi
10
Turing makinesi ve varyasyonları
11
Evrensel Turing Makinesi
12
Karar verilebilen/verilemeyen diller
13
İndirgeme/Karmaşıklık
14
Cook Teoremi, NP Complete indirgeme
23
Ders Kitabı, Referanslar ve/veya Diğer Kaynaklar:
Introduction to the Theory of Computation, Michael Sipser
24
Değerlendirme
YARIYIL İÇİ ÇALIŞMALARI
SAYISI
KATKI YÜZDESİ
Ara Sınav
1
40
Kısa Sınav
0
0
Ödev
0
0
Yıl sonu Sınavı
1
60
Toplam
2
100
Yıl içi çalışmalarının Başarıya Oranı
40
Finalin BAşarıya Oranı
60
Toplam
100
Derste Kullanılan Ölçme ve Değerlendirme Yaklaşımları
Ölçme ve değerlendirme, Bursa Uludağ Üniversitesi Önlisans ve Lisans Eğitim Öğretim Yönetmeliği ilkelerine göre yapılmaktadır.
Açıklama
Bağıl değerlendirme sistemi uygulanmaktadır. 1 Ara Sınav ve 1 Final sınavı yapılmaktadır.
25
AKTS / İŞ YÜKÜ TABLOSU
Etkinlik
SAYISI
Süresi [Saat]
Toplam İş Yükü [Saat]
Teorik Dersler
14
3
42
Uygulamalı Dersler
0
0
0
Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, pekiştirme)
0
0
0
Ödevler
0
0
0
Projeler
0
0
0
Arazi Çalışmaları
0
0
0
Arasınavlar
1
54
54
Diğer
0
0
0
Yarıyıl Sonu Sınavları
1
54
54
Toplam İş Yükü
204
Toplam İş Yükü / 30 saat
5
Dersin AKTS Kredisi
5
26
PROGRAM YETERLİLİKLERİ İLE DERS ÖĞRENİM KAZANIMLARI İLİŞKİSİ TABLOSU
PY1
PY2
PY3
PY4
PY5
PY6
PY7
PY8
PY9
PY10
PY11
PY12
OK1
5
5
5
1
1
1
5
1
1
1
1
1
OK2
5
5
5
1
1
1
5
1
1
1
1
1
OK3
5
5
5
1
1
1
5
1
1
1
1
1
OK4
5
5
5
1
1
1
5
1
1
1
1
1
OK5
5
5
5
1
1
1
5
1
1
1
1
1
OK6
0
0
0
0
0
0
0
0
0
0
0
0
ÖK: Öğrenim Kazanımları
PY: Program Yeterlilikleri
Katkı Düzeyi:
1 Çok Düşük
2 Düşük
3 Orta
4 Yüksek
5 Çok Yüksek
