ФОРМАЛІЗАЦІЯ
1формалізація
2формалізація
3формалізація
- formalization
формалізація Опис теорій, осмислених речень тощо. формальними засобами, насамперед символами математики та математичної логіки (але бувають випадки і такі, що символами виявляються прості слова, лише бездоганно чітко обумовленого змісту). Систему таких символів та правил поводження з ними називають формалізмом цієї науки. Він допомагає проводити логічні висновки, підрахунки та інші операції безпосередньо з символами, формулами, які виступають як заступниками тих понять, якими ми оперуємо. Нерідко та сама формула застосовується для описи різних явищ. Тому формалізована мова обов'язково потребує пояснення (інтерпретації). [http://slovar-lopatnikov.ru/]
- formalization
4формалізація
5формалізація
6формалізація
7формалізація
8формалізація
9формалізація
10формалізація
11формалізація
12формалізація
13формалізація
14формалізація
15формалізація
16формалізація
17формалізація
18формалізація
19формалізація
20формалізація
також в інших словниках:
ФОРМАЛІЗАЦІЯ — (від лат. forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, найменування, опис) об'єктів за допомогою термінів. Напр., в природному мові роль ... Філософська енциклопедія
формалізація — офіціалізація Словник українцівсинонімів. формалізація сущ., у синонімів: 1 • офіціалізація (3) Словник синонімів ASIS. У … Словник синонімів
Формалізація - опис основного змісту досліджуваного явища (процесу) за допомогою т.з. формалізованої (формальної) мови (символів та правил їх написання). У військовій теорії та практиці формалізація використовується в математичному моделюванні,… …
ФОРМАЛІЗАЦІЯ — подання та вивчення якоїсь змістовної галузі знання (наукові теорії, міркування, процедура пошуку тощо) у вигляді формальної системи або обчислення; пов'язана з посиленням ролі формальної логіки та математичних методів у наукових науках.
ФОРМАЛІЗАЦІЯ — спосіб вираження змісту сукупності знань через перетворену форму знаки штучної мови. Найбільш значущим різновидом Ф. є логічна Ф., яка означає вираз уявного змісту у вигляді логічних форм. Це… … Найновіший філософський словник
формалізація - ФОРМАЛІЗУВАТИ, зую, зуєш; ований; сов. та несов. (Книжковий.). Уявити змістовну сторону явища у вигляді формальної системи або обчислення. Формалізована мова (система спеціалізованих мовних засобів або їх символів з точними… … Тлумачний словник Ожегова
ФОРМАЛІЗАЦІЯ - (від лат. formalis перевага форми) англ. формалізація; HevbFormalisierung. 1. Подання змістовної сторони явища як формальної системи чи обчислення. 2. У науковій теорії побудова логічної структури, за допомогою якої все ... ... Енциклопедія соціології
формалізація — ФОРМАЛІЗАЦІЯ сукупність пізнавальних операцій, що забезпечує відволікання від значення понять та сенсу виразів наукової теорії з метою дослідження їїлогічних особливостей, дедуктивних та виразних можливостей. У математиці та… … Енциклопедія епістемології та філософії науки
формалізація - і, ж. formalisation f. Подання у вигляді формальної системи … Історичний словник галицизмів української мови
Формалізація - [formalization] опис теорій, осмислених речень і т.п. формальними засобами, насамперед символами математики та математичної логіки (але бувають випадки й такі, що символами виявляються звичайні слова, тільки бездоганно……).