Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi

Bu dersin amacı öğrencilere, otomasyon teorisi, biçimsel diller ve gramer teorisini ve algoritma, karmaşıklık ve hesaplanabilirlik kavramları dahil olmak üzere hesaplamanın matematiksel temellerini tanıtmak, öğrencilerin hesaplama ve algoritmalar üzerine matematiksel ispatlar yapma yeteneklerini geliştirmektir.

-

Bu derste, yazılım ve donanım uygulamaları için kullanılan otomat ve gramerlerle ilgili biçimsel modellerin yanısıra, bilgisayar ve iletişim süreçlerinin, protokollerin ve sistemlerin doğru şekilde işlediklerinin gerçeklemesini hakkında bilgi verilmektedir. Determinizm, karar verilebilirlik, hesaplanabilirlik, karmaşıklık gibi hesaplama süreçleri ve sistemlerinin temel özellikleri açıklanmaktadır. Otomat teorisinin temelleri, biçimsel gramerler ve diller verilmektedir. Karmaşıklık sınıfları ve karmaşıklık sınıflarının hiyerarşisi tanımlanmaktadır.

Problemin tanımına bağlı olarak, öğrenciler önerilen çözümün biçimsel modelini oluşturacak, doğruluğunu onaylayacak, verimlilik ve karmaşıklığını tahmin edip, yazılım ya da donanım içerisinde uygulayacak, ayrıca belgeleyecek ve test edebileceklerdir.

Yok

Türkçe

Blum, Theoretische Informatik. Oldenbourg 1998. Hoffmann, Theoretische Informatik. Hanser 2009. Rich, Automata, Computability, and Complexity. Pearson Prentice Hall, 2008.

-

• Sonlu ve yığın yapılı otomatlar, Turing makineleri, biçimsel diller ve gramelerim tasarımını ve analizini yapar.
• Algoritma, Karar Verilebilirlik, Hesaplanabilirlik, Karmaşıklık gibi önemli kavramları anlar.
• Hesaplama Teorisinin temel sonuçlarını ispatlayabilir.
• Church-Turing tezi ilişkisini saptar ve açıklar.
• Bilgisayar sistemi ve iletişim protokolü verimliliğini değerlendirir.