Ви є тут

Об алгоритмических и структурных свойствах вычислимости над моделями

Автор: 

Пузаренко Вадим Григорьевич

Тип роботи: 

Кандидатская

Рік: 

2000

Артикул:

1000292256

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Дизъюнктивное свойство и канонические формулы в классе расширений минимальной логики
• Среднее значение функций Чебышева с экспоненциальным весом в коротких интервалах
• Обобщенно-конструктивные модели и рекурсивные иерархии
• К-тривиальные расслоения на унилинейчатых многообразиях
• Арифметические свойства рядов некоторых классов в полях с неархимедовыми нормированиями
• О модальных логиках элементарных классов шкал Крипке
• Приложения оценок сумм Клостермана к некоторым задачам метрической и аналитической теории чисел
• История формирования метода тригонометрических сумм в работах И.М.Виноградова по распределению целых точек в областях трехмерного пространства
• Приложения дискретного эргодического метода к арифметике бинарных и изотропных тернарных квадратичных форм
• Алгоритмические сводимости счетных алгебраических систем