Компьютерные науки

Метавычисления и их приложения: Инверсное вычисление и инверсное программирование

Программа определяет метод инверсного вычисления и рассматривает построение универсального решающего алгоритма для языка программирования.
Студентов 116 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Этот курс изучает методы вычисления программ в обратном направлении с использованием универсального решающего алгоритма (УРА). В материалах рассматриваются подходы к вычислению входных данных по заданному результату программы. Изучается перенос инверсных вычислений на произвольные языки программирования и окрестностное тестирование. Материал адресован программистам и специалистам в области теоретической информатики, интересующимся анализом и тестированием программ.
Цели
  • Сформировать понимание принципов инверсного вычисления программ.
  • Раскрыть механизмы работы универсального решающего алгоритма.
  • Подготовить к использованию окрестностного анализа для тестирования программ.
Чему я научусь?
  • Применять универсальный решающий алгоритм для инверсии программ.
  • Анализировать программы с использованием методов окрестностного анализа.
  • Использовать окрестностное тестирование для проверки корректности алгоритмов.
Чему я научусь?
  • Применять универсальный решающий алгоритм для инверсии программ.
  • Анализировать программы с использованием методов окрестностного анализа.
  • Использовать окрестностное тестирование для проверки корректности алгоритмов.

Учебный план

№ Занятия
1 Универсальный решающий алгоритм. Структура URA
2 Приведение программы к табличной форме
3 Алгоритм инверсного вычисления программ
4 Альтернативное представление результатов инверсного вычисления. Корректность URA
5 Примеры УРА
6 Различные подходы к вычислению и инверсии программ. Обзор главы 4
7 Инверсное программирование. Перенос инверсных вычислений на произвольный язык. Корректность переноса
8 Инверсное программирование (повторение). Доказательство корректности inv
9 SURA и XURA. MGU и пересечение классов. Таблица решений
10 SURA: симметричный УРА. Инверсное вычисление: пересечение графика со множеством поиска. Общий и частный случай. Постановка и решение задачи
11 XURA: симметричный УРА для случая неплоских языков. NTSG
12 Отсечение бесперспективных деревьев. Backpropagation
13 Выводы. Вне программы: BTI вместо прямой реализации
14 XSG и XURA: состояние и перспективы
15 Окрестностный анализ
16 Шаги формализации. Алгоритм nan. Множество. Окрестности
17 Окрестностный анализатор
18 Повторение: окрестностный анализатор
19 Интуитивный смысл. Примеры. Конечное объединение классов
20 Операции над классами и окрестностями. Проверка принадлежности данных к классу
21 Декомпозиция окрестности
22 Интуитивный смысл окрестности. Обзор главы
23 Окрестностное тестирование программ. Процесс тестирования
24 Структурные критерии выбора тестов
25 Конечный автомат. Неформальный предельный критерий
26 Метасистемные уровни в окрестностном тестировании. Шаг и свойства окрестностного тестирования
27 Традиционные проблемы тестирования программ

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^