Akademik Dersler - Tanıtım

Last Updated: 30/09/2026

Code - Course Title	Course Type	Laboratory + Practice	ECTS
MNT501 - Advanced Logic	I. SEMESTER	3 +0	6.0

Language of Instruction	Türkçe
Course Type	Elective Courses
Course Instructor(s)	DOÇ. DR. İSKENDER TAŞDELEN
Mode of Delivery	The mode of delivery for this course is face to face.
Place of Delivery
Used Educational Platforms
Prerequisites	Symbolic Logic I and Symbolic Logic II, or equivalents, are prerequisites for this course.
Courses Recomended	None
Recommended Resources	Geoffrey Hunter, Metalogic: an introduction to the metatheory of standard first order logic, Macmillan, 1971
Work Placement	N/A
Aims of the Course

Weeks	Learning Outcomes	Topics	Teaching Methods
Week - 1		Formal languages and formal systems
Week - 2		Structural induction
Week - 3		Axiomatic systems
Week - 4		An axiomatic system (Hilbert system) for classical propositional logic
Week - 5		Soundness and compactness theorems for classical propositional logic, and their consequences.
Week - 6		Completeness theorem for classical propositional logic and its consequences
Week - 7		Deduction thorem for classical propositional logic
Week - 8		Recapitulation of previous topics
Week - 9		Mid-term
Week - 10		An axiomatic system (Hilbert system) for classical quantificational logic
Week - 11		Soundness and compactness theorems for classical quantificational logic, and their consequences.
Week - 12		Soundness and compactness theorems for classical quantificational logic, and their consequences. (cont.)
Week - 13		Completeness theorem for classical propositional logic and its consequences
Week - 14		Completeness theorem for classical propositional logic and its consequences (cont.)

No content has been provided.

No content has been provided.

No content has been provided.

Assessment Method and Passing Requirements
	Quamtity	Percentage (%)
Toplam (%)