## SEE: Guide to Download NPTEL Video Lecture

## Lecture Details :

Lecture_1

## Course Description :

Contents:

Basic model of computation, Notion of Algorithms, Principle of Mathematical Induction - Basics of functional programming, notion of types - Iterative versus recursive style - Correctness and efficiency issues in programming, time and space measures - Basics of imperative style programming - Assertions and loop invariants - Top down design and examples of step-wise refinement - Programming using structures, introduction to encapsulation and object oriented programming.

laboratory activities : Simple exercises and examples to introduce to student to the computing environment and usage of computers - Simple exercises and examples of functional programming - Examples of program correctness and experimental verification of efficiency and scaling - Simple imperative programming - A moderate size example of top down design, step-wise refinement and rapid prototyping to develop an imprative style modular program with structures.

## Other Resources :

### Syllabus |

## Other Computer Science Courses

- Dreamweaver by Other
- Graph Theory by IISc Bangalore
- Computational Geometry by IIT Delhi
- Machine Structures,Fall 2011 by UC Berkeley
- Computer Science III: Programming Paradigms by Stanford
- Artificial Intelligence by IIT Kharagpur
- CSE P505: Programming Languages by University of Washington
- Low Power VLSI Circuits and Systems by IIT Kharagpur
- CSE 40373 Multimedia Systems by Other
- Discrete Mathematical Structures by IIT Madras

### » check out the complete list of Computer Science Video lectures