СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГБИБЛИОТЕК БЕЛАРУСИ | История поисков |
| Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
|---|
Справка
| АРИФМЕТИЗАЦИЯ |
Метод, применяемый в математической логике для замены рассуждений о выражениях какого-либо логико-математического языка рассуждениями о натуральных числах.
| ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ АРІФМЕТЫЗАЦЫЯ |
ИСТОЧНИКИ ИНФОРМАЦИИ
Математика : большой энциклопедический словарь. — Москва, 1998.
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
| © Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |