Приложение
для AndroidПолное описание
Подзоров, С. Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров. - Новосибирск, 2010. - 18 с. - Библиогр.: с. 16-18 (42 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.17.21 | 512.56(043) | |
| 27.03.17 | 510.5(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар10-16836)
Шифр в сводном ЭК: 428f6401e9f77d03bd8ce39abdf7a278
Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Подзоров С.Ю. Вычислимость и конструктивность в ограниченных фрагментах теорий : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / С. Ю. Подзоров, 1999. - 8 с. - Текст : непосредственный.Подзоров С.Ю. Вычислимые классы конструктивизаций 2-конструктивизируемых моделей / С.Ю.Подзоров, 1999. - 11 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.
Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Труды международной конференции "Континуальные алгебраические логики, исчисления и нейроинформатика в науке, технике и экономике" : 13-15 мая 2003 г. . Т. 2 : Алгебраические логики, импликативная и предикатная алгебры выбора в задачах науки и техники, 2003. - 138 с. - Текст : непосредственный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный.Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Семенова М.В. Разложения в полных решетках / М. В. Семенова, 2000. - 23 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Маренич Е.Е. Системы линейных уравнений над решетками / Е. Е. Маренич, В. Е. Маренич, 2007. - 122 с. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Егоров И.П. О математических структурах / И. П. Егоров, 2016. - 64 с. - Текст : непосредственный.Запатрин Р.Р. Полугрупповая координатизация решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Р. Р. Запатрин, 1999. - 7 с. - Текст : непосредственный.Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.
Показать все результатыПодзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions / D. Fredholm, 1994. - 80 p. - Текст : непосредственный.
Пальчунов Д.Е. Теоретико-модельные свойства булевых алгебр с выделенными идеалами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Е. Пальчунов, 1994. - 26 с. - Текст : непосредственный.Сафин К.Л. Идеалы итеративных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / К. Л. Сафин, 2000. - 12 с. - Текст : непосредственный.Попович А.Л. Представление решеток решетками конгруэнций полугрупп : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. Л. Попович, 2018. - 15 с. - Текст : непосредственный.Королева Т.А. Решетки разбиений натуральных чисел и хроматическая определяемость графов : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Т. А. Королева, 2008. - 19 с. - Текст : непосредственный.Оспичев С.С. Алгебраические и структурные свойства полурешеток Роджерса в иерархии Ершова : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / С. С. Оспичев, 2013. - 20 с. - Текст : непосредственный.Перминова О.Е. Критические решетки : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / О. Е. Перминова, 2014. - 20 с. - Текст : непосредственный.Семенова М.В. Вложение решеток в решетки замкнутых подмножеств пространств замыкания : автореф. дис. .. д-ра физ.-мат. наук: 01.01.06 / М. В. Семенова, 2007. - 18 с. - Текст : непосредственный.Семенова А.В. Операды конечных помеченных графов и решеток : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / А. В. Семенова, 2008. - 12 с. - Текст : непосредственный.Трофимов А.В. Теоретико-модельные свойства обогащенных булевых алгебр и алгебр Ершова : автореф. дис. .. канд. физ.-мт. наук: 01.01.06 / А. В. Трофимов, 2011. - 15 с. - Текст : непосредственный.Комков, Степан Алексеевич. Темпы роста произвольных конечных структур : специальность 01.01.09 - "Дискретная математика и математическая кибернетика": автореферат диссертации на соискание учёной степени кандидата физико-математических наук / Комков Степан Алексеевич, 2022. - 18 с. - Текст : непосредственный.Назырова Ю.А. Слойно проективные решетки : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Ю. А. Назырова, 2001. - 13 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽