Akademik Dersler - Tanıtım

Last Updated: 30/09/2026

Code - Course Title	Course Type	Laboratory + Practice	ECTS
MNT203 - Symbolic Logic II	III. SEMESTER	3 +0	5.5

Language of Instruction	Türkçe
Course Type	Required 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	There is no prerequisite or co-requisite for this course.
Courses Recomended	None
Recommended Resources
Work Placement	N/A
Aims of the Course

Weeks	Learning Outcomes	Topics	Teaching Methods
Week - 1		Quantification. Formal language of quantificational logic. Terms and quantified statements.
Week - 2		Free and bound variables. Substitution.
Week - 3		Symbolization and translation.
Week - 4		Symbolization and translation (cont).
Week - 5		Natural deductions in quantificational logic.
Week - 6		Natural deductions in quantificational logic (cont).
Week - 7		Natural deductions in quantificational logic (cont).
Week - 8		Natural deductions in quantificational logic (cont).
Week - 9		Natural deductions in quantificational logic (cont).
Week - 10		Natural deductions in quantificational logic (cont).
Week - 11		First-order structures. Interpretation of terms in first-order structures. Satisfiability in first order structures. Validity, invalidity.
Week - 12		Satisfiability in first order structures. Validity, invalidity.
Week - 13		Satisfiability in first order structures. Validity, invalidity. Finding models and counter-models.
Week - 14		Prenex normal form

No content has been provided.

No content has been provided.

No content has been provided.

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