Toggle navigation
About us
Courses
Contact us
Courses
Computer Science and Engineering
Introduction to Problem Solving and Programming (Web)
Syllabus
Co-ordinated by :
IIT Delhi
Available from :
2009-12-31
Lec :
1
Modules / Lectures
Computing: The Functional Way
Introduction to computing
Our computing tool
Primitives: Integer & Real
Example : Fibonacci
Primitives: Booleans
Algorithms: Design & Refinement
Technical completeness & Algorithms
Algorithm Refinement
Variations: Algorithms & code
Names,Scopes & Recursion
Introducing Reals
Floating point
Root Finding,Composition and Recursion
Correctness, Termination & Complexity
Termination and space complexity
Efficiency measures and Speed-ups
Invariance & Correctness
Compound Data
Tuples, Lists & the Generation of Primes
Compound Data & Lists
Compound Data & Lists Algorithms
Higher Order Functions & Structured Data
Higher order Functions
Structured data
user defined structured data types
Imperative Programming: An Introduction
Introducing a memory model
Imperative programming
Arrays
A large Example: Tautology Checking
Large Example : Tautology Checking
Tautology Checking contd
Web Content
loading...
Module Name
Download