Поиск     English    
      КФУ > Факультеты > Механико-математический > Кафедра алгебры и математической логики

 Общая информация
 Научные направления
 Курсы специализации
 Конференции
 Методические пособия
 Сотрудники
Отдел алгебры и математической логики
 Диссертационный совет
 Студентам
 Кафедральные семинары
 Из истории кафедры
 
Прошедшие защиты

ФИО Название диссерации Вид диссертации Номер специальности Дата защиты Автореферат
2011 год
Файзрахманов Марат Хайдарович Тьюринговые скачки в иерархии Ершова кандидатская 01.01.06 17.02.2011 .pdf
2010 год
Васин Алексей Валерьевич Асимптотически оптимальные по надежности схемы в полных базисах из трехвходовых элементов кандидатская 01.01.09 25.11.2010 .pdf
Максимовский Михаил Юрьевич Полигоны и мультиполигоны над полугруппами кандидатская 01.01.06 25.11.2010 .pdf
Заботин Игорь Ярославич Методы псевдовыпуклого программирования с параметризацией направлений и аппроксимацией множеств докторская 01.01.09 25.02.2010 .pdf
Гильмуллин Ринат Абрекович Математическое моделирование в многоязыковых системах обработки данных на основе автоматов конечных состояний кандидатская 05.13.11 21.01.2010 .pdf
Бендума Тахара Специализированные модели для проектирования, разработки и реализации информационных систем кандидатская 05.13.11 21.01.2010 .pdf
Чупраков Дмитрий Вячеславович Конгруэнции на полукольцах и полуполях непрерывных числовых функций кандидатская 01.01.06 21.01.2010 .pdf
2009 год
Калимуллин Искандер Шагитович Алгоритмические сводимости счетных алгебраических систем докторская 01.01.06 08.10.2009 .pdf
Ямалеев Марс Мансурович Структурные свойства тьюринговых степеней множеств из иерархии Ершова кандидатская 01.01.06 08.10.2009 .pdf
Зубков Максим Витальевич Вычислимые линейные порядки и h-представимость кандидатская 01.01.06 08.10.2009 .pdf
Иванов Владимир Владимирович Модели и методы интеграции структурированных текстовых описаний на основе онтологий кандидатская 05.13.11 04.06.2009 .pdf
Васильев Александр Валерьевич Эффективные алгоритмы в модели квантовых ветвящихся программ кандидатская 01.01.09 04.06.2009 .pdf
Лукин Михаил Александрович Полукольцевые объединения кольца и полутела кандидатская 01.01.06 12.03.2009 .pdf
Батыршин Ильнур Ильдарович Свойства квази-сводимости и иерархии Ершова кандидатская 01.01.06 12.03.2009 .pdf
2008 год
Семенова Алена Валерьевна Операды конечных помеченных графов и решеток кандидатская 01.01.06 04.12.2008 .pdf
Черанева Анна Владимировна Ядра и пучки полутел кандидатская 01.01.06 04.12.2008 .pdf


© 1995-2012 Казанский федеральный университет