Алгоритмы и алгоритмические языки: альтернативная версия

Аннотация

/!\ TODO

Концепция

Лекции

  1. Интуитивное понятие алгоритма. Свойства алгоритмов.
  2. Пример исполнителя (программируемый калькулятор): данные, команды, последовательное, условное и циклическое выполнение.
  3. Алгоритм как преобразование слов из заданного алфавита. Нормальные алгоритмы Маркова.
  4. Машина Тьюринга. Тезис Тьюринга и принцип нормализации, их обоснование.
  5. Алгоритмически неразрешимые проблемы.
  6. Неразрешимость проблем самоприменимости, останова и эквивалентности алгоритмов.
  7. Характеристика алгоритмических языков. Понятие трансляции. Компилируемые и интерпретируемые языки. Понятие исполнителя.
  8. Алфавит, синтаксис и семантика алгоритмического языка. Описание синтаксиса языка с помощью металингвистических формул (БНФ) и синтаксических диаграмм.
  9. История Python. ИКС и неформальное использование Python как калькулятора.
  10. Константы-конструкторы основных скалярных объектов. Операции над объектами. Интерпретация выражения: конструирование и удаление объектов.
  11. Основные типы последовательностей. Индексирование и секционирование. Множественный оператор именования, распаковка последовательностей.
  12. Ссылки на объекты: имена; ссылки из составных объектов. Счётчик ссылок. Идентификаторы объектов и их сравнение.
  13. Условный оператор. Блок операторов. Оператор цикла с условием. Каноническая схема цикла. Вложенные операторы.
  14. Старшинство операций. Логические операции. Нулевой объект типа.
  15. Функции: задание и оператор вызова. Контекст выполнения, глобальное и локальное пространства имён. Позиционные и именованные параметры.
  16. Оформление исходного кода: комментарии, строки документации, договорённости об именовании. Модернизация языка Python сообществом.
  17. Пространство имён объекта: поля и методы объекта. Методы последовательностей. Использование последовательностей в качестве стека.
  18. Цикл с итерируемым объектом. Циклические конструкторы объектов.
  19. Строковые методы. Конкатенация и разбиение строк.
  20. Файловый ввод-вывод.
  21. Взаимодействие с ОС: потоки ввода-вывода, параметры командной строки.
  22. Понятие вычислительной сложности алгоритмов в худшем случае и в среднем. Поиск и бинарный поиск в упорядоченных последовательностях.
  23. Рекурсия. Достоинства, недостатки, критерий применения в Python.
  24. Алгоритмы поиска с возвратами (backtracking), реализация их с помощью рекурсии. Замещение рекурсии стеком контекстов.
  25. Методы сортировки, оптимальные оценки числа сравнений и перемещений при сортировке.
  26. Задача хеширования. Открытое и закрытое хеширование. Требования к функции расстановки.
  27. Хешируемые объекты Python. Словари. Методы словарей.
  28. Множества, байтовые массивы. Константные (хешируемые) варианты. Операции над множествами.
  29. Упаковка и распаковка параметров функции. Функции с произвольным количеством и именами параметров. Словари-пространства глобальных и локальных имён.
  30. Генераторы: выражения-генераторы, повторно входимые функции (функции-генераторы). Работа цикла с итерируемым объектом.
  31. Модуль как контейнер имён. Использование модуля. Стандартные модули. Файл как модуль. Строки документации.
  32. Класс как конструктор пространства имён. Экземпляр класса: динамические поля и поля класса. Методы. Вызов метода. Строки документации.
  33. Спецметоды. Реализация операций над объектами путём задания спецметодов.


/!\ TODO: что ещё должно быть: выбрать и подсунуть в нужное место Ещё:

  1. Эффективность операций над структурами данных. Индексация в последовательностях и индексация в массивах. Эффективность итераторов в последовательностях.
  2. Моделирование списков. Однонаправленные, двунаправленные и циклические списки. Заглавное звено.
  3. Двоичные (бинарные) деревья. Обход дерева с использованием стека, очереди и рекурсии.
  4. Деревья поиска (сравнений), алгоритмы поиска, вставки и удаления элементов.
  5. Куча
  6. Замыкание транзитивного бинарного отношения.
  7. Моделирование многомерных массивов.
  8. Исключения как средство управления потоком вычислений