Словник іншомовник слів
ФОРМАЛІЗАЦІЯ
формалізація; ж.
(лат., складений за формою)
в математичній логіці - метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень - відповідними їм послідовностями символів або формулами.
формалізація; ж.
(лат., складений за формою)
в математичній логіці - метод, що полягає у заміні всіх змістових термінів символами, а всіх змістових тверджень - відповідними їм послідовностями символів або формулами.
Ви можете поставити посилання на це слово:
матиме такий вигляд: ФОРМАЛІЗАЦІЯ
матиме такий вигляд: Що таке ФОРМАЛІЗАЦІЯ
матиме такий вигляд: ФОРМАЛІЗАЦІЯ
матиме такий вигляд: Що таке ФОРМАЛІЗАЦІЯ