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

формаліза́ція (від лат. formalis – складений за формою) в математичній логіці – метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень – відповідними їм послідовностями символів або формулами.

формалізація—мен. жн. роду тльки одн. хм....Большой украинско-русский словарь
формалізація—ж.i Представлення яконебудь змстовно галуз знань у вигляд формально системи. У математичнй логц метод що поляга в замн всх змстових термнв символами....Великий тлумачний словник (ВТС) сучасної української мови
формалізація—формалзаця менник жночого роду...Орфографічний словник української мови
формалізація—формалзаця ж. лат. складений за формою в математичнй логц метод що поляга у замн всх змстових термнв символами а всх змстових тверджень вдповдними м послдовностями симв...Словник іншомовних слів
формаліза́ція—ФОРМАЛЗАЦЯ ж. У математичнй логц метод що поляга в замн всх змстових термнв символами. Словник укрансько мови в тт. АН УРСР. нститут мовознавства за ред. . К. Блодда....Словник української мови в 11 томах
формалізація—ФОРМАЛЗАЦЯ ж.У математичнй логц метод що поляга в замн всх змстових термнв символами а всх змстових тверджень формулами.На другому етап формуться формалзована математич...Словник української мови у 20 томах
формалізація—ж. Представлення яконебудь змстовно галуз знань у вигляд формально системи. У математичнй логц метод що поляга в замн всх змстових термнв символами....Толковый словарь украинского языка
формалізація—institutionalisation....Украинско-английский бизнес словарь
формалізація—formalization...Украинско-английский юридический словарь
формалізація—матем. формализация...Украинско-русский политехнический словарь
формалізація—Formalizationформалзаця завдання formalization of a problem...Українсько-англійський словник
формалізація—ФОРМАЛЗАЦЯ вд лат. formalis складений за формою у математичнй логц метод подання змстово теор як числення. Ф. поляга в замн всх змстових тверджень вдповдними м послдовн...Філософський енциклопедичний словник