Akademik Dersler - İçerik

Weeks	Topics
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