СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГБИБЛИОТЕК БЕЛАРУСИ | История поисков |
| Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
|---|
Справка
| ДОКАЗАТЕЛЬСТВА (мат. логика) |
В математике и логике - цепь правильных умозаключений, ведущих от истинных посылок к доказываемым тезисам
| ЭКВИВАЛЕНТ НА ДРУГОМ ЯЗЫКЕ ДОКАЗЫ (мат. логіка) |
ИСТОЧНИКИ ИНФОРМАЦИИ
http://www.glossary.ru/cgi-bin/gl_sch2.cgi?RMgylsgyoqg
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
| © Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |