Глоссарий





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

14 мая, 2024

Популярные языки в переводах за апрель 2024 года

14 мая, 2024

Услуги переводчика для импортно-экспортных операций

26 апреля, 2024

Можно ли использовать изображения из Интернета для публикации в журнале?

25 апреля, 2024

Подготовка к локализации сайта

23 апреля, 2024

Копирайтинг в переводах

19 апреля, 2024

Переводы в мебельном производстве

19 апреля, 2024

Translations in furniture production



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

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

Enumeratio, onis, f

Русско-латинский словарь


    Исчисление, русский
    1. – см. логистика.

    2. , знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

    3. Формальная система, задаваемая четверкой <т,в,а,р>, где т - множество базовых символов исчисления; в - синтаксические правила, с помощью которых из элементов т порождаются произвольные элементы; а - множество априорно истинных элементов исчисления (аксиомы исчисления); р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.

    4. Основанный на четких правилах формальный аппарат оперирования сознаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого клас




    Enucleare [1], латинский

    Enuntiatio, onis, f, латинский