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

Course Curriculum

Video lessons are provided by IIT Kanpur as part of NPTEL Video tutorials.

Course Reviews


  • 5 stars0
  • 4 stars0
  • 3 stars0
  • 2 stars0
  • 1 stars0

No Reviews found for this course.


FreeVideoLectures Provides you complete information about best courses online, Video tutorials, helps you in building a career !!

Learn More About us

About Us
Privacy Policy

top All rights reserved.

Setup Menus in Admin Panel