MATHEMATICS
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	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:	English
Type of course:	GE-Elective
Course Level:	Bachelor’s Degree (First 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 have a grasp of basic mathematics, applied mathematics and theories and applications in Mathematics
2)	To be able to understand and assess mathematical proofs and construct appropriate proofs of their own and also define and analyze problems and to find solutions based on scientific methods,
3)	To be able to apply mathematics in real life with interdisciplinary approach and to discover their potentials,
4)	To be able to acquire necessary information and to make modeling in any field that mathematics is used and to improve herself/himself,
5)	To be able to tell theoretical and technical information easily to both experts in detail and non-experts in basic and comprehensible way,
6)	To be familiar with computer programs used in the fields of mathematics and to be able to use at least one of them effectively at the European Computer Driving Licence Advanced Level,
7)	To be able to behave in accordance with social, scientific and ethical values in each step of the projects involved and to be able to introduce and apply projects in terms of civic engagement,
8)	To be able to evaluate all processes effectively and to have enough awareness about quality management by being conscious and having intellectual background in the universal sense,	4
9)	By having a way of abstract thinking, to be able to connect concrete events and to transfer solutions, to be able to design experiments, collect data, and analyze results by scientific methods and to interfere,	4
10)	To be able to continue lifelong learning by renewing the knowledge, the abilities and the competencies which have been developed during the program, and being conscious about lifelong learning,	4
11)	To be able to adapt and transfer the knowledge gained in the areas of mathematics ; such as algebra, analysis, number theory, mathematical logic, geometry and topology to the level of secondary school,
12)	To be able to conduct a research either as an individual or as a team member, and to be effective in each related step of the project, to take role in the decision process, to plan and manage the project by using time effectively.