Akademik Dersler - Tanıtım

Course Title	Code	Compulsory/Elective	Laboratory + Practice	ECTS
Advanced Logic	MNT501	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.
Prerequisites	Symbolic Logic I and Symbolic Logic II, or equivalents, are prerequisites for this course.
Courses Recomended	None
Recommended Reading List	Geoffrey Hunter, Metalogic: an introduction to the metatheory of standard first order logic, Macmillan, 1971
Assessment methods and criteria	Midterm and Final exam
Work Placement	N/A
Catalog Content	Formal Languages, Formal Systems, Logical Systems: Axioms, Rules of Inference, Deduction; Semantic Properties of Classical Propositional Logic: Compactness According to Truth Function Semantics; Proof-Theoretic Properties of Classical Propositional Logic: Deduction Theorem; Completeness Theorem for Classical Propositional Logic; Semantic Properties of Classical Quantification Logic: Semantic Compactness; Proof-Theoretic Properties of Classical Quantification Logic: Deduction Theorem for Classical Quantification Logic; Completeness Theorem for Classical Quantification Logic.