That depends a good deal on where you want to get to,' said the Cat.

**Schedule**: Lecture Slot 6 in SIC 201 Kresit

**Instructor:** Om Damani

**Moodle**: Slides, Assignments, Solutions, Reference Materals, Newsgroup etc.

** Pre-requisites** Background in Propositional Logic and Quantifiers

**Audit Requirements**:
You have to do all assignments.

1. [Kal] Anne Kaldewaij, Programming: The Derivation of Algorithms, Prentice Hall International, 1990.

Sr. No: Date | Topic | Resource |
---|---|---|

1-2: 23-30/07 |
Background quiz, Logistics, Inroduction, Example Problems: specifying and derving max | logistics |

3-5: 1,6,8/08 |
Formal Specifications, Quantified Operators | Ch. 1 and Ch. 3, cached copy of A Programmer's Introduction to Predicate Logic by H. Conrad Cunningham |

6: 13/08 |
Hoare Triple, Weakest Precondition, The Guarded Command Language - Skip, Assignment, Catenation | Ch 2-2.3 |

7: 14/08 |
The Guarded Command Language - Selection | Ch 2.4 |

8-9: 20,22/08 |
The Guarded Command Language - Repetition, loop invariant, exponentiation | Ch 2.5-2.7, Only exponentiation proof (not derivation) part of 4.2 and 4.4 |

10: 27/08 |
Deriving loopless programs, taking conjunct as invariant, linear search | Ch 4.1, 6.1 |

11: 03/09 |
basic divmod, making it efficient | Ch 4.1, 5.1 |

12-13: 17-19/09 |
Midsem soln., Concept of Fully annotated program, Replacing constants by variables, Strengthening Invariants | Ch 4.2, 4.3 |

14-15: 24-26/09 |
Strengthening Invariants, Tain Invariants | Ch 4.3, 4.4 |

16-26: |
Applying above techniques in various situations, CAPS tool | Ch 7,8,12 |