In this lecture, Professor Shokrollahi defines the concept of algorithm and of formal problem specification. He shows some example of algorithms and introduces the notation used throughout the course.