База данных по международному сотрудничеству\Развитие сотрудничества - Казанский (Приволжский) федеральный университет
Международное сотрудничество
В данном разделе в систематизированном виде представлена актуальная информация по различным направлениям международного сотрудничества Казанского федерального университета с зарубежными партнерами. База данных позволяет осуществлять поиск информации с учетом потребностей пользователей по регионам, странам, партнерским организациям, соглашениям, международным программам и фондам как финансовой основы сотрудничества, направлениям деятельности и задействованным подразделениям КФУ. В зависимости от выбранной категории в таблице ниже представлена статистика международного сотрудничества.
Географический регион
Страна
Университет / организация-партнер
Основы сотрудничества
Подразделение КФУ
Вид деятельности
Год начала
Год окончания

Соединенные Штаты
Городской университет Нью-Йорка http://www2.cuny.edu/
Совместный проект: Теория вычислимости и модели
Совместные исследования (+)
Дополнительная информация (Исследования по теории вычислимости, вычислимых алгебраических структур и их спектров по тьюринговой и нумерационной сводимости. Публикации: Andrews U., Cai M., Kalimullin I.S., Lempp S., Miller J.S., Montalbán A. The complements of lower cones of degrees and the degree spectra of structures // J. Symbolic Logic. -2016. -V. 81. -P. 997-1006. Arslanov M.M, Kalimullin I.S., A survey of results on the d-c.e. and n-c.e. degrees // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010, Is.. - P.469-478. Fokina E., Frolov A., Kalimullin I. Categoricity spectra for rigid structures // Notre Dame Journal of Formal Logic. - 2016, Vol. 56, № 1, pp. 45-57. Wu G., Yamaleev M. M. There are no maximal d.c.e. wtt-degrees / G. Wu, M. M. Yamaleev // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10010. - P.479-486. Зубков М.В. Достаточные условия существования $0'$-предельно монотонных функций для вычислимых $\eta$-схожих линейных порядков // Сибирский математический журнал - 2017. - № 1. - С. 107?121 . Файзрахманов М.Х. Минимальные обобщенно вычислимые нумерации и высокие степени // Сибирский математический журнал. - 2017. - №. 3. - С. 710-716.)
Институт математики и механики им. Н.И. Лобачевского;