- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Выразительная сила языков первого порядка для конечных алгебраических систем над бесконечными универсумами
Тип роботи:
диссертация доктора физико-математических наук
Рік:
2006
Кількість сторінок:
176
Артикул:
1921 179 грн
Рекомендовані дисертації
- Стандартные базисы идеалов свободных супералгебр
- Пропозициональные исчисления и относительные многообразия алгебраических систем
- Решетки и произведения кратно ω-веерных и Ω-расслоенных классов Фиттинга конечных групп
- Группы автоморфизмов сетевых подгрупп линейных групп
- Локальные подграфы и автоморфизмы графов
- Применения К-теории в алгебраической геометрии
- Рациональность и унирациональность многообразий Фано над незамкнутыми полями
- Исключительные характеры и нормальные группы
- Метод канонических формул и его применение в модальной логике
- Среднее значение функции делителей с быстро растущей размерностью