- полная формализация
- мат. complete formalization
Большой англо-русский и русско-английский словарь. 2001.
полная формализация
Смотреть что такое "полная формализация" в других словарях:
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
ФОРМАЛИЗАЦИЯ — отображение рез тов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция, Ф. является необходимым … Российская социологическая энциклопедия
формализация — (от лат. forma вид, образ) отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные… … Словарь терминов логики
ФОРМАЛИЗАЦИЯ — – совокупность познавательных операций, обеспечивающая отвлечение от значения понятия и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. Есть два типа формализованных… … Энциклопедический словарь по психологии и педагогике
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством… … Философская энциклопедия
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… … Философская энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Франциск Ассизский — В Википедии есть статьи о других людях с именем Франциск. Проверить нейтральность. На странице обсуждения должны быть подробности … Википедия
Модернизация — (Modernization) Модернизация это процесс изменения чего либо в соответствии с требованиями современности, переход к более совершенным условиям, с помощью ввода разных новых обновлений Теория модернизации, типы модернизации, органическая… … Энциклопедия инвестора
