1	Course Title:	ADVANCED LOGIC I
2	Course Code:	FEL5123
3	Type of Course:	Optional
4	Level of Course:	Second Cycle
5	Year of Study:	1
6	Semester:	1
7	ECTS Credits Allocated:	3
8	Theoretical (hour/week):	2
9	Practice (hour/week) :	0
10	Laboratory (hour/week) :	0
11	Prerequisites:
12	Recommended optional programme components:	None
13	Language:	Turkish
14	Mode of Delivery:	Face to face
15	Course Coordinator:	Doç.Dr. Aytekin Özel
16	Course Lecturers:
17	Contactinformation of the Course Coordinator:
18	Website:
19	Objective of the Course:
20	Contribution of the Course to Professional Development

21

Learning Outcomes:

1 learn set theory; 2 learn relation between set theory and logic; 3 learn briefly history of set theory; 4 learn briefly philosophical problems in set theory; 5 learn axioms in set theory; 6 learn definition in set theory; 7 prove theorems; 8 Use tree method in proof of theorems; 9 learn method of reductio ad absurdum ; 10 learn basics of mathematics;

22	Course Content:

Week	Theoretical	Practical
1	What is set theory?
2	set theory and logic
3	History of set theory
4	Axioms and definitions
5	proof of theorems
6	proof of theorems
7	proof of theorems
8	proof of theorems
9	proof of theorems
10	proof of theorems
11	proof of theorems
12	proof of theorems
13	proof of theorems
14	proof of theorems

23	Textbooks, References and/or Other Materials:	Edward John Lemmon, Introduction to Axiomatic Set Theory, Routledge & Kegan Paul PLC, 1969.
24	Assesment

TERM LEARNING ACTIVITIES	NUMBER	PERCENT
Midterm Exam	0	0
Quiz	0	0
Homeworks, Performances	0	0
Final Exam	1	100
Total	1	100
Contribution of Term (Year) Learning Activities to Success Grade		0
Contribution of Final Exam to Success Grade		100
Total		100
Measurement and Evaluation Techniques Used in the Course
Information

25

ECTS / WORK LOAD TABLE

Activites	NUMBER	TIME [Hour]	Total WorkLoad [Hour]
Theoretical	14	2	28
Practicals/Labs	0	0	0
Self Study and Preparation
Homeworks, Performances	0
Projects
Field Studies
Midtermexams	0
Others
Final Exams	1
Total WorkLoad
Total workload/ 30 hr
ECTS Credit of the Course

26	CONTRIBUTION OF LEARNING OUTCOMES TO PROGRAMME QUALIFICATIONS
PQ1 PQ2 PQ3 PQ4 PQ5 PQ6 PQ7 PQ8 PQ9 PQ10 PQ11 PQ12 LO1 0 4 0 4 0 0 0 0 0 4 0 0 LO2 0 4 0 4 0 0 0 0 0 4 0 0 LO3 0 4 0 4 0 0 0 0 0 0 0 0 LO4 0 4 0 4 0 0 0 0 0 0 0 0 LO5 0 4 0 4 0 0 0 0 0 0 0 0 LO6 0 4 0 4 0 0 0 0 0 0 0 0 LO7 0 4 0 4 0 0 0 0 0 0 0 0 LO8 0 4 0 4 0 0 0 0 0 0 0 0 LO9 0 4 0 4 0 0 0 0 0 0 0 0 LO10 0 4 0 4 0 0 0 0 0 0 0 0

LO: Learning Objectives

PQ: Program Qualifications

Contribution Level:

1 Very Low

2 Low

3 Medium

4 High

5 Very High