Раздел «Образование».AlgorithmsBookLectures:

План теоретических материалов в книжке AlgorithmsBook

AlgorithmsBookLectures2?

Содержание:

ЧАСТЬ I . Языки и исчисления

Глава 1. Логика высказываний

Глава 2. Формальные языки и исчисления

ЧАСТЬ II. Модели вычислителей и методологии программирования

Глава 3. Алгоритмы и вычислимые функции

Глава 4. Модели вычислителей

Глава 5. Методологии программирования

ЧАСТЬ III. Основы построения и анализа алгоритмов

Глава 6. Индуктивные определения и рекурсия

Глава 7. Простые алгоритмические идеи и задачи

Глава 8. Сложность вычислительных задач

Глава 9. Алгоритмы сортировки

Глава 10. Динамическое программирование

Глава 11. Жадные алгоритмы

Глава 12. Простейшие структуры данных

Глава 13. Задача поиска и хранения информации


Старая версия

Часть 1. Логика и формальные системы

Логика высказываний. Логические операции. Базисы операций. Логика исчислений – Примеры простейших исчислений. Понятие полноты и Исчисление логических высказываний  Логика и исчисления в программировании

Часть 2. Модели вычислителей и методологии программирования

Понятие алгоритма. Вычислимые функции. Блок схемы – алгоритм как схема последовательности действий. Конечные автоматы и машина Тьюринга Продукционная модель программирования и Алгорифмы Маркова Лямбда исчисление и функциональные языки программирования

Часть 3. Основы построения и анализа алгоритмов

Рекурсия Алгоритм Евклида, Ханойские башни Оценка времени работы рекурсивных алгоритмов на основе рекуррентных соотношений. Простейшие алгоритмические задачи Простота числа Перевод чисел из одной системы счисления в другую Поиск корня функции методом деления пополам Блок схема вычисления двоичной записи числа. Алгоритмы сортировки. Нижняя граница для сложности задачи упорядочивания. Алгоритм быстрой сортировки Расчет среднего времени работы алгоритма быстрой сортировки. Динамическое программирование Использование памяти для хранения найденных решений Рекурсия с запоминанием или "динамическое программирование сверху" Жадные алгоритмы Задача об оптимальном расписании а) удовлетворить максимальное число заявок имея одну аудиторию б) минимизировать число аудиторий удовлетворив все заявки Минимальное основное дерево Двоичное дерево, двоичная куча и очередь с приоритетами Сортировка HeapSort? Задача хранения и поиска информации. Структуры данных Баланс между временем добавления (изменения) и временем извлечения информации Дерево поиска Ассоциативные массивы