Глоссарий





Новости переводов

28 марта, 2024

Бюро переводов vs. переводчиков-фрилансеров

26 марта, 2024

Значение китайского языка в глобализации

26 марта, 2024

Глоссарии по ядерной энергетике на сайте бюро переводов.

25 марта, 2024

Обеспечение качества переводов в работе переводческого агентства

20 марта, 2024

Востребованы ли сегодня переводчики математических текстов с русского языка на английский?

20 марта, 2024

Глоссарий транспортно-экспедиторских и коммерческих терминов добавлен на сайт бюро переводов

19 марта, 2024

Переводы комиксов



Глоссарии и словари бюро переводов Фларус

Поиск в глоссариях:  

Синтез программ индуктивный

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




Автоматический, русский
  1. ~ key management автоматическое управление ключами

  2. Self-acting discharge valve


Нахождение, русский

Осуществляться, русский
    Осуществляться , исполняться


Синтез программ трансформационный, русский
    Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. с.п.т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.


Синтез программ дедуктивный, русский
    Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. в ходе реализации с.п.д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.