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

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

іменник жіночого роду

Значення в інших словниках

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