Словник іншомовних слів Мельничука
А Б В Г Д Е Є Ж З І Й К Л М Н О П Р С Т У [Ф] Х Ц Ч Ш Ю Я
ФОРМАЛІЗАЦІЯ
формаліза́ція
(від лат. formalis – складений за формою)
в математичній логіці – метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень – відповідними їм послідовностями символів або формулами.
Ви можете поставити посилання на це слово:

матиме такий вигляд: ФОРМАЛІЗАЦІЯ


матиме такий вигляд: Що таке ФОРМАЛІЗАЦІЯ