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ı Seçmeli @ Matematik Mühendisliği ABD Matematik Mühendisliği Doktora Programı |
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) | 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ğ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 / Logical reviewing of changings occur because of updating data. 3.2 Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması / Protection to accuracy of information systems in logical. 4. Veritabanı Kullanılan Lojiksel İşlemler / Logical operations used in databases 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.
Ders Öğrenim Çıktısı & Program Çıktısı Matrisi
DÖÇ-1 | DÖÇ-2 | DÖÇ-3 | DÖÇ-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ı
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 1 | |
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 i | Click to edit |
15 | Dinamik Veritabanlarında var olan Lojiksel Temelleri | İlgili Kaynaklar |
16 | Final |
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 | 1 | 30 |
Sunum/Jüri | ||
Projeler | ||
Seminer/Workshop | ||
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ı | 14 | 6 | |
Derse Özgü Staj | |||
Ödev | 1 | 33 | |
Küçük Sınavlar/Stüdyo Kritiği | |||
Projeler | |||
Sunum / Seminer | |||
Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 33 | |
Final (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 33 | |
Toplam İşyükü : | |||
Toplam İşyükü / 30(s) : | |||
AKTS Kredisi : |
Diğer Notlar | Yok |
---|