Структура и интерпретация компьютерных программ

Описание

Фундаментальный курс, основанный на одноименной книге от профессоров MIT рассказывает об абстракции данных и кода, рекурсии, состоянии и метаязыковой абстракции. Первая часть соответствует первому разделу книги.

Уроки курса

• 1

  СИКП: Что такое информатика?

  Познакомиться с понятием информатики.

  теория
• 2

  СИКП: Примитивные выражения, комбинирование и абстракция

  Познакомиться с языком Lisp, рассмотреть примитивные выражения, комбинирование, процедуры и абстракции.

  теория
• 3

  СИКП: Процедуры как абстракции

  Рассмотреть важный подход при программировании: процедуры как абстракции.

  теория

  упражнение

• 4

  СИКП: Процедуры и порождаемые ими процессы 1

  Рассмотреть процедуры и процессы, линейную рекурсию и итерации.

  теория
• 5

  СИКП: Процедуры и порождаемые ими процессы 2

  Рассмотреть процедуры и процессы, линейную рекурсию и итерации.

  теория

  упражнение

• 6

  СИКП: Древовидная рекурсия

  В качестве примера древовидной рекурсии рассмотрим вычисление последовательности чисел Фибоначчи, в которой каждое число является суммой двух предыдущих.

  теория

  упражнение

• 7

  СИКП: Порядки роста

  Познакомиться с понятием порядка роста (order of growth), которое дает общую оценку ресурсов, необходимых процессу при увеличении его входных данных.

  теория
• 8

  СИКП: Возведение в степень

  Рассмотреть задачу возведения числа в степень для лучшего понимания порядков роста

  теория
• 9

  СИКП: Наибольший общий делитель

  Рассмотреть алгоритм поиска наибольшего общего делителя и реализовать его на языке программирования Scheme (LISP).

  теория
• 10

  СИКП: Проверка на простоту

  Реализовать алгоритм проверки числа на простоту на языке программирования Scheme (LISP).

  теория
• 11

  СИКП: Процедуры в качестве аргументов

  Рассмотреть важную особенность языка: возможность передачи процедуры как аргумента в другую процедуру.

  теория
• 12

  СИКП: Построение процедур с помощью lambda

  Научиться создавать процедуры на лету с помощью lambda.

  теория

  упражнение

• 13

  СИКП: Создание локальных переменных

  Научиться создавать локальные переменные в процедурах.

  теория
• 14

  СИКП: Метод половинного деления

  Рассмотреть реализацию метода половинного деления (half-interval method) — простого, но мощного способа нахождения корней уравнения f(x) = 0, где f — непрерывная функция.

  теория
• 15

  СИКП: Нахождение неподвижных точек функций

  Рассмотреть нахождение неподвижных точек функций. Число x называется неподвижной точкой (fixed point) функции f, если оно удовлетворяет уравнению f(x) = x.

  теория
• 16

  СИКП: Процедуры как возвращаемые значения

  Добиться еще большей выразительной силы, создавая процедуры, возвращаемые значения которых сами являются процедурами.

  теория
• 17

  СИКП: Метод Ньютона

  Рассмотреть и реализовать общий случай поиска корня с помощью метода Ньютона.

  теория

Автор