Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Книги" (24)

Труды АМГУ (2)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=теория алгоритмов<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

Алаев, П. Е.
Автоустойчивость атомно-идеальных обогощений вычислимых булевых алгебр [Текст] / П. Е. Алаев // Доклады Академии наук. - 2010. - Т. 433, N 2. - С. 151-153. - Библиогр.: с. 153 . - ISSN 0869-5652

УДК

^a512

ББК 22.14
Рубрики: Математика
Алгебра
Кл.слова (ненормированные):
теория алгоритмов -- вычислимые функции -- математическая логика -- общая алгебра
Аннотация: Изучаются вычислимые булевы алгебры - объект, тесно связанный со многими вопросами в логике, теории алгоритмов и других областях математики.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Сергей Иванович Адян [Текст] : (к восьмидесятилетию со дня рождения) / Л. Д. Беклемишев [и др. ] // Успехи математических наук. - 2011. - Т. 66, вып. 1 (397). - С. 199-200. : ил.: 1 фот.

УДК

^a510

ББК 22.1
Рубрики: Математика
Общие вопросы математики
Кл.слова (ненормированные):
ученые -- математики -- юбилеи -- академики -- алгебра -- математическая логика -- теория алгоритмов
Аннотация: 1 января 2011 г. исполнилось 80 лет Сергею Ивановичу Адяну. Академик РАН Сергей Иванович Адян - выдающийся ученый-математик, специалист в области алгебры, математической логики и теории алгоритмов.

Доп.точки доступа:
Беклемишев, Л. Д.; Бухштабер, В. М.; Лысенок, И. Д.; Мальцев, А. А.; Новиков, С. П.; Разборов, А. А.; Семенов, А. Л.; Адян, С. И. (математик ; 1931-)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Вьюгин, В. В.
Об универсальных алгоритмах адаптивного прогнозирования [Текст] / В. В. Вьюгин // Проблемы передачи информации. - 2011. - Т. 47, вып. 2. - С. 90-116. . - Библиогр.: с. 116 (19 назв. )

УДК

^a519.876

ББК 32.817
Рубрики: Радиоэлектроника
Теория сложных систем
Кл.слова (ненормированные):
методы прогнозирования -- теория алгоритмов -- универсальные предсказания -- детерминированная прогнозирующая система -- рандомизированная прогнозирующая система -- непредсказуемые последовательности -- неинформированные предсказания -- произвольные тесты
Аннотация: В последнее десятилетие были разработаны методы прогнозирования данных в режиме онлайн, отличные от традиционных подходов математической статистики. В частности, можно "успешно" прогнозировать любую последовательность исходов, не используя никаких гипотез об источнике их порождения. Один из таких методов в модифицированной форме приводится в данной статье. Основная часть статьи посвящена анализу подобных универсальных методов прогнозирования на основе теории алгоритмов, определению границ их возможностей.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Вялый, М. Н.
О задачах регулярной реализуемости [Текст] / М. Н. Вялый // Проблемы передачи информации. - 2011. - Т. 47, вып. 4. - С. 43-54. - Библиогр.: с. 54 (11 назв. ) . - ISSN 0555-2923

УДК

^a59.876

ББК 32.81
Рубрики: Радиоэлектроника
Теория сложных систем
Кл.слова (ненормированные):
задачи регулярной реализуемости -- теория алгоритмов -- фиксированные языки -- фильтры -- массовые алгоритмические задачи -- классы обобщенного недетерминизма -- недетерминизированные автоматы -- блочные фильтры
Аннотация: Делается первый шаг в изучении общих свойств задач регулярной реализуемости. А именно, показано, что задачи регулярной реализуемости с бесконечными фильтрами не проще класса задач, разрешимых на логарифмической памяти.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Орлов, Д. А. (кандидат технических наук; доцент).
Статический анализ исходных текстов программ методом обратного выполнения на наличие в [Текст] / Д. А. Орлов // Программная инженерия. - 2017. - Т. 8, № 7. - С. 291-299. - Библиогр.: с. 298 (15 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгоритм анализа программ -- анализ исходных текстов программ -- верификация программ -- метод обратного выполнения -- ошибки доступа к памяти -- программная инженерия -- программное обеспечение -- теория алгоритмов -- тестирование программ
Аннотация: Рассмотрена возможность применения метода обратного выполнения для статического анализа исходных текстов программ, реализующих алгоритмы обработки строк. Предложен алгоритм выявления ошибок доступа к памяти в исходных текстах таких программ. Представлены результаты работы программной реализации предложенного алгоритма.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 18.08.2024
Число запросов	28670
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)