У вас уже есть заявка на текущий период. Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия". Или создайте заявку на другой период.
 
Курсы
MBAКомпанииГранты на обучениеВузыПовысь зарплату

EduMarket Образование
  Вход на сайт
 
Напомнить   
Запомнить меня
 
Пользовательское соглашение


Победители конкурса грантов

Завершился 35-й конкурс грантов «Мечты сбываются». Поздравляем победителей!
Нет ничего невозможного, если есть сильное желание чего-то добиться. Если у вас есть ...

Куценко Александра Анатольевна, менеджер из Ростова-на-Дону, победитель 34 конкурса грантов, выиграла 100 000 руб.
Хочу поблагодарить портал EduMarket.ru и всех, кто причастен к его созданию, развитию и ...



Подать заявку на грант
 
 
Курсы, программы / IT: Для программистов и IT-специалистов / Программирование / Метавычисления и их приложения: инверсное вычисление и инверсное программирование

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

ИНТУИТ ИНТУИТ (29.44) Рейтинг компании Pоссия бесплатно

руб. 0.00

за 15 ак. часов

Даты проведения
C открытой датой
Форма обучения: Дистанционная
Вид мероприятия: Видеокурс
Целевая аудитория
Программисты, архитекторы программного обеспечения
Преподаватель
Сергей Абрамов - Университет города Переславля им. А. К. Айламазяна
Анонс программы
В учебном курсе определяется один из методов метавычислений - инверсное вычисление,- и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма - универсальный решающий алгоритм.
Описание программы
  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. Шаги формализации. Алгоритм ...
Подробнее о программе
 
 
Телефон организатора Телефон организатора
Нажмите на ссылку, чтобы увидеть телефон
Показать телефон
 
 
 
 
Похожие мероприятия
Специалист по установке и обслуживанию навигационного оборудования GPS ГЛОНАСС Online Pоссия 18 750 руб.

Программирование + 3D-моделирование Очно-заочная Барнаул 9 600 руб.

Основы программирования Очная/дневная, Вечерняя Барнаул 9 600 руб.
Вернуться
Пользовательское соглашение       Обратная связь       Карта сайта

© 2006—2024 Edumarket


 

Город

Начните писать и выберите вариант из списка

Последняя или будущая должность

Начните писать и выберите вариант из списка
 

Ваше имя

Электронная почта

 

Телефон

 

Текст сообщения


Я принимаю условия, изложенные в Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию