| Course Title | Code | Semester | L+U Hour | Credits | ECTS |
|---|---|---|---|---|---|
| Symbolic Logic | SOS218 | 4. Semester | 4 + 0 | 4.0 | 6.0 |
| Prerequisites | None |
| Language of Instruction | Turkish |
| Course Level | Undergraduate |
| Course Type | |
| Mode of delivery | |
| Course Coordinator |
Assoc. Prof. Dr. Adnan ESENYEL |
| Instructors |
BUŞRA AŞIK BİRLİK |
| Assistants | |
| Goals | Learners will be able to learn basic terms, concepts and main arguments of symbolic logic such as proposal logic, truth tables, analytical table, multi-valued logic, symbolization of mathematical language, electric circuits |
| Course Content | |
| Learning Outcomes |
- Being able to explain and apply basic concepts of symbolic logic - Being able to use symbolic logic of propositions in order to understand reasoning in daily language - Being able to understand propositions and conclusions by using truth tables in proposal logic - Being able to resolve derivational errors |
| Week | Topics | Learning Methods |
|---|---|---|
| 1. Week | Proposal logic | |
| 2. Week | Truth tables | |
| 3. Week | Analytical table | |
| 4. Week | Analytical table | |
| 5. Week | Quantitative logic | |
| 6. Week | Multi-valued logic | |
| 7. Week | Symbolization of mathematical language | |
| 8. Week | Midterm Exam | |
| 9. Week | Proving methods | |
| 10. Week | Logic and natural sciences | |
| 11. Week | Electric circuits | |
| 12. Week | Logical philosophy | |
| 13. Week | Identicalness logic | |
| 14. Week | Logic of modes |
| • Mantık, Kadir Çüçen, Sentez Yayıncılık |
| • Mantık, Doğan Özlem, Nodos Yayınları |
| • Klasik Mantık, Prof. Dr. Necati Önder, Vadi Yayınları |
| • Ana Hatlarıyla Klasik Mantık, İbrahim Emiroğlu, Asa Kitabevi |
| Program Requirements | Contribution Level | DK1 | DK2 | DK3 | DK4 | Measurement Method |
|---|---|---|---|---|---|---|
| PY1 | 3 | 0 | 0 | 0 | 0 | - |
| PY2 | 3 | 0 | 0 | 0 | 0 | - |
| PY3 | 2 | 0 | 0 | 0 | 0 | - |
| PY4 | 2 | 0 | 0 | 0 | 0 | - |
| PY5 | 4 | 0 | 0 | 0 | 0 | - |
| PY6 | 4 | 0 | 0 | 0 | 0 | - |
| PY7 | 3 | 0 | 0 | 0 | 0 | - |
| PY8 | 3 | 0 | 0 | 0 | 0 | - |
| PY9 | 3 | 0 | 0 | 0 | 0 | - |
| PY10 | 4 | 0 | 0 | 0 | 0 | - |
| PY11 | 4 | 0 | 0 | 0 | 0 | - |
| PY12 | 4 | 0 | 0 | 0 | 0 | - |
| PY13 | 5 | 0 | 0 | 0 | 0 | - |
| PY14 | 3 | 0 | 0 | 0 | 0 | - |
| 0 | 1 | 2 | 3 | 4 | 5 | |
|---|---|---|---|---|---|---|
| Course's Level of contribution | None | Very Low | Low | Fair | High | Very High |
| Method of assessment/evaluation | Written exam | Oral Exams | Assignment/Project | Laboratory work | Presentation/Seminar |
| Event | Quantity | Duration (Hour) | Total Workload (Hour) |
|---|---|---|---|
| Course Hours | 14 | 3 | 42 |
| Preparation, After Class Study | 14 | 3 | 42 |
| Research | 13 | 2.2 | 28.6 |
| Other Activities | 13 | 2.8 | 36.4 |
| Midterm 1 | 1 | 2 | 2 |
| Final | 1 | 2 | 2 |
| Total Workload | 153 | ||
| ECTS Credit of the Course | 6.0 | ||
