Ders AdıKodu Yerel KrediAKTS Ders (saat/hafta)Uygulama (saat/hafta)Laboratuar (saat/hafta)
Lojik ve Veritabanları MTM511137.5300
ÖnkoşullarYok
YarıyılGüz, Bahar
Dersin Diliİngilizce, Türkçe
Dersin SeviyesiYüksek Lisans
Dersin TürüSeçmeli @ Matematik Mühendisliği ABD Matematik Mühendisliği Yüksek Lisans Programı (İngilizce)
Ders KategorisiUzmanlık/Alan Dersleri
Dersin Veriliş ŞekliYüz yüze
Dersi Sunan Akademik BirimMatematik Mühendisliği Bölümü
Dersin Koordinatörü
Dersi Veren(ler)Ayla Şaylı
Asistan(lar)ı
Dersin AmacıVeritabanı Sistemleri ve Lojik arasındaki var olan ilişkilerin öğretilmesi, Lojiksel metotların veritabanındaki uygulamalarının verilmesi, Veritabanı sistemlerinin gelişmesinde Lojiğin önemi ve gereğinin kavratılması.
Dersin İçeriği1. Bilgi Sistemleri ve Veritabanları için Lojiğe Giriş 1.1 Lojik ve Veritabanı 1.2 Lojik ve Bilgi Sistemleri 2. Lojiğin Temel Kavramları 3. Bilgi Sistemlerindeki Geçici Lojik 3.1 Verilerin Güncellenmesi ile Oluşan Değişimlerin Lojiksel Değerlendirilmesi 3.2 Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması 4. Veritabanı Kullanılan Lojiksel İşlemler 4.1 Lojiksel Kuralların Veritabanındaki Önkoşullarda Uygulanması 4.2 Veritabanından Oluşturulan Özet Bilgilerin Lojiksel Temsili 4.3 İşlemler Arasındaki Geçişlerdeki Lojiksel Aşamaların Kontrolu 5. Kavramsal Veri Modellemeleri İçin Tanımlanan Lojikler 5.1 Kullanıcı İsteklerinin Veritabanı Sistemlerinde Lojiksel Olarak İfade Edilme Esasları 5.2 İşlemlerin Lojiksel Akış Diyagramları 5.3 Önceliklerin Modellenmesi 6. Eksik Bilgiler İçin Lojiksel Yaklaşımlar 7. Dinamik Veritabanlarında var olan Lojiksel Temeller
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
  • “The Logic of Knowledge Bases” Hector J. Levesque and Gerhard Lakemeyer, MIT Press; 1st edition (February 19, 2001), ISBN: 0262122324
  • “Logics for Databases and Information Systems”, Jan Chomicki and Gunter Saake, Kluwer Academic Publishers; 1st edition (March 1998), ISBN: 0792381297
  • “Logic for Mathematics and Computer Science”, Stanley N. Burris, Prentice Hall, 1998, ISBN: 0-13-285974-2
  • “Logic-based approach to semantic query optimization”, U.S. Chakravarthy, J. Grant And J. Mınker. ACM Transactions on Database Systems, Vol. 15, No. 2, June 1990, 162-207.
Opsiyonel Program BileşenleriYok

Ders Öğrenim Çıktıları

  1. Matematiksel model kurma becerisi kazanır.
  2. Matematiksel metotların veritabanının alt konularındaki uygulama becerisi kazanır.
  3. Veritabanı konularında Matematiksel ispat yapma becerisi kazanır.
  4. Lojiksel ifadeleri kullanma becerisi kazanır.

Ders Öğrenim Çıktısı & Program Çıktısı Matrisi

DÖÇ-1DÖÇ-2DÖÇ-3DÖÇ-4
PÇ-1----
PÇ-2----
PÇ-3----
PÇ-4----
PÇ-5----
PÇ-6----
PÇ-7----
PÇ-8----
PÇ-9----
PÇ-10----
PÇ-11----
PÇ-12----
PÇ-13----
PÇ-14----
PÇ-15----
PÇ-16----
PÇ-17----
PÇ-18----
PÇ-19----
PÇ-20----
PÇ-21----
PÇ-22----
PÇ-23----
PÇ-24----
PÇ-25----
PÇ-26----
PÇ-27----
PÇ-28----
PÇ-29----
PÇ-30----

Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları

HaftaKonularÖn Hazırlık
1Lojik ve Veritabanı İlgili Kaynaklar
2Lojik ve Bilgi Sistemleri İlgili Kaynaklar
3Lojiğin Temel Kavramları İlgili Kaynaklar
4Lojiğin Temel Kavramları İlgili Kaynaklar
5Verilerin Güncellenmesi ile Oluşan Değişimlerin Lojiksel Değerlendirilmesi İlgili Kaynaklar
6Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması İlgili Kaynaklar
7Lojiksel Kuralların Veritabanındaki Önkoşullarda Uygulanması,Veritabanından Oluşturulan Özet Bilgilerin Lojiksel Temsiliİlgili Kaynaklar
8Ara Sınav 1 / Uygulama veya Konu Tekrarı
9İşlemler Arasındaki Geçişlerdeki Lojiksel Aşamaların Kontrolu İlgili Kaynaklar
10Kullanıcı İsteklerinin Veritabanı Sistemlerinde Lojiksel Olarak İfade Edilme Esasları İlgili Kaynaklar
11İşlemlerin Lojiksel Akış Diyagramları İlgili Kaynaklar
12Önceliklerin Modellenmesi İlgili Kaynaklar
13Eksik Bilgiler İçin Lojiksel Yaklaşımlar İlgili Kaynaklar
14Eksik Bilgiler İçin Lojiksel Yaklaşımlar İlgili Kaynaklar
15Final

Değerlendirme Sistemi

EtkinliklerSayıKatkı Payı
Devam/Katılım
Laboratuar
Uygulama
Arazi Çalışması
Derse Özgü Staj
Küçük Sınavlar/Stüdyo Kritiği
Ödev
Sunum/Jüri
Projeler
Seminer/Workshop130
Ara Sınavlar130
Final140
Dönem İçi Çalışmaların Başarı Notuna Katkısı
Final Sınavının Başarı Notuna Katkısı
TOPLAM100

AKTS İşyükü Tablosu

EtkinliklerSayıSüresi (Saat)Toplam İşyükü
Ders Saati143
Laboratuar
Uygulama
Arazi Çalışması
Sınıf Dışı Ders Çalışması1512
Derse Özgü Staj
Ödev
Küçük Sınavlar/Stüdyo Kritiği
Projeler
Sunum / Seminer15
Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi)12
Final (Sınav Süresi + Sınav Hazırlık Süresi)12
Toplam İşyükü :
Toplam İşyükü / 30(s) :
AKTS Kredisi :
Diğer NotlarYok