произвольная формализация это:

произвольная формализация
подразумевает замену отдельных лексических единиц (ЛЕ), а также целых предложений и понятий различными, заранее обусловленными цифровыми, буквенными или смешанными индексами.

Толковый переводоведческий словарь. - 3-е издание, переработанное. — М.: Флинта: Наука. . 2003.

Смотреть что такое "произвольная формализация" в других словарях:

  • произвольная формализация текста — подразумевает замену отдельных лексических единиц, а так же целых предложений и понятий различными, заранее обусловленными цифровыми, буквенными и смешанными индексами, включая специальные и служебные сигналы, служебные коды и кодовые фразы,… …   Толковый переводоведческий словарь

  • Доказательство —         в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… …   Большая советская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

  • СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ —     СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… …   Философская энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»