Week 7: Elements, Structure and Logic
Chapter 8 (Page 63 to 77). This chapter is about various elements in Z language for example set and its type, declaration and variables, expression, predicates etc.
Chapter 9 (78 to 95). This chapter is about structure including tuples and records and their difference in Z. Relational table as database, pairs and binary relation, function, and sequence.
Chapter 10 (96 to 111). This chapter is about Logic including basic predicates, and how to use predicates in Z. Relations as Predicates and then logical connectors and its comparison with natural language. Comparison of Z predicate and Boolean type is also discussed.
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
