Бадаев, Серикжан Агыбаевич
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 28 января 2022 года; проверки требуют 7 правок.
Эту статью предлагается удалить. |
Серикжан Агыбаевич Бадаев | |
---|---|
каз. Серікжан Ағыбайұлы Бадаев | |
Дата рождения | 9 ноября 1948 (75 лет) |
Страна | СССР→ Казахстан |
Научная сфера | математика, математическая логика, теория алгоритмов, теория вычислимости |
Место работы | КБТУ, г. Алматы |
Альма-матер | |
Научный руководитель | Ю. Л. Ершов |
Ученики | Тусупов, Джамалбек Алиаскарович |
Известен как | специалист в области теории вычислимости |
Сайт | mathnet.ru/rus/person177… |
Серикжан Агыбаевич Бадаев — казахстанский математик, доктор физико-математических наук[2], профессор КБТУ[3].
Биография[править | править код]
Окончил Новосибирский государственный университет (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.
См. также[править | править код]
Примечания[править | править код]
- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ Математическая генеалогия . Дата обращения: 2 мая 2021. Архивировано 2 мая 2021 года.
- ↑ Источник . Дата обращения: 26 марта 2023. Архивировано 26 марта 2023 года.
Ссылки[править | править код]
Категории:
- Родившиеся 9 ноября
- Родившиеся в 1948 году
- Выпускники Новосибирского государственного университета
- Персоналии по алфавиту
- Учёные по алфавиту
- Преподаватели Казахского национального университета имени аль-Фараби
- Математики СССР
- Доктора физико-математических наук
- Математики Казахстана
- Математики XX века
- Учёные СССР
- Учёные Казахстана