ФОРМАЛІЗАЦІЯ

1формалізація

2формалізація

3формалізація

  1. 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] опис теорій, осмислених речень і т.п. формальними засобами, насамперед символами математики та математичної логіки (але бувають випадки й такі, що символами виявляються звичайні слова, тільки бездоганно……).