MECHATRONICS (TURKISH)
Associate	TR-NQF-HE: Level 5	QF-EHEA: Short Cycle	EQF-LLL: Level 5

Course Introduction and Application Information

Course Code	Course Name	Semester	Theoretical	Practical	Credit	ECTS
GEP1823	Logic II	Fall Spring	3	0	3	5

This catalog is for information purposes. Course status is determined by the relevant department at the beginning of semester.

Basic information

Language of instruction:	Turkish
Type of course:	GE-Elective
Course Level:	Associate (Short Cycle)
Mode of Delivery:	Face to face
Course Coordinator :	Dr. BURCU ALARSLAN ULUDAŞ
Recommended Optional Program Components:	None
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 Outcomes

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 / Textbooks:	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
Homework Assignments	2	% 20
Midterms	1	% 20
Final	1	% 50
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
Homework Assignments	2	10	20
Midterms	1	15	15
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
1)	To improve fundamental computer knowledge, to encourage students using office and package programs.
2)	Ability to have and use of fundamental mathematics knowledge and skills the usage of relevant materials.
3)	Ability to recognize general structures of machine equipments and the features of shaping
4)	Ability to grasp manufacturing processes and cutting tool materials, materials, statics, mechanics and fluid science fundemantal knowledge.
5)	Ability to draw assembly and auxilary devices as well as to draw whole or details of a system.
6)	Ability to have a knowledge of fundemantal manufacturing process such as turning, milling, punching,grinding and welding techniques and to have a self esteem in order to work behind the bench.
7)	Ability to do computer aided design and write program on digital benches.
8)	Ability to prepare project report, follow up project process and implement projects.
9)	ability to learn the areas of usage of electronic circuit components. Ability to grasp and write programs for micro controllers and for their components. Ability to design relevant circuits.
10)	Ability to understand the electric motors principles and AC-DC analysis
11)	Ability to gain a dominaion on visual programming
12)	Having the ability to communicate efficiently in verbal and written Turkish, to know at least one foreign language in order to communicate with the colleagues and customers.	3