- формализация языка
- мат. language formalization
Большой англо-русский и русско-английский словарь. 2001.
формализация языка
Смотреть что такое "формализация языка" в других словарях:
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
формализация — ФОРМАЛИЗАЦИЯ совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и… … Энциклопедия эпистемологии и философии науки
Формализация — описание основного содержания исследуемого явления (процесса) с помощью т. н. формализованного (формального) языка (символов и правил их написания). В военной теории и практике формализация используется в математическом моделировании,… … Морской словарь
ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… … Новейший философский словарь
ФОРМАЛИЗАЦИЯ — отображение рез тов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция, Ф. является необходимым … Российская социологическая энциклопедия
формализация — ФОРМАЛИЗАЦИЯ, и, ж Метод исследования, состоящий в сведении сущности вещи, явления к их форме, в представлении какой л. содержательной области знания (научной теории, рассуждения и т.п.) в виде формальной системы или исчисления. Формализация… … Толковый словарь русских существительных
Формализация — Модель (фр. modèle, от лат. modulus мера, образец). Модель некоторый материальный или мысленно представляемый объект или явление, замещающий оригинальный объект или явление, сохраняя только некоторые важные его свойства, например, в процессе… … Википедия
ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… … Социология: Энциклопедия
ФОРМАЛИЗАЦИЯ — метод семиотического анализа объектов любой природы, направленный на выявление формы. Дескриптивная Ф. (прямое описание, обозначение, именование) объектов с помощью терминов является простейшим видом Ф., вариантом которой в естественных языках… … Современный философский словарь
Синтез языка, синтетическая философия — (language synthesis, synthetic philosophy) направление в философии, которое ставит своей задачей синтез новых терминов, понятий и суждений на основе их языкового анализа. В 20 в. в англоязычной философии преобладает лингво аналитическая… … Проективный философский словарь
Институты языкознания — В системе АН СССР проблемы языкознания разрабатываются в специализированных языковедческих институтах (Институте языкознания и Институте русского языка), в институтах комплексной проблематики (Институте востоковедения, Институте славяноведения и… … Лингвистический энциклопедический словарь
