Week 8: Synthesis and Schema Calculus
Chapter 11 (Page 112 to 121) is about set comprehension in detail. What is lambda expressions, conveniences and shortcuts are discussed along with the implementation of these concepts with a case study of modeling date.
Chapter 12: (122 to 137) is about schema calculus. The inside details of a schema box. Schema calculus with conjunction and disjunction, and utilities of schema in other domains of Z.
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
