Бадаев, Серикжан Агыбаевич
| Серикжан Агыбаевич Бадаев | |
|---|---|
| каз. Серікжан Ағыбайұлы Бадаев | |
| Дата рождения | 9 ноября 1948 (76 лет) |
| Страна |
 СССР→ Казахстан |
| Научная сфера | математика, математическая логика, теория алгоритмов, теория вычислимости |
| Место работы | Институт математики и математического моделирования Министерства образования и науки Республики Казахстан, г. Алматы |
| Научный руководитель | Ю. Л. Ершов |
| Ученики | Тусупов, Джамалбек Алиаскарович |
| Известен как | специалист в области теории вычислимости |
| Сайт | mathnet.ru/rus/person177… |
Серикжан Агыбаевич Бадаев — казахстанский математик, доктор физико-математических наук[1], профессор КБТУ.
Биография
Окончил Новосибирский государственный университет (1971, механико-математический факультет) и его аспирантуру (1974). В 1978 г. защитил кандидатскую диссертацию:
- О верхних полурешетках вычислимых нумераций : диссертация … кандидата физико-математических наук : 01.01.06. — Новосибирск, 1977. — 111 с.
В 1996 г. защитил докторскую диссертацию:
- Минимальные нумерации : диссертация … доктора физико-математических наук : 01.01.06. — Алматы, 1996. — 195 с.
С 1974 по 1991 г. работал в КазГУ: ассистент, старший преподаватель, доцент кафедры прикладного анализа. В 1991—1998 старший научный сотрудник Института математики Академии наук Казахстана. С 1998 по 2005 год и с 2009 года заведующий кафедрой геометрии, алгебры и математической логики Казахского национального университета им. аль-Фараби (бывший КазГУ).
Основные результаты
- Нашёл удобный критерий минимальности нумераций, разработал новые методы построения минимальных вычислимых нумераций, на основе которых предложил естественная классификация вычислимых минимальных.
- Вместе с С. С. Гончаровым построил бесконечное семейство рекурсивно перечислимых множеств, содержащее наименьшее по включению множество, полурешетка Роджерса которого одноэлементна.
- Вместе с С. С. Гончаровым и А. Сорби исследовал свойства пополнений арифметических нумераций и взаимосвязи полных и универсальных нумераций семейств арифметических множеств.
Основные публикации
- Badaev S. A., Goncharov S. S., Sorbi A. Completeness and universality of arithmetical numberings // Computability and Models. Dortrecht: Kluwer Acad. Publ. Group, 2002.
- Гончаров С. С., Бадаев С. А. Семейства с одноэлементной полурешеткой Роджерса // Алгебра и логика, 1998, 37(1), 36-62.
- Badaev S. A., Goncharov S. S. Theory of numberings: Open Problems // Contemp. Math., 2000, 257, 23-38.
- Бадаев С. А. Минимальные нумерации позитивно вычислимых семейств // Алгебра и логика, 1994, 33(3), 233—254.
- Badaev S. A. On minimal enumerations // Siberian Adv. Math., 1992, 2(1), 1-30.
См. также
Примечания
- ↑ Математическая генеалогия. Дата обращения: 2 мая 2021. Архивировано 2 мая 2021 года.