Сортировать по:
| Выпуск | Название | |
| Том 16, № 1 (2019) | ФРИДБЕРГОВЫЕ НУМЕРАЦИИ С ГИПЕРИММУННЫМ ОРАКУЛОМ | Аннотация похожие документы |
| А. А. Исахов, Ф. Рақымжанқызы | ||
| "... Friedberg numberings of families of total functions. It is shown that if F is an infinite A-computable ..." | ||
| Том 18, № 2 (2021) | БЕСКОНЕЧНЫЕ СЕМЕЙСТВА ВСЮДУ ОПРЕДЕЛЕННЫХ ФУНКЦИЙ С ГЛАВНЫМИ НУМЕРАЦИЯМИ | Аннотация похожие документы |
| А. А. Исахов, Ф. Рахымжанкызы, У. Остемирова | ||
| "... with an oracle A, such that Ø′≤TA, does not have A-computable principal numbering; later it was proved that any ..." | ||
| Том 20, № 1 (2023) | О СУЩЕСТВОВАНИИ УНИВЕРСАЛЬНЫХ НУМЕРАЦИЙ | Аннотация похожие документы |
| Д. Д. Нурланбек | ||
| "... computable families. A numbering α is reducible to a numbering β if there is computable function ƒ ..." | ||
| Том 22, № 2 (2025) | ОБОБЩЕННАЯ НУМЕРАЦИЯ ДЛЯ ЛИНЕЙНЫХ ПОРЯДКОВ | Аннотация похожие документы |
| А. А. Исахов, Б. С. Калмурзаев, Ф. Ракымжанкызы | ||
| "... no computable numberings. In this work we show that the set of all linear orders isomorphic to the standard ..." | ||
| Том 19, № 3 (2022) | Ранги для семейств теорий регулярных графов | Аннотация похожие документы |
| Н. Д. Мархабатов, С. В. Судоплатов | ||
| "... В настоящей статье исследуются семейства теорий регулярных графов. Используя инварианты для теории ..." | ||
| Том 20, № 2 (2023) | ИНДЕКСНЫЕ МНОЖЕСТВА САМОПОЛНЫХ ЛИНЕЙНЫХ ПОРЯДКОВ, ИЗОМОРФНЫХ НЕКОТОРЫМ СТАНДАРТНЫМ ПОРЯДКАМ | Аннотация похожие документы |
| А. Аскарбеккызы, Н. А. Баженов | ||
| "... of the existence of joins and meets of positive linear preorders with respect to computable reducibility of binary ..." | ||
| Том 22, № 3 (2025) | О СТРУКТУРЕ МИНИМАЛЬНЫХ ТЕМНЫХ ВЫЧИСЛИМО ПЕРЕЧИСЛИМЫХ ОТНОШЕНИЙ ЭКВИВАЛЕНТНОСТИ | Аннотация похожие документы |
| С. А. Бадаев, А. М. Искаков, Б. С. Калмурзаев, А. Асқарбекқызы | ||
| "... The structure of computably enumerable equivalence relations under computable reducibility ..." | ||
| Том 21, № 3 (2024) | О КРАЕВОЙ ЗАДАЧЕ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ ВЫСОКОГО ПОРЯДКА С ИМПУЛЬСНОЙ ДИСКРЕТНОЙ ПАМЯТЬЮ | Аннотация похожие документы |
| А. Т. Асанова, Р. А. Бименова, Б. Б. Минглибаева, А. П. Сабалахова | ||
| "... семейству краевых задач для дифференциального уравнения первого порядка с импульсной дискретной памятью ..." | ||
| Том 21, № 1 (2024) | О СТРУКТУРЕ ПУНКТУАЛЬНЫХ ЛИНЕЙНЫХ ПОРЯДКОВ ИЗОМОРФНЫХ НАИМЕНЬШЕМУ ПРЕДЕЛЬНОМУ ОРДИНАЛУ | Аннотация похожие документы |
| А. Аскарбеккызы, А. М. Искаков, Б. C. Калмурзаев | ||
| "... of structures Ω, consisting of computable copies of the least limit ordinal with respect to computable ..." | ||
| Том 16, № 2 (2019) | ОПТИМИЗАЦИОННЫЙ СИНТЕЗ МЕХАНИЗМА НОГИ ДЛЯ ШАГАЮЩЕЙ МАШИНЫ | Аннотация PDF (Rus) похожие документы |
| С. М. Ибраев, Г. А. Айдашева, Н. К. Джамалов, А. С. Ибраев, Г. М. Мухамбеткалиева | ||
| "... машины на основе плоского рычажного механизма, чертящая точка которого (центр стопы) генерирует семейство ..." | ||
| Том 20, № 1 (2023) | ПОЧТИ 1-ТРАНЗИТИВНОСТЬ В ЛИНЕЙНО УПОРЯДОЧЕННЫХ СТРУКТУРАХ | Аннотация PDF (Rus) похожие документы |
| Б. Ш. Кулпешов, С. В. Судоплатов | ||
| "... конкатенаций почти 1-транзитивных о-минимальных линейных порядков. Исследованы свойства обогащений семейств ..." | ||
| Том 19, № 1 (2022) | АППРОКСИМАЦИИ РЕГУЛЯРНЫХ ГРАФОВ | Аннотация PDF (Rus) похожие документы |
| Нурлан Дарханулы Мархабатов, Сергей Владимирович Судоплатов | ||
| "... семейств теорий. В настоящей работе дается частичный ответ на этот вопрос, а также продолжается изучение ..." | ||
| Том 17, № 1 (2020) | АНАЛИЗ РАБОТЫ УСТРОЙСТВ С УЯЗВИМОСТЬЮ BADUSB | Аннотация PDF (Rus) похожие документы |
| Е. А. Зуева | ||
| "... микрокодов, опасность угрозы BadUSB высока. Так как ей подвержены все операционные системы семейства Windows ..." | ||
| 1 - 13 из 13 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
