DENİZ HARP OKULU BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜM BAŞKANLIĞI DERS TANITIM BİLGİLERİ Dersin Adı Kodu Sınıf/Y.Y. Ders Saati (T+U+L) Kredi AKTS Biçimsel Diller ve Soyut Makineler BİM-321 3/II 3+0+0 3 5 Dersin Dili Dersin Seviyesi Dersin Önkoşulu : Türkçe : Lisans : Yok Dersin Öğretim Elemanı : Bilgisayar Müh. Öğretim Elemanı Dersin Amacı : Bu ders genel olarak bilgisayar bilimlerinin temelini oluşturan biçimsel diller ve hesaplama modellerini öğreterek, öğrencilerin programlama dillerinin tasarımına ilişkin matematiksel yöntemleri ve bir bilgisayar programın kabul şartları için araçları kavraması hedeflenmektedir. Dersin Öğrenim Kazanımları : Bu dersi başarıyla tamamlayabilen öğrenciler; 1. Biçimsel dilleri bilir. 2. Hesaplama modellerini bilir. 3. Düzenli ifadeler, gramer ve sonlu durum makinelerini birbirine dönüştürebilir. 4. Bağlamdan bağımsız gramer ve yığın yapılı otomatları birbirine dönüştürebilir. 5. Turing Makinelerini ve hesaplanabilirliği bilir. Dersin İçeriği : Bilgisayar bilimlerinin temeli olan biçimsel (formel) diller, gramerler, düzenli ifadeler, sonlu durum makineleri, belirgin ve belirgin olmayan otomatlar, bağlamdan bağımsız gramerler ve yığın yapılı otomatlar, Turing makinesi ve hesaplanabilirlik konularını içermektedir.
1. Introduction to The Theory of Computation Michael SIPSER Ders Kitabı 1. Elements of The Theory of Computation Harry R. LEWIS, Christos H. PAPADİMİTRİOU Diğer Kaynaklar Ödevler ve Projeler Bilgisayar Kullanımı Diğer Uygulamalar Başarı Değerlendirme Sistemi Yarıyıl Değerlendirme Faaliyetler Taban Notu Adedi Değerlendirmedeki Katkısı, % Ara Sınav 45 1 24% Kısa Sınavlar 45 1 % Ödevler 45 1 % Projeler 45 1 % Dönem Ödevi/Projesi 45 1 % Laboratuar Uygulaması 45 1 % Diğer Uygulamalar 45 1 % Bitirme Sınavı 45 1 60% Bütünleme / NYS Tek Ders / Ek NYS 45-100% 45-100% 16%
Sayfa No. 1 2 3 4 5 6 Program Yeterlilikleri Matematik, fen ve mühendislik bilgisini uygulayabilme, Karşılaşılan problemlerin tanımlanması, çözümü ve analizi esnasında, Temel Bilgisayar Mühendisliği kavramlarını, algoritmalarını, uygulamalarını ve çözümlerini kullanabilme, Deney tasarlama, verileri analiz etme ve yorumlama becerisi, Ekonomik, çevresel, sosyal, politik, etik, sağlıklı ve güvenli, üretilebilir ve devam ettirilebilir gibi gerçekçi kısıtlar altında arzu edilen bir ihtiyacı karşılamak için, bilgisayar alt yapısına dayalı bir sistemi, parçasını veya bir süreci kurmak, yapılandırmak, yönetmek ve işletmek, Bilgi sistemleri ve yazılımları ile ilgili ihtiyaçları, problemlerini tanımlamak, formüle etmek ve çözüm üretmek, Problem çözümü için uygun yöntemi saptamak ve uygulamak, Dersin Katkı Düzeyi 1 2 3 4 5 7 Bilişim teknolojilerini etkin kullanmak, 8 Çözümlere özel bilgisayar alt yapısı kurmak ve yazılımları geliştirmek, 9 10 Bilgisayar Mühendisliği problemlerini analiz etmek için, benzetim, bilgisayar mühendisliği için gerekli yöntem ve yazılım paketlerini kullanmasını bilmek, Sözel ve yazılı olarak iş ahlakı içinde takım üyeleri ve müşterilerle etkin iletişim kurmak, 11 Mesleki ve etik sorumluluk bilincine sahip olabilme, 12 13 14 15 Hayat boyu öğrenmenin önemini kavrayarak, bilim ve teknoloji alanındaki yenilikleri takip ederek kendini geliştirebilme, Bireysel çalışma ve bağımsız karar verme yetisine sahip olarak fikirlerini sözlü ve yazılı olarak açıkça ifade edebilme ve iletişim kurabilme, Atatürk ilke ve inkılapları doğrultusunda demokratik, laik ve sosyal hukuk devleti ilkelerine bağlı hizmet bilincine sahip olabilme, Türkçe yi sözlü ve yazılı ortamlarda etkin kullanabilme, 16 Uluslar arası ortamda alanı ile ilgili kaynakları kullanabilecek, meslektaşları ile iletişim kurabilecek düzeyde bir yabancı dil bilgisine sahip olabilme; ikinci yabancı dili orta düzeyde kullanabilme.
PROGRAM YETERLİLİKLERİ VE DERSİN ÖĞRENME KAZANIMLARI İLİŞKİSİ Katkı Düzeyi 1 2 3 4 5 Çok Düşük Düşük Orta Yüksek Çok Yüksek BİLGİSAYAR MÜHENDİSLİĞİ PY-1 PY-2 PY-3 PY-4 PY-5 PY-6 PY-7 PY-8 PY-9 PY- 10 PY- 11 PY- 12 PY- 13 PY- 14 PY- 15 PY- 16 DK-1 3 4 1 1 5 1 1 1 1 3 3 2 1 2 1 1 DK-2 5 4 1 4 5 1 1 1 1 3 3 2 1 2 1 1 DK-3 5 4 1 1 4 5 1 1 1 3 3 2 1 2 1 1 DK-4 3 3 5 1 1 1 1 1 1 3 3 2 1 2 1 1 DK-5 1 1 5 1 1 1 1 1 1 3 3 2 1 2 1 1 Hafta 1 Teorik HESAPLAMA KURAMINA GİRİŞ - Otomatlar kuramı, - Karmaşıklık kuramı, - Hesaplanabilirlik kuramı HAFTALIK KONULAR KONULAR Uygulama 2 MATEMATİKSEL TERMİNOLOJİ VE İSPAT YÖNTEMLERİ 3 4 5 6 7 DÜZENLİ DİLLER - Sonlu Durum Makineleri - Düzenli İşlemler DÜZENLİ DİLLER - Kararsız Sonlu Durum Makineleri - Kararlı/Kararsız Sonlu Durum Makineleri Dönüşümü DÜZENLİ DİLLER - Düzenli İfadeler - Düzenli Olmayan Diller - Bağlam Bağımsız Gramerler - Belirsiz Gramerller - Normal Biçimler - Ayrıştırma Ağacı
8 - Yığın Yapılı Otomatlar 9 ARA SINAV - Bağlam Bağımsız Gramer ve Yığın yapılı Otomat Eşitliği 10 - Bağlam Bağımsız Olmayan Diller 11 12 13 14 15 16 CHURCH-TURİNG TEZİ -Turing makineeri - Turing Makineleri ile Hesaplama TURING MAKİNALARI TÜRLERİ - Çok Teypli TM ler - Kararsız TM ler TURING MAKİNALARI - Örnek Turing Makineleri KARAR VERİLEBİLİRLİK - Karar Verilebilir Diller - Sonlanma Problemi (Halting Problem) KARAR VERİLEBİLİRLİK - Düzenli ve Bağlam Bağımsız Gamerler Hakkında Çözülemeyen Problemler - TM hakkında Çözülemeyen Problemler Hesaplama Karmaşıklığı (Computational Compleity) P-Sınıf NP-Sınıf AKTS / İŞ YÜKÜ TABLOSU FAALİYETLER SAYI SÜRE (SAAT) TAHMİN EDİLEN İŞ YÜKÜ (SAAT) Teorik Ders 15 3 45 Uygulama - - - Sınıf Dışı Ders Çalışma Süresi 15 3 45 Ödevlerin Yapılması ve Rapor Olarak Teslimi 5 4 20 Dönem Projesi - - - Proje Sunumu - - - Kısa Sınav (Quiz) - - - Ara Sınav 1 2 2 Ara Sınav İçin Bireysel Çalışma 1 14 14 Final Sınavı 1 2 2 Final Sınavı İçin Bireysel Çalışma 1 22 22 TOPLAM İŞ YÜKÜ 150 Saat DERSİN AKTS KREDİSİ Toplam İş Yükü / 30 = 150 / 30 = 5 5 Kredi
Son Güncelleme Tarihi 26.07.2018 Güncelleyen Kişi