TÜRKÇE
ENGLISH
Information
| Code | FELZ207 |
| Name | Symbolic Logic 1 |
| Term | 2022-2023 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 basics of 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 and examines 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 | Understands the problems encountered in the study area, solves and redirects | 5 |
| PLO05 | Beceriler - Bilişsel, Uygulamalı | Interpretes integrating theoretical knowledge with related disciplines, analyses and creates new information | 5 |
| PLO06 | Yetkinlikler - Öğrenme Yetkinliği | Makes research sources of the main problems in field of Philosophy, Psychology and Sociology | 2 |
| PLO07 | Bilgi - Kuramsal, Olgusal | The problems encountered in educatıonal environment and everyday life ıs evaluated from the perspective of sociology and psychology | 1 |
| 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 | Bilgi - Kuramsal, Olgusal | Takes responsibility individually and / or in a team, be leadership, and works effectively | 4 |
| PLO10 | Yetkinlikler - Öğrenme Yetkinliği | Deals with problems related to man,society and values independently | |
| PLO11 | Yetkinlikler - Öğrenme Yetkinliği | Access and use related printed information and other sources of information in the field | 5 |
| PLO12 | Beceriler - Bilişsel, Uygulamalı | Be open to continuous self-development and research | 3 |
| PLO13 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Shows sensivity to issues of social, philosophical, and literary | 2 |
| PLO14 | Bilgi - Kuramsal, Olgusal | Follows software and hardware with printed and other information concerning with philosophy, social sciences ,educational sciences and education technologies, reaches, uses and improves effective ways of education-teaching. | 1 |
| PLO15 | Yetkinlikler - Bağımsız Çalışabilme ve Sorumluluk Alabilme Yetkinliği | Follows the developments and information in the field and and communicates with colleagues | |
| PLO16 | Yetkinlikler - Öğrenme Yetkinliği | Gets ability of critical, different and creative thinking and multi-dimensional perspective | 3 |
| PLO17 | Bilgi - Kuramsal, Olgusal | 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 | 1 | 14 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 4 | 4 |
| Final Exam | 1 | 8 | 8 |
| Total Workload (Hour) | 54 | ||
| Total Workload / 25 (h) | 2,16 | ||
| ECTS | 2 ECTS | ||