По количеству
Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
Вход
Русский
Белорусский
Английский
Deutsch
Español
Français
中文(繁體)
polski
Язык
Электронный каталог Национальной библиотеки Беларуси находится в тестовом режиме
Перейти в электронную библиотеку
Все поля записи
Заглавие
Автор/Создатель
Предмет
ISBN/ISSN/...
Найти
Расширенный поиск
Udk
510.5/.7
Отображение
1
-
2
из
2
для поиска:
'510.5/.7'
, время запроса: 0.03сек.
Результаты на странице
20
50
100
Сортировка
Релевантность
Дата (по убыванию)
Дата (по возрастанию)
Автор
Заглавие
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
result_checkbox_label
1
Алгоритмический ум: ментализм vs механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, Независимый альянс, 2023. - 511 с. - (Библиотека аналитической философии)
Автор
Целищев, В. В. (род. 1942)
“
...
510
.
5
/.
7
4 rus...
”
Книги
Добавить в Избранное
Сохранено в:
result_checkbox_label
2
Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев. - Новосибирск : Издательство СО РАН, 2012. - 497, [6] с. - (Интеграционные проекты СО РАН ; вып. 40)
Автор
Ершов, Ю. Л. (род. 1940)
“
...
510
.
5
/.
7
4 rus...
”
Книги
Добавить в Избранное
Сохранено в:
Выбрать все | снять выделение:
Выбранные записи:
Email
Экспорт
Печать списка
Сохранить в личный каталог
Инструменты поиска:
RSS-поток
–
Отправить результаты поиска по Email
–
Сохранить запрос
Связанные темы
ВЫЧИСЛИМОСТИ ТЕОРИЯ
МАТЕМАТИЧЕСКОЕ МЫШЛЕНИЕ
ОСНОВАНИЯ МАТЕМАТИКИ
ФИНИТИЗМ
АЛГОРИТМИЗАЦИЯ
ГЕДЕЛЯ ТЕОРЕМЫ О НЕПОЛНОТЕ
ДОКАЗАТЕЛЬСТВА (мат. логика)
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
МЫШЛЕНИЕ
РЕКУРСИВНЫЕ ФУНКЦИИ
ФИЛОСОФИЯ МАТЕМАТИКИ
ЧЕРЧА ТЕЗИС