Полное описание
>
Трофимов, А. В. Теоретико-модельные свойства обогащенных булевых алгебр и алгебр Ершова : автореф. дис. ... канд. физ.-мт. наук : 01.01.06 / А. В. Трофимов. - Новосибирск : [б. и.], 2011. - 15 с. - Библиогр.: с. 13-15 (30 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.67(043) | |
| 27.17.21 | 512.56(043) | |
| 03.91 |
Кл.слова (ненормированные): дистрибутивные решетки -- подалгебры -- автоморфизмы>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Завадский А.Г. Представления частично упорядоченных множеств конечного роста : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. Г. Завадский, 1991. - 19 с. - Текст : непосредственный.Адаричева К.В. Строение решеток подполурешеток : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / К. В. Адаричева, 1990. - 12 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.
Показать все результатыПальчунов Д.Е. Теоретико-модельные свойства булевых алгебр с выделенными идеалами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Е. Пальчунов, 1994. - 26 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Алаев П.Е. Определимость в итерированных расширениях : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / П. Е. Алаев, 1998. - 9 с. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Семенова М.В. К теории полудистрибутивных решеток : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / М. В. Семенова, 2000. - 16 с. - Текст : непосредственный.Сафин К.Л. Идеалы итеративных алгебр : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / К. Л. Сафин, 2000. - 12 с. - Текст : непосредственный.Бунина Е.И. Элементарная эквивалентность линейных и алгебраических групп : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Е. И. Бунина, 2001. - 12 с. - Текст : непосредственный.Назырова Ю.А. Слойно проективные решетки : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Ю. А. Назырова, 2001. - 13 с. - Текст : непосредственный.Ромина А.В. Автоустойчивость и представимость моделей в допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. В. Ромина, 2001. - 8 с. - Текст : непосредственный.Вербовский В.В. Свойства функций, определяемых в структурах с условиями минимальности семейств формульных подмножеств : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / В. В. Вербовский, 2002. - 15 с. - Текст : непосредственный.Степанова А.А. Теоретико-модельные свойства полигонов : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / А. А. Степанова, 2003. - 21 с. - Текст : непосредственный.Семигродских А.П. Решетки замкнутых классов функций на бесконечном множестве : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. П. Семигродских, 2003. - 16 с. - Текст : непосредственный.Власов Д.Ю. Структурная характеризация алгебраических систем с ограничением на сложность булевой алгебры формульных классов подсистем : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Д. Ю. Власов, 2004. - 12 с. - Текст : непосредственный.Теории с конечным числом счетных моделей и полигонометрии групп : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / С. В. Судоплатов, 2006. - 30 с. - Текст : непосредственный.Семенова М.В. Вложение решеток в решетки замкнутых подмножеств пространств замыкания : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / М. В. Семенова, 2007. - 18 с. - Текст : непосредственный.Решетки разбиений натуральных чисел и хроматическая определяемость графов : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Т. А. Королева, 2008. - 19 с. - Текст : непосредственный.О тьюринговой сложности классов моделей и теорий : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. Б. Фокина, 2008. - 15 с. - Текст : непосредственный.Оценка алгоритмической сложности классов вычислимых моделей : автореф. дис. .. канд. физ.-мат. наук : 01.01.05 / Е. Н. Павловский, 2008. - 16 с. - Текст : непосредственный.Семенова А.В. Операды конечных помеченных графов и решеток : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. В. Семенова, 2008. - 12 с. - Текст : непосредственный.Теоретико-модельные и смежные вопросы колец, ассоциированных с кольцом нильтреугольных матриц : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. В. Минакова, 2008. - 14 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽