Смотреть больше слов в «Словнику іншомовних слів»
ФОРМАЛІЗАЦІЯ (від лат. formalis - складений за формою) у математичній логіці - метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами; у виявленні і перебудові структури теорії, внаслідок чого теорія набуває вигляду ланцюга формул, де кожна наступна логічно випливає з однієї або кількох попередніх (див. аксіоматичний метод, логістичний метод). Ф. використовують у математиці, логіці і в тих науках, рівень розвитку яких дає змогу застосовувати математичний апарат. Ф. як засіб пізнання має велике значення, зокрема, прокладає шлях "кібернетизації" знання та мислення - передачі машинам певної сторони інтелектуальної діяльності людини (див. штучний інтелект). Успіхи формалізації привели до перебільшення її пізнавальної ролі, особливо логічним позитивізмом. Проте, як виявилося, повністю можна формалізувати лише певні фрагменти змістових теорій, а не теорію в цілому.П. Йолон... смотреть
ФОРМАЛІЗА́ЦІЯ, ї, ж.У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами, а всіх змістових тверджень формулами.На друго... смотреть
рос. формализация 1. В економіко-математичному обчислюванні, економічному аналізі — метод, що полягає у заміні всіх змістовних термінів символами, а всіх змістових підтверджень — відповідними їм послідовностями символів або формулами. 2. Використання певних знаків і символів для відображення і пояснення закономірностей будь-яких процесів, явищ. Є інструментом моделювання і засобом упорядкування знань. Дає змогу встановлювати і фіксувати структуру системи управління, порядок її функціонування і елементів, що її створюють.... смотреть
-ї, ж. Представлення якої-небудь змістовної галузі (знань) у вигляді формальної системи. || У математичній логіці – метод, що полягає в заміні всіх зм... смотреть
імен. жін. роду, тільки одн.фіз., хім.формализация
формаліза́ція (від лат. formalis – складений за формою) в математичній логіці – метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень – відповідними їм послідовностями символів або формулами.... смотреть
-ї, ж. Представлення якої-небудь змістовної галузі (знань) у вигляді формальної системи.|| У математичній логіці – метод, що полягає в заміні всіх зм... смотреть
Formalizationформалізація завдання — formalization of a problem
формаліза́ція іменник жіночого роду
institutionalisation.
матем. формализация
formalization
формализация алгоритма
формализация семантики