GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| SOS308 | Sembolik Mantık | Zorunlu Ders | 3 | 6 | 4,00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
Türkçe
[DersinAmaci]
Dersin amacı modern mantıktaki yeni eğilimleri ve mantık teoremlerini ve sembollerini irdelemektir.
Dersi Veren Öğretim GörevlisiGörevlileri
Prof. Dr. Yakup KAHRAMAN
Öğrenme Çıktıları
| 1 | Alanı ile ilgili bilgileri toplumsal sorumluluk bilinciyle, iş ve gündelik yaşamında kullanır. |
| 2 | Eleştirel, farklı ve yaratıcı düşünme ve çok boyutlu bakabilme becerisi kazanır. |
| 3 | Teorik bilgileri ilgili disiplinlere ait bilgilerle bütünleştirerek yorumlar, çözümler ve yeni bilgiler oluşturur. |
| 4 | |
| 5 |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Yok
Ders İçin Önerilen Diğer Hususlar
Yok
Dersin İçeriği
Modern (sembolik) mantığın içeriği, önermeler mantığı, yüklemler mantığı, temel çözümleme kuralları, temel doğruluk çizelgeleri, önermelerin eşdeğerliliği, çıkarım, tutarlılık, niceleme mantığı, yüklemler mantığı, açık önermeler, özelleme, özelleme kuralları.
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | Uygulama | Laboratuvar |
|---|---|---|---|
| 1 | Semiotik ve Dil : Dilin Çeşitli Kullanımları | ||
| 2 | Semiotiğin Ana kavramları | ||
| 3 | Önermeler Mantığı: Önerme ve yapısı | ||
| 4 | Eklemlerin Fonksiyonları | ||
| 5 | Doğruluk Değeri Analizi: Karma Doğruluk Çizelgeleri | ||
| 6 | Geçerlilik ve Tutarlılık Denetlemesi | ||
| 7 | Eşdeğerlilik ve Uygulamaları | ||
| 8 | Sadeleştirme Kanunları | ||
| 9 | Arasınav | ||
| 10 | Quine metodu | ||
| 11 | Dönüştürme kanunları | ||
| 12 | Alıştırma Örnekleri | ||
| 13 | Bir Tam-Deyimin Dönüştürülmüş Biçimleri | ||
| 14 | Dağıtıcılık | ||
| 15 | Dağıtıcılık | ||
| 16 | final |
Ders Kitabı Malzemesi Önerilen Kaynaklar
Çüçen, A.K. 2006. Mantık, Bursa, Asa Kitabevi. Nesin, A. 2009. Önermeler Mantığı, İstanbul, Nesin Yayıncılık. Şen, Z. 2003. Modern Mantık, Bilgi Kültür Sanat Yayınları.
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
Yok
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 60 | 60 |
| Final Sınavı | 1 | 60 | 60 |
| Toplam İş Yükü (saat) | 120 | ||
Program ve Öğrenme Çıktıları İlişkisi
| 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 | |
| ÖÇ 1 | 1 | |||||||||||||||
| ÖÇ 2 | ||||||||||||||||
| ÖÇ 3 | ||||||||||||||||
| ÖÇ 4 | ||||||||||||||||
| ÖÇ 5 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek