- формальные преобразования
- мат. formal manipulation
Большой англо-русский и русско-английский словарь. 2001.
формальные преобразования
Смотреть что такое "формальные преобразования" в других словарях:
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Синтаксис — (от греч. σύνταξις построение, порядок) 1) характерные для конкретных языков средства и правила создания речевых единиц; 2) раздел грамматики, изучающий процессы порождения речи: сочетаемость и порядок следования слов внутри предложения, а… … Лингвистический энциклопедический словарь
Скалярное поле — Если каждой точке M некоторой области некоторого пространства (чаще всего подразумевается, что размерность этого пространства больше единицы) поставлено в соответствие некоторое (обычно действительное) число u, то говорят, что в этой… … Википедия
ИНВАРИАНТЫ — абсолютные, сохраняющиеся, фундаментальные в рамках определенной научной теории величины (константы), отношения, формальные преобразования. Например, С скорость света в теории относительности и т. п. (См. абсолют, неизменность) … Философия науки: Словарь основных терминов
IPO — (Публичное размещение) IPO это публичное размещение ценных бумаг на фондовом рынке Сущность понятия публичного размещения (IPO), этапы и цели проведения IPO, особенности публичного размещения ценных бумаг, крупнейшие IPO, неудачные публичные… … Энциклопедия инвестора
МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… … Математическая энциклопедия
Математическая лингвистика — Математическая лингвистика математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Возникла в 50‑х гг. 20 в.; одним из главных стимулов появления… … Лингвистический энциклопедический словарь
МЕТОДОЛОГИЯ — (от метод игреч. слово, понятие, учение), система принципов и способов организации и построения теоретич. и практич. деятельности, а также учение об этой системе. Первоначально М. была неявно представлена в практич. формах взаимоотношений … Философская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
Информатика — дисциплина, изучающая структуру и общие свойства научной информации, а также закономерности её создания, преобразования, передачи и использования в различных сферах человеческой деятельности. Многие вопросы, входящие ныне в круг… … Большая советская энциклопедия
Мировая экономика — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
