Поиск     English    
      КФУ > Факультеты > ВМК
 Институт ВМиИТ-ВМК
 Директорат
 Ученый совет
 Кафедры
 Сотрудники
 Образовательная деятельность
 Научная и инновационная деятельность
 Учебно-методические пособия
 Учебный центр
 Студенческая конференция
 Олимпиады
 Студенческие сайты
Абитуриентам
 Документы
 Вакансии
 Воспитательная и социальная работа
 Программа MSDN AA
Расписание занятий
 Структура Института
 
Shamil Ishmukhametov’ Home Page



Affiliation
Institute of Computer Mathematics and Informational Technologies
Kazan Federal University

Address
18, Kremlevskya st.
Kazan, Russian Federation, 420008

Current position
Professor of Department of Computer Mathematics and Informational Technologies,
Kazan Federal University,
Kazan, Russia

e-mail
Shamil.Ishmukhametov@ksu.ru

Education
Institute of Computer Mathenatics and Informational Technologies (former Department of Computer Mathematics and Cybernetics) Kazan Federal University, 1974-1979

Main publications
1. On the r.e.predecessors of d.r.e.degrees, Archive for Mathematical Logic, Springer-Verlag, Volume 38, Number 6, 1999, 373-386
2. Weak recursive degrees and a problem of Spector, In [M.Arslanov and S. Lempp, editors, Recursion Theory and Complexity, Kazan, 1998], de Gruyter Series in Logic and Its Applications, v.2, Berlin, New-York, 1999, pp.81-87
3. On relative enumerability of Turing degrees, Archive for Mathematical Logic, Springer-Verlag, Volume 38, Number 3, 2000, 145-154
4. Isolation and the high/low hierarchy (together with Guohua Wu), Arch. Math. Log. 41, Springer-Verlag, 3, 2002, pp. 259-266
5. On embedding of countable orders in Turing degrees (rus.), Mathematical Notes, 72, 2002, v 5, pp.682-687.
6. On a problem of Cooper and Epstein. J. Symb. Log. 68(1), 2003, pp. 52-64
7. Factorization Methods of Natural Numbers (rus), Kazan Federal University, Kazan, 2011, 190 pp.

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