MATHEMATICAL LOGIC

MTE735

Course Code: MTE735
Semester: -
Theory+Practice: 3 + 0
ECTS: 10

Course Type

Elective Course

Course Level

Doctorate Of Science

Year of Study

Semester

ECTS

Name of Lecturer(s)

Learning Outcomes

At the end of this course, the students;

Understands fuzzy logic, fuzzy relations, Boolean and Lukasiewcz algebra for logic.
Compares the classical and fuzzy logic.
Gives examples to fuzzy set.
Explains the functional systems in fuzzy logic theory.

Mode of Delivery

Face to face

Prerequisites

Recommended Optional Programme Components

None

Course Description

A brief look of to the history of logic; Translation from two-value logic to multiple value logic; Thoughts that rocked mathematics in the 20th century; Fuzzy logic; Fuzzy relations, Boolean and Lukasiewicz algebra for logic; Fuzzy set theory; Functional systems in fuzzy logic theory.

Course Contents

WEEK	TOPICS
1^st Week	A brief look of to the history of logic
2^nd Week	Translation from two-value logic to multiple value logic
3^rd Week	Thoughts that rocked mathematics in the 20th century
4^th Week	Fuzzy logic
5^th Week	The classical and fuzzy logic and interrelations these notions
6^th Week	Fuzzy relations
7^th Week	Boolean and Lukasiewicz algebra for logic
8^th Week	Countable and uncountable sets
9^th Week	Axioms of choice
10^th Week	Fuzzy set theory
11^th Week	Functional systems in fuzzy logic theory.
12^th Week	Fuzzy functions and their properties
13^th Week	General Applications
14^th Week	General Applications
15^th Week	General Review

Recommended or Required Reading

1.Fuzzy sets, Fuzzy logic, Applications, G.Bojadziev, World Scientific, 1995.
2.Mathematics of fuzzy sets, Logic, Topology and Measure Theory, U.Höhle and S.E.Rodabough, 1999.

Planned Learning Activities and Teaching Methods

Lecture
Practice
Other

Assessment Methods and Criteria

	Quantity	Percentage (%)
Mid-term	1	40
Assignment	1	20
Total(%)		60
Contribution of In-term Studies to Overall Grade(%)		60
Contribution of Final Examination to Overall Grade(%)		40
Total(%)		100

ECTS Allocated Based on Student Workload

Activities	Quantity	Duration (Hour)	Total Workload (Hour)
Midterm exam	1	2	2
Preparation for Quiz
Individual or group work	13	14	182
Preparation for Final exam	1	30	30
Course hours	13	3	39
Preparation for Midterm exam	1	20	20
Laboratory (including preparation)
Final exam	1	2	2
Homework	1	25	25
Total Work Load			300
Total Work Load / 30 (h)			10
ECTS Credit of the Course			10

Language of Instruction

Turkish

Work Placement(s)

Programme Qualifications / Learning Outcomes

	LO1	LO2	LO3	LO4
K1	X	X	X	X
K2	X	X	X	X
K3
K4	X	X	X	X
K5
K6	X	X	X	X
K7
K8
K9
K10
K11
K12