Week 9-10: Schema types, bindings, Generic Definition, Free Types and Formal Reasoning
Chapter 13 (Page 138 to 145). This chapter is about various Schema types and its binding.
Chapter 14 (Page 146 to 148) is about Generic Definitions, Generic assignments, free types, and generic schema.
Chapter 15 (Page 149 to 160) is about Formal reasoning with calculation proof in details,
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
