| Ders Adı | Kodu | Yerel Kredi | AKTS | Ders (saat/hafta) | Uygulama (saat/hafta) | Laboratuar (saat/hafta) |
|---|---|---|---|---|---|---|
| Lojik ve Veritabanları | MTM5111 | 3 | 7.5 | 3 | 0 | 0 |
| Önkoşullar | Yok |
|---|
| Yarıyıl | Güz, Bahar |
|---|
| Dersin Dili | İngilizce, Türkçe |
|---|---|
| Dersin Seviyesi | Yüksek Lisans |
| Dersin Türü | Seçmeli @ Matematik Mühendisliği ABD Matematik Mühendisliği Yüksek Lisans Programı (İngilizce) |
| Ders Kategorisi | Uzmanlık/Alan Dersleri |
| Dersin Veriliş Şekli | Yüz yüze |
| Dersi Sunan Akademik Birim | Matematik Mühendisliği Bölümü |
|---|---|
| Dersin Koordinatörü | Ayla Şaylı |
| Dersi Veren(ler) | Fatih Taşçı |
| 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ği | 1. 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 |
|
| Opsiyonel Program Bileşenleri | Yok |
Ders Öğrenim Çıktıları
- Matematiksel model kurma becerisi kazanır.
- Matematiksel metotların veritabanının alt konularındaki uygulama becerisi kazanır.
- Veritabanı konularında Matematiksel ispat yapma becerisi kazanır.
- Lojiksel ifadeleri kullanma becerisi kazanır.
Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları
| Hafta | Konular | Ön Hazırlık |
|---|---|---|
| 1 | Lojik ve Veritabanı | İlgili Kaynaklar |
| 2 | Lojik ve Bilgi Sistemleri | İlgili Kaynaklar |
| 3 | Lojiğin Temel Kavramları | İlgili Kaynaklar |
| 4 | Lojiğin Temel Kavramları | İlgili Kaynaklar |
| 5 | Verilerin Güncellenmesi ile Oluşan Değişimlerin Lojiksel Değerlendirilmesi | İlgili Kaynaklar |
| 6 | Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması | İlgili Kaynaklar |
| 7 | Lojiksel Kuralların Veritabanındaki Önkoşullarda Uygulanması,Veritabanından Oluşturulan Özet Bilgilerin Lojiksel Temsili | İlgili Kaynaklar |
| 8 | Ara sınav | İlgili Kaynaklar |
| 9 | İşlemler Arasındaki Geçişlerdeki Lojiksel Aşamaların Kontrolu | İlgili Kaynaklar |
| 10 | Kullanıcı İsteklerinin Veritabanı Sistemlerinde Lojiksel Olarak İfade Edilme Esasları | İlgili Kaynaklar |
| 11 | İşlemlerin Lojiksel Akış Diyagramları | İlgili Kaynaklar |
| 12 | Önceliklerin Modellenmesi | İlgili Kaynaklar |
| 13 | Eksik Bilgiler İçin Lojiksel Yaklaşımlar | İlgili Kaynaklar |
| 14 | Eksik Bilgiler İçin Lojiksel Yaklaşımlar | İlgili Kaynaklar |
| 15 | Dinamik Veritabanlarında var olan Lojiksel Temeller | İlgili Kaynaklar |
| 16 | Final Sınavı | İlgili Kaynaklar |
Değerlendirme Sistemi
| Etkinlikler | Sayı | 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/Workshop | 1 | 30 |
| Ara Sınavlar | 1 | 30 |
| Final | 1 | 40 |
| Dönem İçi Çalışmaların Başarı Notuna Katkısı | ||
| Final Sınavının Başarı Notuna Katkısı | ||
| TOPLAM | 100 | |
AKTS İşyükü Tablosu
| Etkinlikler | Sayı | Süresi (Saat) | Toplam İşyükü |
|---|---|---|---|
| Ders Saati | 14 | 3 | |
| Laboratuar | |||
| Uygulama | |||
| Arazi Çalışması | |||
| Sınıf Dışı Ders Çalışması | 15 | 12 | |
| Derse Özgü Staj | |||
| Ödev | |||
| Küçük Sınavlar/Stüdyo Kritiği | |||
| Projeler | |||
| Sunum / Seminer | 1 | 5 | |
| Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 2 | |
| Final (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 2 | |
| Toplam İşyükü : | |||
| Toplam İşyükü / 30(s) : | |||
| AKTS Kredisi : | |||
| Diğer Notlar | Yok |
|---|
