Дата рождения
29.04.1984
Образование
Знание языков
Занимаемые должности
Ученые степени
Направления научной работы
Показатели продуктивности
Награды, почетные звания
Повышение квалификации
Результативность работы
2024
2023
2022
-
Talipova A.I, Yamaleev M.M., Nonuniformity of Downward Density in n-Computably Enumerable Turing Degrees//Russian Mathematics. - 2022. - Vol.66, Is.11. - P.110-115.
-
Abyzov A.N, Yamaleev M.M., On Some Properties in Sequences of Traces of Powers of Matrices//Russian Mathematics. - 2022. - Vol.66, Is.3. - P.72-74.
2021
-
Arslanov M.M, Yamaleev M.M., Turing Computability: Structural Theory//Journal of Mathematical Sciences (United States). - 2021. - Vol.256, Is.1. - .
-
Арсланов М.М. CEA-операторы и иерархия Ершова/М.М. Арсланов, И.И. Батыршин, М.М. Ямалеев//Известия Вузов. Математика.- 2021. - № 8. - С. 72-79.
-
Arslanov M.M, Batyrshin I.I, Yamaleev M.M., CEA Operators and the Ershov Hierarchy//Russian Mathematics. - 2021. - Vol.65, Is.8. - P.63-69.
2020
-
Melnikov A.G, Selivanov V.L, Yamaleev M.M., Turing reducibility in the fine hierarchy//Annals of Pure and Applied Logic. - 2020. - Vol.171, Is.7. - Art. № 102766.
-
Bazhenov N.A., Mustafa M., San Mauro L., Sorbi A., Yamaleev M.M. Classifying equivalence relations in the Ershov hierarchy // Archive for Mathematical Logic. - 2020, 59 (7-8), P. 835-864
F_Yamaleev2020_Preprint.pdf -
Bazhenov N.A, Mustafa M, Ospichev S.S, Numberings in the Analytical Hierarchy//Algebra and Logic. - 2020. - Vol.59, Is.5. - P.404-407.
-
Bazhenov N.A, Mustafa M, San Mauro L, Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies//Lobachevskii Journal of Mathematics. - 2020. - Vol.41, Is.2. - P.145-150.
-
Bazhenov N.A, Kalimullin I.S, Yamaleev M.M., Strong Degrees of Categoricity and Weak Density//Lobachevskii Journal of Mathematics. - 2020. - Vol.41, Is.9. - P.1630-1639.
-
Yamaleev M.M., Isolation from Side in 2-Computably Enumerable Degrees//Russian Mathematics. - 2020. - Vol.64, Is.8. - P.70-73.
2019
- Arslanov M. M., Yamaleev M. M., On the Problem of Definability of the Computably Enumerable Degrees in the Difference Hierarchy//LOBACHEVSKII JOURNAL OF MATHEMATICS. - 2019. - Vol.39, Is.5. - P.634-638.
-
Арсланов М.М., Ямалеев М.М. ТЬЮРИНГОВА ВЫЧИСЛИМОСТЬ: СТРУКТУРНАЯ ТЕОРИЯ// Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, С. 8–41
-
Bazhenov, N., Mustafa, M., Yamaleev, M. Computable isomorphisms of distributive lattices (2019) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11436 LNCS, pp. 28-41.
F_paper2019_fromScopus2.pdf -
Bazhenov, N., Mustafa, M., Yamaleev, M. Elementary theories and hereditary undecidability for semilattices of numberings
(2019) Archive for Mathematical Logic, 58 (3-4), pp. 485-500.
F_paper2019_fromScopus.pdf -
Wang S, Wu G, Yamaleev M.M., The d.r.e wtt-Degrees are Dense//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2019. - Vol.11558 LNCS, Is.. - P.277-285.
2018
-
Bazhenov N.A, Kalimullin I.S.H, Yamaleev M.M., Degrees of categoricity and spectral dimension//Journal of Symbolic Logic. - 2018. - Vol.83, Is.1. - P.103-116.
-
Selivanov V.L, Yamaleev M.M., Turing Degrees in Refinements of the Arithmetical Hierarchy//Algebra and Logic. - 2018. - Vol.57, Is.3. - P.222-236.
-
Bazhenov N, Mustafa M, Yamaleev M., Elementary theories and hereditary undecidability for semilattices of numberings//Archive for Mathematical Logic. - 2018. - Vol., Is.. - .
-
Selivanov V.L, Yamaleev M.M., Extending Cooper's theorem to Delta-3-0 Turing degrees//Computability. - 2018. - Vol.7, Is.2-3. - P.289-300.
2017
-
Andrews U, Kuyper R, Lempp S, Soskova M, Yamaleev M.M., Nondensity of double bubbles in the D.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.547-562.
-
Bazhenov N, Mustafa M, Stephan F, Boolean algebras realized by c.e. equivalence relations//Siberian Electronic Mathematical Reports. - 2017. - Vol.14, Is.. - P.848-855.
-
Bazhenov N.A, Yamaleev M.M., Degrees of categoricity of rigid structures//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Vol.10307 LNCS, Is.. - P.152-161.
-
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.
There_no_maximal_2_c.e._wtt_degree.pdf
2016
-
Bazhenov N.A, Kalimullin I.S, Yamaleev M.M., Degrees of Categoricity vs. Strong Degrees of Categoricity//Algebra and Logic. - 2016. - Vol.55, Is.2. - P.173-177.
-
M.M. Yamaleev, Nondensity of bubble pairs / Материалы международной конференции по алгебре, анализу и геометрии (26 июня – 2 июля 2016 г., г. Казань). – 2016. - P.73-74
Proceedings_fpaag_2016.pdf -
Селиванов, В. Л. О тьюринговых степенях в утончениях арифметической иерархии / В.Л. Селиванов, М.М. Ямалеев // Международная конференция “Мальцевские чтения 2016”: тезисы докладов. – 2016. – С. 57.
Yamaleev_malmeet16.pdf -
Arslanov M.M, Kalimullin I.S, Yamaleev M.M., Elementary theories and structural properties of d-c.e. and n-c.e. degrees//Lobachevskii Journal of Mathematics. - 2016. - Vol.37, Is.6. - P.713-722.
2015
-
Fang Chengling, Liu Jiang, Wu Guohua, Nonexistence of Minimal Pairs in L[d]//EVOLVING COMPUTABILITY. - 2015. - Vol.9136, Is.. - P.177-185.
-
Liu J, Wu G, Yamaleev M., Downward density of exact degrees//Lobachevskii Journal of Mathematics. - 2015. - Vol.36, Is.4. - P.389-398.
2013
2012
2010
2009
Мероприятия
2021
2019
2018
2017
2016
2015
2014
2010
2009
2008
2006
Дистанционное образование
2020-2021 уч. год., 1 сем.
Алгебра и геометрия
1ый курс, бакалавриат. Потоковая лекция, еженедельные занятия, четверг 11:50.
Платформа: Microsoft Teams
Название команды: АиГ_Ямалеев_ММ_Л
Ссылка команды:
Дискр. матем. и мат. логика и их прил. в информ. и матем.
2ой курс, бакалавриат. Гр. 05-905, еженедельные занятия, вторник 15:40, ауд. 1405
Платформа: Microsoft Teams
Название команды: ДМиМЛ_Ямалеев_ММ_ПР_05-905
Ссылка команды:
Криптография
4ый курс, бакалавриат. Гр. 05-703, еженедельные занятия, среда 17:50, ауд. 510
Платформа: Microsoft Teams
Название команды: Крипт_Ямалеев_ММ_Л_05-703
Ссылка команды:
Алгоритмические системы (совместно с проф. Калимуллиным И.Ш.)
3ий курс, бакалавриат. Гр. 05-804, еженедельные занятия, среда 15:40, пятница 14:00 (н/н)
Платформа: Microsoft Teams
Название команды: АлгСис_Ямалеев_ММ_Л_05-804
Ссылка команды:
-----------------------------------------------------------------------------------------------------------------------------------------------------
2019-2020 уч. год., 2 сем.
Выпускная квалификационная работа.
4ый курс, бакалавриат. Гр. 05-603, Еженедельные консультации.
Платформа: Microsoft Teams
Название команды: Диплом (Талипова А.И. 05-603)
Ссылка команды:
Преподаваемые дисциплины
| Дисциплина | Учебный план | Авторы | Файл |
| Алгебра и геометрия | 02.03.02 Фундаментальная информатика и информационные технологии, бакалавр (Системный анализ и информационные технологии) 2020 г. |
Латыпов Р.Х. Столов Е.Л. Ямалеев М.М. |
 |
| Алгебра и геометрия | 02.03.02 Фундаментальная информатика и информационные технологии, бакалавр (Системный анализ и информационные технологии) 2021 г. |
Латыпов Р.Х. Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Алгебра) 2017 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2024 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2022 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Алгебра) 2020 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2020 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2021 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2017 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2016 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2023 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Алгебра) 2019 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей | 01.04.01 Математика, магистр (Анализ на многообразиях) 2018 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей 1 | 01.04.01 Математика, магистр (Алгебра) 2015 г. |
Ямалеев М.М. |
|
| Вычислимые теории моделей 2 | 01.04.01 Математика, магистр (Алгебра) 2015 г. |
Ямалеев М.М. |
|
| Дополнительные главы вычислимых алгебр | 01.04.01 Математика, магистр (Алгебра) 2020 г. |
Ямалеев М.М. Зайнетдинов Д.Х. |
|
| Дополнительные главы вычислимых алгебр | 01.04.01 Математика, магистр (Анализ на многообразиях) 2020 г. |
Ямалеев М.М. Зайнетдинов Д.Х. |
|
| Комбинаторика | 01.03.01 Математика, бакалавр (Математика) 2020 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Наука о данных) 2020 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Математическое и компьютерное моделирование) 2020 г. |
Ямалеев М.М. |
|
| Комбинаторика | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2021 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Наука о данных) 2022 г. |
Ямалеев М.М. |
|
| Комбинаторика | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2020 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Наука о данных) 2021 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Наука о данных) 2024 г. |
Ямалеев М.М. |
|
| Комбинаторика | 02.03.01 Математика и компьютерные науки, бакалавр (Наука о данных) 2023 г. |
Ямалеев М.М. |
|
| Комбинаторные методы в экономике | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2024 г. |
Ямалеев М.М. |
|
| Комбинаторные методы в экономике | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2023 г. |
Ямалеев М.М. |
|
| Комбинаторные методы в экономике | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2022 г. |
Ямалеев М.М. |
|
| Математическая логика, теория алгоритмов и теория сложности | 01.04.01 Математика, магистр (Анализ на многообразиях) 2022 г. |
Калимуллин И.Ш. Ямалеев М.М. Зубков М.В. Файзрахманов М.Х. |
|
| Основы информационной безопасности | 09.03.03 Прикладная информатика, бакалавр (не предусмотрено) 2016 г. |
Ишмухаметов Ш.Т. Ямалеев М.М. |
|
| Основы информационной безопасности | 09.03.03 Прикладная информатика, бакалавр (Прикладная информатика) 2017 г. |
Ишмухаметов Ш.Т. Ямалеев М.М. |
|
| Прикладная логика | 01.04.01 Математика, магистр (Алгебра) 2020 г. |
Ямалеев М.М. Зайнетдинов Д.Х. |
|
| Прикладная логика | 01.04.01 Математика, магистр (Анализ на многообразиях) 2020 г. |
Ямалеев М.М. Зайнетдинов Д.Х. |
|
| Теория информации и вычислительная сложность | 01.04.01 Математика, магистр (Анализ на многообразиях) 2023 г. |
Калимуллин И.Ш. Ямалеев М.М. Зубков М.В. |
|
| Теория кодирования | 01.03.01 Математика, бакалавр (Математика) 2020 г. |
Ямалеев М.М. |
|
| Теория кодирования | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2022 г. |
Ямалеев М.М. |
|
| Теория кодирования | 01.03.01 Математика, бакалавр (Общий профиль) 2019 г. |
Тронин С.Н. Ямалеев М.М. |
|
| Теория кодирования | 02.03.01 Математика и компьютерные науки, бакалавр (Математическое и компьютерное моделирование) 2019 г. |
Тронин С.Н. Ямалеев М.М. |
|
| Теория кодирования | 02.03.01 Математика и компьютерные науки, бакалавр (Математическое и компьютерное моделирование) 2020 г. |
Ямалеев М.М. |
|
| Теория кодирования | 01.03.01 Математика, бакалавр (Математика в цифровой экономике) 2020 г. |
Ямалеев М.М. |
|
| Теория сложности | 01.04.01 Математика, магистр (Алгебра) 2015 г. |
Ямалеев М.М. |
|
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| Номер кабинета: | 509 |
| Телефон: | (843) 233-70-39 |
| E-mail: | mars.yamaleev@kpfu.ru |
| Google scholar: | https://scholar.google.ru/citations?user=WgRZ8OcAAAAJ&hl=ru |
| Google+: | https://plus.google.com/u/0/103149689614096944343 |
| http://orcid.org: | http://orcid.org/0000-0002-8682-2392 |
| http://www.researcherid.com: | http://www.researcherid.com/rid/D-7244-2015 |
| Стаж в КФУ: |
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий: |
| Непрерывный в КФУ: |