Week 1-2: Introduction to Natural Deduction
In logic and proof theory, the natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning.
Course Material
- Week 1-2: Introduction to Natural Deduction
- Week 3; Introduction to Formal Methods
- Week 4-5: Introduction to Z notational language
- Week 6: Console Case Study and Schema
- Week 7: Elements, Structure and Logic
- Week 8: Synthesis and Schema Calculus
- Week 9-10: Schema types, bindings, Generic Definition, Free Types and Formal Reasoning
- Week 11: Document Control System (Case Study)
- Week 12: Text Processing (Case Study)
- Week 13: Eight Queen Problem (Case Study)
- Week 14: Computer graphics and computational geometry
- Week :15 Real Based Programming and Concurrency in real time
- Week 16: Converting Z into OOP Code.
- Chapters 13
- Department CS & IT
- Teacher
Mr. Zohaib Nawaz
