Бадаев, Серикжан Агыбаевич
Материал из Википедии — свободной энциклопедии
Эту статью предлагается удалить.Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/7 мая 2021.Пока процесс обсуждения не завершён, статью можно попытаться улучшить, однако следует воздерживаться от переименований или немотивированного удаления содержания, подробнее см. руководство к дальнейшему действию.Не снимайте пометку о выставлении на удаление до подведения итога обсуждения.
Последнее изменение сделано участницей РобоСтася (вклад · журналы) в 13:15, 14 сентября 2024 (UTC; около 7 дней назад).Администраторам и подводящим итоги: .mw-parser-output .hlist dl,.mw-parser-output .hlist.hlist ol,.mw-parser-output .hlist.hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li,.mw-parser-output .hlist .mw-empty-elt{display:none}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{content:"\a0 · ";font-weight:bold}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)"\a0 "}.mw-parser-output .hlist-items-nowrap dd,.mw-parser-output .hlist-items-nowrap dt,.mw-parser-output .hlist-items-nowrap li{white-space:nowrap}.mw-parser-output .hlist-items-nowrap dl dl,.mw-parser-output .hlist-items-nowrap dl ol,.mw-parser-output .hlist-items-nowrap dl ul,.mw-parser-output .hlist-items-nowrap ol dl,.mw-parser-output .hlist-items-nowrap ol ol,.mw-parser-output .hlist-items-nowrap ol ul,.mw-parser-output .hlist-items-nowrap ul dl,.mw-parser-output .hlist-items-nowrap ul ol,.mw-parser-output .hlist-items-nowrap ul ul{white-space:normal}
ссылки сюда
история
журналы
удалить
| Серикжан Агыбаевич Бадаев | |
|---|---|
| каз. Серікжан Ағыбайұлы Бадаев | |
| Дата рождения | 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 года.
Ссылки
[править | править код]Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
