INDUSTRIAL DESIGN
Bachelor TR-NQF-HE: Level 6 QF-EHEA: First Cycle EQF-LLL: Level 6

Course Introduction and Application Information

Course Code Course Name Semester Theoretical Practical Credit ECTS
GEP0823 Logic II Fall 3 0 3 4
The course opens with the approval of the Department at the beginning of each semester

Basic information

Language of instruction: En
Type of course: GE-Elective
Course Level: Bachelor
Mode of Delivery: Face to face
Course Coordinator : Dr. BURCU ALARSLAN ULUDAŞ
Course Objectives: To make students to be acquainted with the subject-matters and concepts of modern logic and to learn the way of thinking about those subject-matters and concepts.

Learning Outputs

The students who have succeeded in this course;
•Recognises problems of modern logic.
•Identifies the relation of modern logic and other disciplines.
•Tells the difference between modern and classic logic.
•Correlates between logic and mathematics
•Tells proposition and reasoning by symbols.

Course Content

Modern logic, Logic of truth function, Method of formal inference, Quantification logic, Philosophy of logic.

Weekly Detailed Course Contents

Week Subject Related Preparation
1) Introduction
2) Introduction to modern logic Course notes
3) Logic of truth function Course notes
4) Logic of truth function Course notes
5) Logic of truth function Course notes
6) Method of formal inference Course notes
7) Method of formal inference Course notes
8) Quantification logic Course notes
9) Quantification logic Course notes
10) Axiomatic method Course notes
11) Axiomatic method Course notes
12) Problems about logic Course notes
13) Philosophy, science, logic Course notes
14) Philosophy of logic Course notes

Sources

Course Notes: Doğan Özlem, Mantık, İstanbul 1996
References: Cemal Yıldırım, Mantık ‘Doğru Düşünme Yöntemi’ Bilgi yayınevi Teo Grunberg, Sembolik Mantık, El Kitabı, ODTÜ Geliştirme Vakfı Yayıncılık

Evaluation System

Semester Requirements Number of Activities Level of Contribution
Attendance 14 % 10
Laboratory % 0
Application % 0
Field Work % 0
Special Course Internship (Work Placement) % 0
Quizzes % 0
Homework Assignments 2 % 20
Presentation % 0
Project % 0
Seminar % 0
Midterms 1 % 20
Preliminary Jury % 0
Final 1 % 50
Paper Submission % 0
Jury % 0
Bütünleme % 0
Total % 100
PERCENTAGE OF SEMESTER WORK % 50
PERCENTAGE OF FINAL WORK % 50
Total % 100

ECTS / Workload Table

Activities Number of Activities Duration (Hours) Workload
Course Hours 14 3 42
Laboratory 0 0 0
Application 0 0 0
Special Course Internship (Work Placement) 0 0 0
Field Work 0 0 0
Study Hours Out of Class 0 0 0
Presentations / Seminar 0 0 0
Project 0 0 0
Homework Assignments 2 10 20
Quizzes 0 0 0
Preliminary Jury 0
Midterms 1 15 15
Paper Submission 0
Jury 0
Final 1 20 20
Total Workload 97

Contribution of Learning Outcomes to Programme Outcomes

No Effect 1 Lowest 2 Low 3 Average 4 High 5 Highest
           
Program Outcomes Level of Contribution