Türkçe English Ders İçerik Rapor
Ders Öğretim Planı
SEMBOLİK MANTIK
1 Dersin Adı: SEMBOLİK MANTIK
2 Dersin Kodu: FDB5139
3 Dersin Türü: Seçmeli
4 Dersin Seviyesi: Yüksek Lisans
5 Dersin Verildiği Yıl: 1
6 Dersin Verildiği Yarıyıl: 1
7 Dersin AKTS Kredisi: 8
8 Teorik Ders Saati (saat/hafta): 3
9 Uygulama Ders Saati (saat/hafta): 0
10 Laboratuar Ders Saati (saat/hafta): 0
11 Dersin Önkoşulu Yok
12 Ders İçin Önerilen Diğer Hususlar Yok
13 Dersin Dili: Türkçe
14 Dersin Veriliş Şekli Yüz yüze
15 Dersin Koordinatörü: Doç.Dr. Aytekin Özel
16 Dersi Veren Diğer Öğretim Elemanları: Yok
17 Ders Koordinatörünün İletişim Bilgileri: Doç. Dr. Aytekin Özel.
Uludağ Üniversitesi, İlahiyat Fak., Fethiye Mahallesi Kırlangıç Sokak No:2B 16140 Nilüfer Bursa.
18 Dersin Web Adresi:
19 Dersin Amacı Bu ders önermesel mantığı, niceleme mantığını, özdeşlik mantığını ve varlık mantığını öğretmeyi amaçlar.
20 Dersin Mesleki Gelişime Katkısı:
21 Ders Öğrenme Kazanımları
1 Sembolik mantığın temel kavramlarını öğrenir.;
2 Sembolleştirme yapar.;
3 Doğruluk tablosu yöntemini öğrenir.;
4 Türetim yöntemini öğrenir.;
5 Niceleme mantığını kavrar.;
6 Niceleme mantığında türetim yöntemini öğrenir.;
7 Özdeşlik mantığını öğrenir.;
8 Varlık mantığını öğrenir.;
9 Bazı mantık felsefesi problemlerini anlar ;
10 Çağdaş mantığın doğuşu ve gelişimini izler.;
22 Dersin İçeriği
Hafta Teori Uygulama
1 SEMBOLIK MANTIKLARIN TEMEL KAVRAMLARI
2 ÖNERME EKLEMLERI MANTIĞI
3 SEMBOLLEŞTIRME
4 ÖNERME EKLEMLERI MANTIĞINDA ÇÖZÜMLEYICI ÇIZELGE
5 ALIŞTIRMALAR
6 ÖNERME EKLEMLERI MANTIĞINDA TÜRETIM YÖNTEMI
7 Yüklem ve Niceleme
8 SEMBOLLEŞTIRME
9 NICELEME MANTIĞI
10 ALIŞTIRMALAR
11 NICELEME MANTIĞINDA TÜRETIM YÖNTEMI
12 ALIŞTIRMALAR
13 ÖZDEŞLIK MANTIĞI
14 VARLIK MANTIĞI
23 Ders Kitabı, Referanslar ve/veya Diğer Kaynaklar: TEO GRÜNBERG, MODERN LOGIC, METU PRESS, ANKARA.
TEO GRÜNBERG, SEMBOLIK MANTIK EL KITABI, CILT1-3, METU PRESS, ANKARA
24 Değerlendirme
YARIYIL İÇİ ÇALIŞMALARI SAYISI KATKI YÜZDESİ
Ara Sınav 0 0
Kısa Sınav 0 0
Ödev 0 0
Yıl sonu Sınavı 1 100
Toplam 1 100
Yıl içi çalışmalarının Başarıya Oranı 0
Finalin BAşarıya Oranı 100
Toplam 100
Derste Kullanılan Ölçme ve Değerlendirme Yaklaşımları
Açıklama
25 AKTS / İŞ YÜKÜ TABLOSU
Etkinlik SAYISI Süresi [Saat] Toplam İş Yükü [Saat]
Teorik Dersler
Uygulamalı Dersler
Sınıf Dışı Ders Çalışma Süresi (Ön çalışma, pekiştirme)
Ödevler 0
Projeler
Arazi Çalışmaları
Arasınavlar
Diğer
Yarıyıl Sonu Sınavları
Toplam İş Yükü
Toplam İş Yükü / 30 saat
Dersin AKTS Kredisi
26 PROGRAM YETERLİLİKLERİ İLE DERS ÖĞRENİN KAZANIMLARI İLİŞKİSİ TABLOSU
PY1 PY2 PY3 PY4 PY5 PY6 PY7 PY8 PY9 PY10 PY11
OK1 0 0 0 0 0 0 0 0 0 0 0
OK2 0 0 0 0 0 0 0 0 0 0 0
OK3 0 0 0 0 0 0 0 0 0 0 0
OK4 0 0 0 0 0 0 0 0 0 0 0
OK5 0 0 0 0 0 0 0 0 0 0 0
OK6 0 0 0 0 0 0 0 0 0 0 0
OK7 0 0 0 0 0 0 0 0 0 0 0
OK8 0 0 0 0 0 0 0 0 0 0 0
OK9 0 0 0 0 0 0 0 0 0 0 0
OK10 0 0 0 0 0 0 0 0 0 0 0
ÖK: Öğrenme Kazanımları PY: Program yeterlilikleri
Katkı Düzeyi: 1 Çok Düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok Yüksek
Bologna İletişim
Mail : bologna@uludag.edu.tr
Tasarım & Kodlama
Bilgi İşlem Daire Başkanlığı © 2015
otomasyon@uludag.edu.tr