• ANASAYFA
• ÜNİVERSİTE HAKKINDA
  • İsim - Adres
  • Genel Bilgi
  • Üniversite Yönetimi
  • Akademik Takvim
  • Derece Programları
  • Yabancı Dilde Eğitim Veren Birimler
  • Genel Kabul ve Kayıt Koşulları
  • Kredi Hareketliliği ve Önceki Öğrenmenin Tanınması
  • AKTS Kredilerinin Belirlenmesi
  • Akademik Danışmanlık
  • İletişim
• DERECE PROGRAMLARI
  • Doktora Programları
  • Yüksek Lisans Programları
  • Lisans Programları
  • Önlisans Programları
• ÖĞRENCİ İÇİN GENEL BİLGİLER
  • Yaşam Standardı
  • Barınma
  • Beslenme
  • Sağlık
  • Engelli İçin Olanaklar
  • Sigorta
  • Finansal Destekler
  • Öğrenci İşleri Daire Başkanlığı
  • Uluslararası Öğrenciler için Pratik Bilgiler
  • Dil Kursları
  • Staj Olanakları
  • Sportif, Sosyal ve Kültürel Faaliyetler
  • Öğrenci Toplulukları ve Kulüpler
  • İzmir-Türkiye Hakkında
• ULUSLARARASI İLİŞKİLER
  • Dış İlişkiler Koordinatörlüğü
  • Kayıt İşlemleri
  • Anlaşmalar
  • Koordinatörler
  • Belgeler
  • Yabancı Dilde Eğitim Veren Birimler
  • AKTS/DE Etiketi

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS FEL 2006 SEMBOLİK MANTIK ZORUNLU 4 0 0 4

Dersi Veren Birim

Sosyoloji

Dersin Düzeyi

Lisans

Ders Koordinatörü

PROFESÖR REŞAT LEVENT AYSEVER

Dersi Alan Birimler

Sosyoloji (İ.Ö) Sosyoloji

Dersin Amacı

Bilgisayarlarda temel olan sembolik mantığı öğrencilere kavratmak.

Dersin Öğrenme Kazanımları

1   Eski mantıkla Yeni mantık arasındaki fark vurgulanacak 2   Önerme kavramı nedir,bu kavranacak 3   Çıkarım fikri kavratılacak 4   Sembolleştirme ve yorumlamanın faydaları vurgulanacak

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta Konular Açıklama 1 Sembolik Mantığın önemi 2 Karma doğruluk çizelgeleri 3 Tümel ve tikel evetleme eklemleri 4 Koşul ve karşılıklı koşul eklemleri 5 Önermelerin denetlenmesi 6 Çıkarım nedir Çıkarıma dayalı karma doğruluk çizelgelerinin denetlenmesi 7 Eşdeğerlilik,sadeleştirme kuralları 8 Niceleme Mantığı 9 Genel Niceleme MantığıGenel Niceleme Mantığı 10 Sembolleştirme ve yorumlama:Önermelerde ve çıkarımlarda 11 Çözümleyici çizelgeler 12 Çözümleyici çizelgelerle tutarlılık ve geçerlilik denetlemesi

Ders İçin Önerilen Kaynaklar

1) T.Grünberg-H.Batuhan vd,Modern Mantık,O.D sa,1999..T.Ü.yay.3.basım.,Ankara,1984. 2) A.Kadir Çüçen,Mantık,Asa yay.,2.basım,Bursa,1999. 3) Hasan Yıldız,Ders Notları (Yayınlanmamış)

Öğrenme ve Öğretme Yöntemleri

Yüz yüze

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL 1 VZ Vize 2 FN Final 3 BNS BNS VZ * 0.40 + FN * 0.60 4 BUT Bütünleme Notu 5 BBN Bütünleme Sonu Başarı Notu VZ * 0.40 + BUT * 0.60 *** Bütünleme Sınavı Yapılmayan Birimlerde Bütünleme Kriteri Dikkate Alınmaz.

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

Sınavlar

Dersin Öğretim Dili

Türkçe

Derse İlişkin Politika ve Kurallar

İlan Edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

İlan Edilecektir.

Ders Öğretim Üyesi Görüşme Gün ve Saatleri

İlan Edilecektir.

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat) Ders Anlatımı 16 4 64 Haftalık Ders öncesi/sonrası hazırlıklar 16 1 16 Vize Sınavı 1 6 6 Final Sınavı 1 12 12 TOPLAM İŞ YÜKÜ (saat) 98

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖK PK.1 PK.2 PK.3 PK.4 PK.5 PK.6 PK.7 PK.8 PK.9 PK.10 PK.11 PK.12 PK.13 PK.14 ÖK.1 3 ÖK.2 3 ÖK.3 3 ÖK.4 3