Course Unit Code | Course Unit Title | Type of Course Unit | Year of Study | Semester | Number of ECTS Credits | FEL4012016138 | MODERN LOGIC | Compulsory | 4 | 7 | 5 |
|
Level of Course Unit |
First Cycle |
Objectives of the Course |
To teach students to use oral language laws of symbolic logic. |
Name of Lecturer(s) |
Dr. Öğr. Üyesi Hasan YILDIZ |
Learning Outcomes |
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 |
|
Mode of Delivery |
Formal Education |
Prerequisites and co-requisities |
None |
Recommended Optional Programme Components |
None |
Course Contents |
Contemporary Studies in logic to provide information about the samples, contained in detail all the issues put forward |
Weekly Detailed Course Contents |
|
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 | | |
|
Recommended or Required Reading |
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 |
Planned Learning Activities and Teaching Methods |
|
Assessment Methods and Criteria | |
SUM | 0 | |
SUM | 0 | Yarıyıl (Yıl) İçi Etkinlikleri | 40 | Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | SUM | 100 |
| Language of Instruction | Turkish | Work Placement(s) | None |
|
Workload Calculation |
|
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 |
|
Contribution of Learning Outcomes to Programme Outcomes |
LO1 | | | | | | | | 5 | | | | | | LO2 | | | | | | | | 5 | | | | | | LO3 | | | | | | | | 5 | | | | | | LO4 | | | | | | | | 5 | | | | | | LO5 | | | | | | | | 5 | | | | | |
|
* Contribution Level : 1 Very low 2 Low 3 Medium 4 High 5 Very High |
|
|
Ordu University Rectorate Building ,Cumhuriyet Campus , Center / ORDU / TURKEY • Tel: +90 452 226 52 00
|