Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS | FEL4012016138 | MODERN LOGIC | Zorunlu | 4 | 7 | 5 |
|
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ı |
1 | To emphasize the importance of symbolic logic | 2 | Expression of everyday language and symbols of propositions | 3 | Proposition joints and sembolleştirilmesi | 4 | To teach students the importance of reasoning and symbols in detail | 5 | To 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 |
|
1 | The importance and meaning of symbolic logic | | | 2 | Symbol and mathematics | | | 3 | Relationships and symbols between concepts | | | 4 | propositional logic | | | 5 | sembol of propositions | | | 6 | The truth table | | | 7 | chart parser | | | 8 | Chart parser rules | | | 9 | Midterm | | | 10 | quantificational logic | | | 11 | derivation of natural derivational and the rules | | | 12 | Multi-valued logic | | | 13 | Three-valued logic of Lukasiewicz | | | 14 | Three-valued logic of Heyting | | | 15 | General control and evaluation | | | 16 | Final 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 | |
TOPLAM | 0 | |
TOPLAM | 0 | Yarıyıl (Yıl) İçi Etkinlikleri | 40 | Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | TOPLAM | 100 |
| Dersin Sunulduğu Dil | Turkish | Staj Durumu | None |
|
İş Yükü Hesaplaması |
|
Midterm Examination | 1 | 2 | 2 |
Final Examination | 1 | 2 | 2 |
Makeup Examination | 1 | 2 | 2 |
Attending Lectures | 14 | 9 | 126 |
Question-Answer | 14 | 2 | 28 |
|
Program ve Öğrenme Çıktıları İlişkisi |
ÖÇ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
|