Akademik Dersler - İçerik

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