Ders Genel Bilgileri

Ders Kodu AKTS T+U+L Kredi Ders Türü SOS20210 5 4+0 4 Zorunlu Ders Linki (Türkçe) : Kopyala Ders Linki (İngilizce) : Kopyala Dersin Dili Türkçe Dersin Düzeyi Lisans Öğretim Türü Örgün Öğretim Dersin Türü Zorunlu Dersin Amacı Niceleyiciler ve Niceleme Mantığı, Gündelik Dİldeki ifadelerin Niceleme Mantığı Notasyonu ile gösterimi Dersin İçeriği Basit ifadelerin gösterimi, Bileşik ifadelerin, Bağıntı Bİldiren ifadelerin gösterimi, Açılım, Tümel ifadelerin açılımı, Tikel ifadelerin açılımı, KArmaşık ifadelerin açılımı, çözümleyici çizelge yöntemi, Çözümleyici Çizelge Yönteminin Önermeler Mantığındaki uygulamaları, özdeşlik denetlemesi, geçerlilik ve tutarlılık denetlemesi, çözümleyici çizelge yönteminin niceleme mantığındaki uygulamaları, açık önerme, kapalı önerme, örnekleme, özdeşlik denetlemesi, geçerlik ve tutarlılık denetlemesi Dersin Ön Koşulları - Dersin Koordinatörü Doç. Dr. Adem Başpınar Dersi Verenler Dr. Öğr. Üyesi Özgür YILMAZ Dersin Yardımcıları - Staj Durumu Yok

Dersin Kaynakları

Kaynaklar Doğan Özlem - MantıkTeo Grunberg - Sembolik Mantık Notlar Doğan Özlem - Mantık Döküman - Ödev -

Ders Yapısı

Matematik ve Temel Bilimler % 0 Mühendislik Bilimleri % 0 Mühendislik Tasarımı % 0 Sosyal Bilimler % 0 Eğitim Bilimleri % 0 Fen Bilimleri % 0 Sağlık Bilimleri % 0 Alan Bilgisi % 100

Değerlendirme Ölçütleri Yarı Yıl Çalışmaları Sayısı Katkı Ara Sınav 1 % 40 Kısa Sınav 0 % 0 Ödev 0 % 0 Devam 0 % 0 Uygulama 0 % 0 Proje 0 % 0 Yarıyıl Sonu Sınavı 1 % 60 Arazi Çalışması 0 % 0 Atölye Çalışması 0 % 0 Laboratuvar 0 % 0 Sunum/Seminer Hazırlama 0 % 0 Toplam 2 % 100

AKTS Hesaplama İçeriği Etkinlik Sayısı Süresi (Saat) Toplam İş Yükü Ders Süresi 14 4 56 Sınıf Dışı Ç. Süresi 14 5 70 Ödevler 1 8 8 Ara Sınavlar 1 8 8 Yarıyıl Sonu Sınavı 0 0 0 Kısa Sınav 0 0 0   142 | AKTS Kredisi : 5

Ders Konuları

Hafta Konu Öğretim Yöntem ve Teknikleri Döküman 1 Basit ifadelerin gösterimi Konu Anlatımı Ders Notları 2 Bileşik ifadelerin gösterimi Konu Anlatımı Ders Notları 3 Açılım Konu Anlatımı Ders Notları 4 Tümel ifadelerin açılımı Konu Anlatımı Ders Notları 5 Tikel ifadelerin açılımı Konu Anlatımı Ders Notları 6 Bileşik İfadelerin Açılımı Konu Anlatımı Ders Notları 7 Çözümleyici çizelge yöntemi Konu Anlatımı Ders Notları 8 Arasınav yazılı sınav Ders Notları ve Ders Kitapları 9 Çözümleyici çizelge yönteminin önermeler mantığındaki uygylamaları Konu Anlatımı Ders Notları 10 Çözümleyici çizelge yönteminin niceleme mantığındaki uygulamaları Konu Anlatımı Ders Notları 11 Açık ve kapalı önermeler Konu Anlatımı Ders Notları 12 özdeşlik denetlemesi Konu Anlatımı Ders Notları 13 geçerlilik denetlemesi Konu Anlatımı Ders Notları 14 tutarlılık denetlemesi- Konu Anlatımı Ders Notları 15 tekrar Konu Anlatımı Ders Notları

Dersin Öğrenme Çıktıları: Bu dersin başarılı bir şekilde tamamlanmasıyla öğrenciler şunları yapabileceklerdir:

# Açıklama 1 Modern mantığın temellerini açıklayabilme 2 Modern mantığın özelliklerini açıklayabilme 3 Basit, bileşik vebağıntı bİldiren ifadeleringösterimini kavrayabilme 4 Tümel, tikel ve karmaşık ifadelerin açılımını kavrayabilme 5 Çözümleyici çizelge yönteminin önermeler mantığındaki uygulamalarını anlayabilme 6 "Özdeşlik","geçerlilik" ve "tutarlılık" denetlemelerini öğrenebilme

Dersin Program Çıktılarına Katkısı

P1 P2 P3 P4 P5 P6 P7 P8 P9 P10 P11 P12 P13 P14 P15 P16 Ö1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Ö2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Ö3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Ö4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Ö5 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 Ö6 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4

Katkı Düzeyi: 0:Yok     1:Çok Düşük     2:Düşük     3:Orta     4:Yüksek     5:Çok Yüksek