Ders Öğretim Planı
Dersin KoduDersin AdıDersin TürüYılYarıyılAKTS
FEL4012016138MODERN LOGICZorunlu475
Dersin Seviyesi
Lisans
Dersin Amacı
To teach students to use oral language laws of symbolic logic.
Dersi Veren Öğretim Görevlisi/Görevlileri
Dr. Öğr. Üyesi Hasan YILDIZ
Öğrenme Çıktıları
1To emphasize the importance of symbolic logic
2Expression of everyday language and symbols of propositions
3Proposition joints and sembolleştirilmesi
4To teach students the importance of reasoning and symbols in detail
5To teach the students in detail the importance of reasoning with symbols
Öğrenim Türü
Formal Education
Dersin Ön Koşulu Olan Dersler
None
Ders İçin Önerilen Diğer Hususlar
None
Dersin İçeriği
Contemporary Studies in logic to provide information about the samples, contained in detail all the issues put forward
Haftalık Ayrıntılı Ders İçeriği
HaftaTeorikUygulamaLaboratuvar
1The importance and meaning of symbolic logic
2Symbol and mathematics
3Relationships and symbols between concepts
4propositional logic
5sembol of propositions
6The truth table
7chart parser
8Chart parser rules
9Midterm
10quantificational logic
11derivation of natural derivational and the rules
12Multi-valued logic
13Three-valued logic of Lukasiewicz
14Three-valued logic of Heyting
15General control and evaluation
16Final Exam
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
1)Doğan Özlem, Mantık, İnkılâp Yayınları, Ankara, 2007. 2)Teo Grünberg, Sembolik Mantık El Kitabı, 1, ODTÜ Yayınları, Ankara, 2000. 3)A .Kadir Çüçen, Mantık,Asa Yay.2.Basım.,Bursa,1999
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
Yarıyıl (Yıl) İçi EtkinlikleriAdetDeğer
TOPLAM0
Yarıyıl(Yıl) Sonu EtkinliklerAdetDeğer
TOPLAM0
Yarıyıl (Yıl) İçi Etkinlikleri40
Yarıyıl (Yıl) Sonu Etkinlikleri60
TOPLAM100
Dersin Sunulduğu Dil
Turkish
Staj Durumu
None
İş Yükü Hesaplaması
EtkinliklerSayısıSüresi (saat)Toplam İş Yükü (saat)
Midterm Examination122
Final Examination122
Makeup Examination122
Attending Lectures149126
Question-Answer14228
TOPLAM İŞ YÜKÜ (saat)160
Program ve Öğrenme Çıktıları İlişkisi

1

2

3

4

5

6

7

8

9

10

11

12

13
ÖÇ1       5     
ÖÇ2       5     
ÖÇ3       5     
ÖÇ4       5     
ÖÇ5       5     
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek
 
Ordu University Rectorate Building ,Cumhuriyet Campus , Center / ORDU / TURKEY • Tel: +90 452 226 52 00