• ANASAYFA
• ÜNİVERSİTE HAKKINDA
  • İsim - Adres
  • Genel Bilgi
  • Üniversite Yönetimi
  • Akademik Takvim
  • Derece Programları
  • Yabancı Dilde Eğitim Veren Birimler
  • Genel Kabul ve Kayıt Koşulları
  • Kredi Hareketliliği ve Önceki Öğrenmenin Tanınması
  • AKTS Kredilerinin Belirlenmesi
  • Akademik Danışmanlık
  • İletişim
• DERECE PROGRAMLARI
  • Doktora Programları
  • Yüksek Lisans Programları
  • Lisans Programları
  • Önlisans Programları
• ÖĞRENCİ İÇİN GENEL BİLGİLER
  • Yaşam Standardı
  • Barınma
  • Beslenme
  • Sağlık
  • Engelli İçin Olanaklar
  • Sigorta
  • Finansal Destekler
  • Öğrenci İşleri Daire Başkanlığı
  • Uluslararası Öğrenciler için Pratik Bilgiler
  • Dil Kursları
  • Staj Olanakları
  • Sportif, Sosyal ve Kültürel Faaliyetler
  • Öğrenci Toplulukları ve Kulüpler
  • İzmir-Türkiye Hakkında
• ULUSLARARASI İLİŞKİLER
  • Dış İlişkiler Koordinatörlüğü
  • Kayıt İşlemleri
  • Anlaşmalar
  • Koordinatörler
  • Belgeler
  • Yabancı Dilde Eğitim Veren Birimler
  • AKTS/DE Etiketi

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS BİL 4114 Hesaplama Kuramına Giriş SEÇMELİ 3 0 0 5

Dersi Veren Birim

Bilgisayar Bilimleri

Dersin Düzeyi

Lisans

Ders Koordinatörü

PROF. DR. MURAT ERŞEN BERBERLER

Dersi Alan Birimler

Bilgisayar Bilimleri

Dersin Amacı

Bilgisayar bilimleri problemlerinin çözümünde kullanılacak hesaplama kuramı kavramlarını öğretmek.

Dersin Öğrenme Kazanımları

1   Hesaplama kuramı'nın temel kavramları hakkında bilgi sahibi olabilme. 2   Hesaplama kuramı problemlerini çözebilme. 3   Hesaplama kuramı kavramları ile bilgisayar bilimleri problemlerini çözebilme. 4   Hesaplama kuramı kavramları ile etkin algoritmalar tasarlayabilme. 5   Hesaplama kuramı kavramları ile farklı disiplinlerdeki problemleri çözebilme.

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta Konular Açıklama 1 Hesaplama kuramına giriş 2 Biçimsel ispat, ispat biçimleri 3 Sonlu otomata giriş 4 Gerekirci sonlu otomat 5 Gerekirci sonlu otomat (devamı) 6 Gerekirci olmayan sonlu otomat 7 Gerekirci olmayan sonlu otomat (devamı) 8 Genel tekrar 9 Epsilon geçişli sonlu otomat 10 Epsilon geçişli sonlu otomat (devamı) 11 Düzenli ifadeler 12 Sonlu otomat ve düzenli ifadeler 13 Düzenli ifadelerin uygulamaları 14 Turing makinesi

Ders İçin Önerilen Kaynaklar

Ana kaynak: Introduction to Automata Theory, Languages and Computation, John E. Hopcroft, R. M., J. D. U., ISBN 0321476174 Yardımcı kaynaklar: Özdevinirler (Otomatlar) Kuramı ve Biçimsel Diller, A. Ünal Yarımağan, 2004.

Öğrenme ve Öğretme Yöntemleri

Ders, anlatım, sınıf sunumu ve tartışma biçiminde öğretilecek. Öğretilen dersin yanı sıra, öğrencilere gruplar halinde sunumlar hazırlatılacak ve tartışmalı oturumlar şeklinde sundurulacaktır. Dersin bazı haftalarında, daha önce verilen ödev sonuçları tartışılarak pekiştirilecektir.

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL 1 VZ Vize 2 FN Final 3 BNS BNS VZ * 0.40 + FN * 0.60 4 BUT BÜTÜNLEME 5 BUTBN BÜTÜNLEME SONU BAŞARI NOTU VZ * 0.40 + BUT * 0.60

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

İlan edilecektir.

Dersin Öğretim Dili

Türkçe

Derse İlişkin Politika ve Kurallar

İlan edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

murat.berberler@deu.edu.tr

Ders Öğretim Üyesi Görüşme Gün ve Saatleri

İlan edilecektir.

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat) Ders Anlatımı 14 3 42 Haftalık Ders öncesi/sonrası hazırlıklar 14 4 56 Vize Sınavına Hazırlık 1 10 10 Final Sınavına Hazırlık 1 20 20 Final Sınavı 1 2 2 Vize Sınavı 1 2 2 TOPLAM İŞ YÜKÜ (saat) 132

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖK PK.1 PK.2 PK.3 PK.4 PK.5 PK.6 PK.7 PK.8 PK.9 PK.10 PK.11 PK.12 PK.13 ÖK.1 5 ÖK.2 5 5 ÖK.3 5 5 5 ÖK.4 5 5 ÖK.5 5 5