Борисов, Евгений Васильевич (кандидат философских наук). Проблема Крипке и ее прямое решение [Текст] / Е. В. Борисов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 5-14. . - Библиогр.: с. 14 (5 назв. )
Рубрики: Логика Логические формы и законы Кл.слова (ненормированные): проблема правилосообразности -- математическая логика -- недоопределенность арифметических операций -- арифметические операции -- правилосообразность -- философы Аннотация: Проблема правилосообразности в постановке С. Крипке и ее решение, применяемое к арифметическим операциям. Тезис о недоопределенности правила не является универсальным и предложена его окончательная версия. Доп.точки доступа: Крипке, С. А. (философ); Суровцев, В. А.; Ладов, В. А. Нет сведений об экземплярах (Источник в БД не найден) |
Экспериментальный анализ генерации больших простых чисел в системе остаточных классов [Текст] = Experimantal Analysis of Large Prime Nunbers Generation in Residue Number System / Н. И. Червяков [и др.] // Качество. Инновации. Образование. - 2017. - № 9. - С. 42-48 : 2 рис. - Библиогр.: с. 47 (10 назв.)
Рубрики: Математика Вычислительная математика Кл.слова (ненормированные): большие простые числа -- система остаточных классов -- модулярное умножение Монтгомери -- Монтгомери модулярное умножение -- криптографические алгоритмы -- вычисления остатка -- позиционные системы счисления -- арифметические операции -- приближенные методы Аннотация: В статье уточнены значения оценки точности, необходимой для корректной работы алгоритма перевода чисел из системы остаточных классов в позиционную систему счисления с использованием приближенного метода. Доп.точки доступа: Червяков, Николай Иванович (доктор технических наук; заведующий кафедрой; профессор); Бабенко, Михаил Григорьевич (кандидат физико-математических наук; доцент); Коняева, Дарья Семеновна (студент); Кучукова, Наталья Николаевна (аспирант); Кучукова, Екатерина Андреевна (студент); Гудиева, Наталья Григорьевна (аспирант) Нет сведений об экземплярах (Источник в БД не найден) |