Участник:MarchenkovSS — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (уточнение должности)
 
(не показаны 4 промежуточных версий 1 участника)
Строка 1: Строка 1:
 
{{DISPLAYTITLE:Марченков Сергей Серафимович}}
 
{{DISPLAYTITLE:Марченков Сергей Серафимович}}
−
[[Image:Marchenkov.jpg|thumb|right|Марченков Сергей Серафимович]]'''Марченков Сергей Серафимович''' — доктор физико-математических наук, профессор.
+
[[Image:Marchenkov.jpg|thumb|right|Марченков Сергей Серафимович]]'''Марченков Сергей Серафимович''' — доктор физико-математических наук, профессор кафедры МК.
  
  
−
== Области научных интересов ==
+
== [[Области научных интересов]] ==
  
 
=== Теория функциональных систем ===
 
=== Теория функциональных систем ===
Строка 16: Строка 16:
  
 
Вопросы классификации рекурсивных функций, сложности вычисления функций на абстрактных вычислительных устройствах различного вида, алгоритмической разрешимости логических и логико-арифметических теорий, строения полурешеток степеней неразрешимости и вычислимых нумераций.
 
Вопросы классификации рекурсивных функций, сложности вычисления функций на абстрактных вычислительных устройствах различного вида, алгоритмической разрешимости логических и логико-арифметических теорий, строения полурешеток степеней неразрешимости и вычислимых нумераций.
−
 
−
=== Ссылки ===
 
−
*[http://mathcyb.cs.msu.su/research.php#res_func Теория функциональных систем]
 
−
*[http://mathcyb.cs.msu.su/research.php#alg_theory Теория алгоритмов]
 
−
*[http://mathcyb.cs.msu.su/research.php#automata_theory Теория автоматов]
 
−
 
  
 
== Лекционные курсы ==
 
== Лекционные курсы ==
Строка 27: Строка 21:
 
* [[Дискретная математика (1й курс)]]
 
* [[Дискретная математика (1й курс)]]
 
* [[Дополнительные главы дискретной математики (2-й поток III курса) ]]
 
* [[Дополнительные главы дискретной математики (2-й поток III курса) ]]
−
 
−
== Спецкурсы ==
 
−
 
 
* [[Однородные функции]]
 
* [[Однородные функции]]
 
* [[Операторы замыкания в многозначной логике]]
 
* [[Операторы замыкания в многозначной логике]]
Строка 53: Строка 44:
 
# Простые примеры базисов по суперпозиции в классе функций, элементарных по Кальмару // Banach Center Publication. - 1989. - V. 25. - P. 119-126.
 
# Простые примеры базисов по суперпозиции в классе функций, элементарных по Кальмару // Banach Center Publication. - 1989. - V. 25. - P. 119-126.
 
# О представлении словарных предикатов из арифметической иерархии // Дискретная математика. - 1990. - Т. 2, N 1. - C. 87-93.
 
# О представлении словарных предикатов из арифметической иерархии // Дискретная математика. - 1990. - Т. 2, N 1. - C. 87-93.
−
# О равномерном <math>id</math>-разложении булевых функций // Дискретная математика. - 1990. - Т. 2, N 3. - C. 29-41.
+
# О равномерном id-разложении булевых функций // Дискретная математика. - 1990. - Т. 2, N 3. - C. 29-41.
 
# Базисы по суперпозиции в классах рекурсивных функций // Математические вопросы кибернетики, вып. 3. - 1991. - С. 115-139.
 
# Базисы по суперпозиции в классах рекурсивных функций // Математические вопросы кибернетики, вып. 3. - 1991. - С. 115-139.
−
# О классах Слупецкого в системах <math>P_k\mathrm{x}...\mathrm{x}P_l</math> // Дискретная математика. - 1992. - Т. 4, N 3. - C. 135-148.
+
# О классах Слупецкого в системах P_k...P_l// Дискретная математика. - 1992. - Т. 4, N 3. - C. 135-148.
−
# Предполнота замкнутых классов в <math>P_k</math>: предикатный подход // Математические вопросы кибернетики, вып. 6. - 1996. - С. 117-132.
+
# Предполнота замкнутых классов в P_k: предикатный подход // Математические вопросы кибернетики, вып. 6. - 1996. - С. 117-132.
−
# <math>S</math>-классификация функций многозначной логики // Дискретная математика. - 1997. - Т. 9, N 3. - С. 125-152.
+
# S-классификация функций многозначной логики // Дискретная математика. - 1997. - Т. 9, N 3. - С. 125-152.
 
# Инварианты классов Поста // Фундаментальная и прикладная математика. - 1998. - Т. 4, N 4. - С. 1385-1404.
 
# Инварианты классов Поста // Фундаментальная и прикладная математика. - 1998. - Т. 4, N 4. - С. 1385-1404.
−
# <math>A</math>-классификация идемпотентных функций многозначной логики // Дискретный анализ и исследование операций. Серия 1. - 1999. - Т. 6, N 1. - С. 19-43.
+
# A-классификация идемпотентных функций многозначной логики // Дискретный анализ и исследование операций. Серия 1. - 1999. - Т. 6, N 1. - С. 19-43.
 
# О суперпозициях непрерывных функций, заданных на бэровском пространтстве // Математические заметки. - 1999. - Т. 66, N 5. - С. 696-705.
 
# О суперпозициях непрерывных функций, заданных на бэровском пространтстве // Математические заметки. - 1999. - Т. 66, N 5. - С. 696-705.
 
# Замкнутые классы булевых функций. // М.: Наука, 2000, 126 стр.
 
# Замкнутые классы булевых функций. // М.: Наука, 2000, 126 стр.
−
# О невозможности получения <math>(n+1)</math>-местных непрерывных функций из <math>n</math>-местных с помощью некоторых непрерывных операторов. // Математический сборник. - 2001. - Т. 192, N 6. - С. 71-88.
+
# О невозможности получения (n+1)-местных непрерывных функций из n-местных с помощью некоторых непрерывных операторов. // Математический сборник. - 2001. - Т. 192, N 6. - С. 71-88.
−
# <math>S</math>-классификация функций трехзначной логики. // М.:Физматлит. 2001, 80 стр
+
# S-классификация функций трехзначной логики. // М.:Физматлит. 2001, 80 стр
 
# Элементарные рекурсивные функции. // М.: МЦНМО, 2003, 112 стр.
 
# Элементарные рекурсивные функции. // М.: МЦНМО, 2003, 112 стр.
 
# О сложности возвратных последовательностей. // Дискретная математика. - 2003. - Т. 15, Т 2. - С. 52-62.
 
# О сложности возвратных последовательностей. // Дискретная математика. - 2003. - Т. 15, Т 2. - С. 52-62.

Текущая версия на 20:23, 10 марта 2022

Марченков Сергей Серафимович
Марченков Сергей Серафимович — доктор физико-математических наук, профессор кафедры МК.


Области научных интересов

Теория функциональных систем

Функциональные системы, состоящие из функций многозначной логики, автоматных, рекурсивных и непрерывных функций, вместе с операцией суперпозиции и некоторыми другими операциями. Вопросы классификации, полноты и существования базисов. Вопросы предикатного описания замкнутых классов для функций многозначной логики.

Теория алгоритмов

Вопросы классификации рекурсивных функций, сложности вычисления функций на абстрактных вычислительных устройствах различного вида, алгоритмической разрешимости логических и логико-арифметических теорий, строения полурешеток степеней неразрешимости и вычислимых нумераций.

Теория автоматов

Вопросы классификации рекурсивных функций, сложности вычисления функций на абстрактных вычислительных устройствах различного вида, алгоритмической разрешимости логических и логико-арифметических теорий, строения полурешеток степеней неразрешимости и вычислимых нумераций.

Лекционные курсы

Спецсеминары

Аспиранты и студенты

Избранные публикации

  1. Об одном классе неполных множеств // Математические заметки. - 1976. - Т. 20, N 4. - C. 473-478.
  2. Об одном методе анализа суперпозиций непрерывных функций // Проблемы кибернетики, вып. 37. - 1980. - С. 5-17.
  3. Однородные алгебры // Проблемы кибернетики, вып. 39. - 1982. - С. 85-106.
  4. Классификация алгебр со знакопеременной группой автоморфизмов // Математические вопросы кибернетики, вып. 2. - 1989. - С. 100-122.
  5. Конечные начальные сегменты верхней полурешетки конечно-автоматных степеней // Дискретная математика. - 1989. - Т. 1, N 3. - C. 96-103.
  6. Простые примеры базисов по суперпозиции в классе функций, элементарных по Кальмару // Banach Center Publication. - 1989. - V. 25. - P. 119-126.
  7. О представлении словарных предикатов из арифметической иерархии // Дискретная математика. - 1990. - Т. 2, N 1. - C. 87-93.
  8. О равномерном id-разложении булевых функций // Дискретная математика. - 1990. - Т. 2, N 3. - C. 29-41.
  9. Базисы по суперпозиции в классах рекурсивных функций // Математические вопросы кибернетики, вып. 3. - 1991. - С. 115-139.
  10. О классах Слупецкого в системах P_k...P_l// Дискретная математика. - 1992. - Т. 4, N 3. - C. 135-148.
  11. Предполнота замкнутых классов в P_k: предикатный подход // Математические вопросы кибернетики, вып. 6. - 1996. - С. 117-132.
  12. S-классификация функций многозначной логики // Дискретная математика. - 1997. - Т. 9, N 3. - С. 125-152.
  13. Инварианты классов Поста // Фундаментальная и прикладная математика. - 1998. - Т. 4, N 4. - С. 1385-1404.
  14. A-классификация идемпотентных функций многозначной логики // Дискретный анализ и исследование операций. Серия 1. - 1999. - Т. 6, N 1. - С. 19-43.
  15. О суперпозициях непрерывных функций, заданных на бэровском пространтстве // Математические заметки. - 1999. - Т. 66, N 5. - С. 696-705.
  16. Замкнутые классы булевых функций. // М.: Наука, 2000, 126 стр.
  17. О невозможности получения (n+1)-местных непрерывных функций из n-местных с помощью некоторых непрерывных операторов. // Математический сборник. - 2001. - Т. 192, N 6. - С. 71-88.
  18. S-классификация функций трехзначной логики. // М.:Физматлит. 2001, 80 стр
  19. Элементарные рекурсивные функции. // М.: МЦНМО, 2003, 112 стр.
  20. О сложности возвратных последовательностей. // Дискретная математика. - 2003. - Т. 15, Т 2. - С. 52-62.
Источник — «https://mk.cs.msu.ru/index.php?title=Участник:MarchenkovSS&oldid=8980»