Бадаев, Серикжан Агыбаевич

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Серикжан Агыбаевич Бадаев
каз. Серікжан Ағыбайұлы Бадаев
Дата рождения 9 ноября 1948(1948-11-09) (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.

См. также[править | править код]

Примечания[править | править код]

  1. Mathematics Genealogy Project (англ.) — 1997.
  2. Математическая генеалогия. Дата обращения: 2 мая 2021. Архивировано 2 мая 2021 года.
  3. Источник. Дата обращения: 26 марта 2023. Архивировано 26 марта 2023 года.

Ссылки[править | править код]