Course Unit Code | Course Unit Title | Type of Course Unit | Year of Study | Semester | Number of ECTS Credits | SOS308B | Symbolic Logic | Compulsory | 3 | 6 | 4 |
|
Level of Course Unit |
First Cycle |
Objectives of the Course |
The aim of the course is to investigate new trends in modern logic and the logic at propositions and its symbols. |
Name of Lecturer(s) |
Prof. Dr. Yakup KAHRAMAN |
Learning Outcomes |
1 | Uses information related with his/her field in business and everyday life with the awareness of social responsibility. | 2 | Gets ability of critical, different and creative thinking and multi-dimensional perspective. | 3 | Interpretes integrating theoretical knowledge with related disciplines, analyses and creates new information. |
|
Mode of Delivery |
Normal Education |
Prerequisites and co-requisities |
None |
Recommended Optional Programme Components |
None |
Course Contents |
This course aims to discuss the contents of modern (symbolic) logic, logic of propositions, logic of predicates, rules of basic inference, basic truth tables, equivalence of proposition, inference, consistency, logic of quantification, open propositions, principle of specialization and rules of specialization. |
Weekly Detailed Course Contents |
|
1 | Semiotics and Language: Language Various Uses | | | 2 | The main concepts of semiotics | | | 3 | Propositional Logic: Proposition and its structure | | | 4 | Functions of joints | | | 5 | Accuracy Value Analysis: Mixed Truth Tables | | | 6 | Validity and Consistency Inspection | | | 7 | Equivalence and Applications | | | 8 | Mid term exam | | | 9 | Simplification of Laws | | | 10 | Quine method | | | 11 | Conversion laws | | | 12 | Practice Examples | | | 13 | Forms of converted to full-expression | | | 14 | Distributive | | | 15 | Distributive | | | 16 | final | | |
|
Recommended or Required Reading |
Çüç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ı. |
Planned Learning Activities and Teaching Methods |
|
Assessment Methods and Criteria | |
Midterm Examination | 1 | 100 | SUM | 100 | |
Final Examination | 1 | 100 | SUM | 100 | Term (or Year) Learning Activities | 40 | End Of Term (or Year) Learning Activities | 60 | SUM | 100 |
| Language of Instruction | Turkish | Work Placement(s) | None |
|
Workload Calculation |
|
Midterm Examination | 1 | 1 | 1 |
Final Examination | 1 | 2 | 2 |
Attending Lectures | 14 | 2 | 28 |
Self Study | 14 | 4 | 56 |
Individual Study for Mid term Examination | 7 | 1 | 7 |
Individual Study for Final Examination | 14 | 1 | 14 |
|
Contribution of Learning Outcomes to Programme Outcomes |
LO1 | 4 | 2 | 5 | 4 | 2 | 3 | 2 | 2 | 2 | 3 | 4 | 3 | 2 | 3 | 2 | 4 | LO2 | 4 | 3 | 3 | 4 | 3 | 5 | 2 | 2 | 3 | 3 | 3 | 3 | 3 | 3 | 2 | 4 | LO3 | 4 | 3 | 3 | 4 | 3 | 4 | 2 | 2 | 3 | 3 | 4 | 2 | 3 | 3 | 2 | 4 |
|
* Contribution Level : 1 Very low 2 Low 3 Medium 4 High 5 Very High |
|
|