формалізація
формаліза́ція
(від лат. formalis – складений за формою)
в математичній логіці – метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень – відповідними їм послідовностями символів або формулами.
Джерело:
Словник іншомовних слів за редакцією О.С. Мельничука
на Slovnyk.me
Значення в інших словниках
- формалізація — формаліза́ція іменник жіночого роду Орфографічний словник української мови
- формалізація — ФОРМАЛІЗА́ЦІЯ, ї, ж. У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами, а всіх змістових тверджень формулами. Словник української мови у 20 томах
- формалізація — -ї, ж. Представлення якої-небудь змістовної галузі (знань) у вигляді формальної системи. || У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами. Великий тлумачний словник сучасної мови
- формалізація — ФОРМАЛІЗАЦІЯ (від лат. formalis — складений за формою) у математичній логіці — метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами... Філософський енциклопедичний словник
- формалізація — ФОРМАЛІЗА́ЦІЯ, ії, ж. У математичній логіці — метод, що полягає в заміні всіх змістових термінів символами. Словник української мови в 11 томах
- формалізація — рос. формализация 1. В економіко-математичному обчислюванні, економічному аналізі — метод, що полягає у заміні всіх змістовних термінів символами, а всіх змістових підтверджень — відповідними їм послідовностями символів або формулами. Eкономічна енциклопедія