- Title: Introduction to Problem Solving and Programming
- Department: Computer Science and Engineering
- Author: Prof. D.Gupta
- University: IIT kanpur
- Type: WebLink
- Abstract:
1. Basic model of computation, Notion of Algorithms, Principle of Mathematical Induction
2. Basics of functional programming, notion of types
3. Iterative versus recursive style
4. Correctness and efficiency issues in programming, time and space measures
5. Basics of imperative style programming
6. Assertions and loop invariants
7. Top down design and examples of step-wise refinement
8. Programming using structures, introduction to encapsulation and object oriented programming