SEE: Guide to Download NPTEL Video Lecture
Lecture Details :
Lecture_20
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
- Understanding Computers and the Internet by Harvard
- Cryptography and Network Security by IIT Kharagpur
- CSEP 545 Transaction Processing for E-Commerce by University of Washington
- Numerical Optimization by IISc Bangalore
- CSE142: Computer Programming I by University of Washington
- Theory of Computation I by IIT Madras
- Computer System Engineering by MIT
- The Joy of Computing,Fall 2011 by UC Berkeley
- CSEP 561 Network Systems by University of Washington
- Operating Systems and System Programming,Fall 2011 by UC Berkeley
» check out the complete list of Computer Science Video lectures
Computer Science Lecture Notes
- CPS 140 Computer Science by Duke University
- Information Retrieval by University of Massachusetts
- Introduction to Java Development by N/A
- CS 696 Emerging Technologies: Java Distributed Computing by UC San Diego
- CS345 Data Mining and Clustering by Stanford
- Pixels, Numbers, and Programs by University of Washington
- Software Engineering and Security by Athens University of Economics and Business
- CSE 373/548: Analysis of Algorithms by Stony Brook University
- CS368: Java for C++ Programmers by University of Wisconsin