|
Dersin
Adı |
Kodu |
Normal Yarıyılı |
Grup No |
ECTS |
Kredi |
Ders |
3 |
||
|
Uygulama |
0 |
||||||||
|
Lojik
ve Veritabanları |
5206127 |
|
|
8 |
3 |
Laboratuvar |
0 |
||
|
Dersin Dili |
Türkçe, İngilizce Opsiyonel |
||||||||
|
Dersin Türü |
|
||||||||
|
Dersin Koordinatörü |
Y. Doç. Dr. Ayla ŞAYLI
|
||||||||
|
Dersin İçeriği |
Bilgi Sistemleri ve Veritabanları için Lojiğe Giriş, Lojiğin
Temel Kavramları, Bilgi Sistemlerindeki Geçici Lojik, Veritabanı
Kullanılan Lojiksel İşlemler, Lojiksel Kuralların
Veritabanındaki Önkoşullarda Uygulanması, Kavramsal Veri Modellemeleri İçin
Tanımlanan Lojikler: Kullanıcı İsteklerinin
Veritabanı Sistemlerinde Lojiksel Olarak İfade Edilme Esasları-İşlemlerin Lojiksel Akış Diyagramları-Önceliklerin
Modellenmesi, Eksik Bilgiler İçin Lojiksel Yaklaşımlar, Dinamik
Veritabanlarında Varolan Lojiksel Temeller |
||||||||
|
Dersin Amacı |
· Veritabanı sistemleri
ve Lojik arasındaki varolan 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
Kazandıracağı Bilgi
ve Beceriler |
·
Matematiksel model kurma becerisi ·
Matematiksel
metotların veritabanının alt konularındaki
uygulama becerise ·
Veritabanı konularında Matematiksel
İspat yapma becerisi |
||||||||
|
Dersin
Kitabı (Notu) |
The Logic of Knowledge Bases Hector J. Levesque and Gerhard Lakemeyer, MIT Press; 1st edition ( 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, Logic and databases: a 20
year retrospective. Workshop on Logic in Databases, J. Minker
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. |
||||||||
|
Yararlanılacak Diğer
Kaynaklar |
|
||||||||
|
Ön Koşul
Dersleri |
|
||||||||
|
Ön Koşul
Konuları |
|
||||||||
|
Ödev
ve Projeler |
Var |
||||||||
|
Laboratuvar Deneyleri |
|
||||||||
|
Bilgisayar Kullanımı |
Var |
||||||||
|
Diğer Uygulamalar |
|
||||||||
|
Başarı Değerlendirme Sistemi |
|
Adedi |
Etki Oranı % |
||||||
|
Ara Sınavlar |
1 |
30 |
|||||||
|
Kısa Sınavlar |
|
|
|||||||
|
Ödevler |
1 |
30 |
|||||||
|
Projeler |
|
|
|||||||
|
Dönem Ödevi |
|
|
|||||||
|
Laboratuvar |
|
|
|||||||
|
Diğer |
|
|
|||||||
|
Final Sınavı |
1 |
40 |
|||||||
|
Ders
Gruplarına Göre Ders Kredisinin Dağılımı (%) |
Temel
Bilimler |
|
|||||||
|
Temel Mühendislik |
20 |
||||||||
|
Mesleki |
80 |
||||||||
|
Üniversite Dersi |
|
||||||||
|
Hafta |
Konular |
|
|
1 |
Lojik ve Veritabanı |
|
|
2 |
Lojik ve Bilgi
Sistemleri |
|
|
3 |
Lojiğin Temel Kavramları |
|
|
4 |
Lojiğin Temel Kavramları |
|
|
5 |
Verilerin Güncellenmesi ile Oluşan Değişimlerin Lojiksel
Değerlendirilmesi |
|
|
6 |
Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması
|
|
|
7 |
Lojiksel Kuralların
Veritabanındaki Önkoşullarda Uygulanması |
|
|
8 |
Veritabanından Oluşturulan Özet Bilgilerin Lojiksel Temsili |
|
|
9 |
İşlemler
Arasındaki Geçişlerdeki Lojiksel Aşamaların Kontrolu |
|
|
10 |
Kullanıcı
İsteklerinin Veritabanı Sistemlerinde Lojiksel Olarak İfade
Edilme Esasları |
|
|
11 |
İşlemlerin Lojiksel Akış Diyagramları |
|
|
12 |
İşlemlerin Lojiksel Akış Diyagramları |
|
|
13 |
Önceliklerin Modellenmesi |
|
|
14 |
Eksik Bilgiler İçin Lojiksel Yaklaşımlar |
|
|
15 |
Dinamik Veritabanlarında Varolan
Lojiksel Temeller |
|
|
Hazırlayan: Y. Doç.
Dr. Ayla ŞAYLI |
Tarih: |
|
|
|
|
1 |
2 |
3 |
|
1 |
Matematik ve Temel
Mühendislik bilgilerini kullanarak model kurar. |
|
|
Ö |
|
2 |
Disiplinler arası
takım çalışmasında etkin rol alır. |
|
|
Ö |
|
3 |
Matematiksel
modelleri analitik, sayısal veya
istatistiki tekniklerle çözme becerisi kazanır. |
|
|
Ö |
|
4 |
Çözümleri ve
sonuçları doğru bir biçimde yorumlar. |
|
Ö |
|
|
5 |
Bilgisayar tabanlı
teknikleri kullanarak problemleri bilgisayarda çözebilecek hale getiren algoritmaları oluşturur ve
uygular. |
|
|
Ö |
|
6 |
Kendi alanındaki
yayınları ve gelişmeleri takip edebilecek ve gerektiğinde
sunumda bulunabilecek kadar
ingilizceyi kullanma becerisi kazanır. |
|
Ö |
|
|
7 |
Endüstride ve Bilimsel
kuruluşlarda araştırma ve geliştirme faliyetlerlerinde
bulunur. |
|
|
Ö |
|
8 |
Eğitim
faliyetlerinde bulunur. |
|
Ö |
|
|
9 |
Mesleğin
sorumluluklarının bilincindedir. |
|
|
Ö |
|
10 |
Mesleki konularda
güncel gelişmeleri yakından takip eder. |
|
|
Ö |
|
11 |
Mesleğin
gerektirdiği çağdaş yöntem ve araçları kullanır. |
|
|
Ö |
|
12 |
Yaşam boyu
öğrenmenin önemini kavrar. |
|
|
Ö |
1- Hiç
katkısı yok 2-Kısmen
katkısı var 3-Tam
katkısı var