TÜRKÇE
ENGLISH
Information
| Code | FELZ207 |
| Name | Symbolic Logic 1 |
| Term | 2023-2024 Academic Year |
| Semester | 3. Semester |
| Duration (T+A) | 2-0 (T-A) (17 Week) |
| ECTS | 2 ECTS |
| National Credit | 2 National Credit |
| Teaching Language | Türkçe |
| Level | Lisans Dersi |
| Type | Normal |
| Mode of study | Yüz Yüze Öğretim |
| Catalog Information Coordinator | Ömer KIZILTAN |
| Course Instructor |
Ömer KIZILTAN
(A Group)
(Ins. in Charge)
|
Course Goal / Objective
To examine new trends in modern logic and logic theorems and symbols.
Course Content
It includes truth function logic problems, parser table rules, parser table checking methods.
Course Precondition
None
Resources
Özlem, D. (2019). Mantık. İstanbul: Notos. Kutlusoy, Z. (2003). Temel Sembolik Mantık. Ankara: Art.
Notes
Çüçen, A. K. (2020). Mantık. (12.b.). Bursa: Sentez
Course Learning Outcomes
| Order | Course Learning Outcomes |
|---|---|
| LO01 | Distinguish between classical logic and symbolic logic |
| LO02 | Understands the main joints of symbolic logic |
| LO03 | Knows intermediate joints in symbolic logic |
| LO04 | It translates the everyday language expression given in symbolic logic into symbolic language. |
| LO05 | Translates a proposition given in symbolic language into everyday language |
| LO06 | Comprehends the checking methods in truth function logic. |
| LO07 | Solves truth function logic problems. |
| LO08 | The parser applies the table rules. |
| LO09 | The parser implements table checking methods. |
Relation with Program Learning Outcome
| Order | Type | Program Learning Outcomes | Level |
|---|---|---|---|
| PLO01 | Bilgi - Kuramsal, Olgusal | Explains theorical debates of three main areas (philosophy, sociology, psychology) in relation to today´s problems | 2 |
| PLO02 | Bilgi - Kuramsal, Olgusal | Knows the problems differed from past to present these issues in terms of present-day | 4 |
| PLO03 | Bilgi - Kuramsal, Olgusal | Defines required concepts of the three main areas (philosophy, sociology, psychology) | 1 |
| PLO04 | Bilgi - Kuramsal, Olgusal | Recognizes problems encountered in the work area | 5 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Integrates theoretical knowledge with knowledge from relevant disciplines | 5 |
| PLO06 | Yetkinlikler - Öğrenme Yetkinliği | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | 2 |
| PLO07 | Beceriler - Bilişsel, Uygulamalı | Evaluates the problems encountered in the educational environment and daily life from the perspective of philosophy, sociology and psychology | |
| PLO08 | Yetkinlikler - Öğrenme Yetkinliği | Puts solutıon recommendations forward systematically and consistently in writing and orally for encountered problems and knowledge in the field | |
| PLO09 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Takes responsibility individually and/or within a team | 4 |
| PLO10 | Yetkinlikler - Öğrenme Yetkinliği | Deals with problems related to man,society and values independently | |
| PLO11 | Yetkinlikler - Alana Özgü Yetkinlik | Access related printed information and other sources of information in the field | 3 |
| PLO12 | Beceriler - Bilişsel, Uygulamalı | Be open to continuous self-development and research | 4 |
| PLO13 | Yetkinlikler - Alana Özgü Yetkinlik | Shows sensivity to issues of social, philosophical, and literary | 1 |
| PLO14 | Bilgi - Kuramsal, Olgusal | Uses knowledge of computer software and hardware in subjects related to philosophy, social sciences, educational sciences and educational technologies | |
| PLO15 | Yetkinlikler - İletişim ve Sosyal Yetkinlik | Follows the information and developments in the field in interaction with colleagues | |
| PLO16 | Yetkinlikler - Öğrenme Yetkinliği | Gets ability of critical thinking | 5 |
| PLO17 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Uses information related with his/her field in business and everyday life with the awareness of social responsibility |
Week Plan
| Week | Topic | Preparation | Methods |
|---|---|---|---|
| 1 | Difference between classical logic and symbolic logic | Genel olarak konuları inceleme | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 2 | Önermeler Mantığı: Önerme ve yapısı | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 3 | Functions of propositional joints and symbolization | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 4 | Truth value analysis: hash truth chart | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 5 | Finding the truth value and truth function status of propositions | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 6 | Finding consistency and validity of propositions in truth value table | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 7 | Finding equivalence, finding consistency of propositional sets | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 8 | Mid-Term Exam | Preparation for midterm exam | Ölçme Yöntemleri: Yazılı Sınav |
| 9 | Control and rules with the tree method | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 10 | Finding the status of propositions by tree method | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 11 | Finding equivalence of propositions by tree method | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 12 | Finding the consistency of propositional sets using the tree method | LPreparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 13 | Finding the validity of inferences with the tree method | Preparation for the relevant part of the book | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 14 | General exercises | Konuların genel tekrarı | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 15 | General evaluation | Konuların genel tekrarı | Öğretim Yöntemleri: Anlatım, Soru-Cevap, Tartışma |
| 16 | Term Exams | Preparation final exam | Ölçme Yöntemleri: Yazılı Sınav |
| 17 | Term Exams | Preparation final exam | Ölçme Yöntemleri: Yazılı Sınav |
Student Workload - ECTS
| Works | Number | Time (Hour) | Workload (Hour) |
|---|---|---|---|
| Course Related Works | |||
| Class Time (Exam weeks are excluded) | 14 | 2 | 28 |
| Out of Class Study (Preliminary Work, Practice) | 14 | 2 | 28 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 2 | 2 |
| Final Exam | 1 | 4 | 4 |
| Total Workload (Hour) | 62 | ||
| Total Workload / 25 (h) | 2,48 | ||
| ECTS | 2 ECTS | ||