Судоплатов Сергей Владимирович

Профессор кафедры Алгебры и математической логики Новосибирского государственного технического университета.

Преподаваемые дисциплины:

Высшая математика

Дискретная математика

Математическая логика и теория алгоритмов.

Сведения о диссертации:

К.Ф.М.Н. 1990Базируемость стабильных теорий и свойства счетных моделей с мощными типами

Д.Ф.М.Н. 2007Теории с конечным числом счетных моделей и полигонометрии групп

Направления научных исследований:

Теория моделей, теория стабильности, эренфойхтовы теории, генерические модели, полигонометрии и тригонометрии групп.

Научные публикации

1. Судоплатов С. В. Distributions of countable models of small theories / С. В. Судоплатов // Международная конференция «Мальцевские чтения», посвященная 100-летию со дня рождения Анатолия Ивановича Мальцева, 24–28 августа 2009 г. Тезисы докладов / Институт математики им. С. Л. Соболева СО РАН, Новосибирский государственный университет, 2009. – С. 28-29.

2. Судоплатов С. В. Inessential combinations of small theories / С. В. Судоплатов // Вычислимость и модели: Материалы Международной научной конференции, 30 августа – 1 сентября 2009 г. – Усть-Каменогорск: ВКГТУ, 2009. – С. 42-43.

3. Судоплатов С. В. Syntactic generic constructions and Ehrenfencht theories / С. В. Судоплатов // Новые алгебро-логические методы решения систем уравнений в алгебраических системах = New algebraic-logical methods in solutions for systems of equations in algebraic structures. Международная школа-семинар (16-22 августа 2009 г.): тезисы докладов / Омский филиал Института математики им. С.Л. Соболева СО РАН. – Омск: Изд-во Омского государственного университета, 2009. – С. 22.

4. Судоплатов С. В. The Lachlan Problem / С. В. Судоплатов // Logic Colloquium 2009, ASL European Summer Meeting, July 31 – August 5, Sofia, Bulgaria, Abstracts. – Sofia: “St. Kliment Ohridski” University Press, 2009. – P. 84.

5. Судоплатов С. В. Несущественные совмещения малых теорий / С. В. Судоплатов // Известия Иркутского государственного университета. 2009. Т. 2, № 2. С. 153-164.

6. Судоплатов С. В. О свойстве конечных замыканий в слияниях генерических классов / С. В. Судоплатов // Алгебра и теория моделей 7. Новосибирск: из-во НГТУ, 2009. C.131-140.

7. Судоплатов С. В. Об обогащениях и расширениях властных орграфов / С. В. Судоплатов // Сиб. матем. журн. 2009. Т. 50, N 3. С. 625-630.

8. Судоплатов С. В. Small stable generic graphs with infinite weight. Digraphs without furcations / С. В. Судоплатов // Siberian Advances in Mathematics. 2008. V.18, N 2. P. 142-151.

9. Судоплатов С. В. О числе счетных моделей малых теорий / С. В. Судоплатов // Тез. докл. Российской школы-семинара "Синтаксис и семантика логических систем", посвящ. 60-летию со дня рождения Ю.Е.Шишмарева. С. 23-25.

10. Судоплатов С. В. On prerank functions generating stable syntactic generic models / С. В. Судоплатов // Международная конференция «Алгебра и её приложения». Тез. докл. Красноярск, 2007. С. 179-180.

11. Судоплатов С. В. Small stable generic graphs with infinite weight. Bipartite digraphs / С. В. Судоплатов // Siberian Advances in Mathematics. 2007. V.17, N 1. P. 37-48.

12. Судоплатов С. В. Small stable trigonometries with infinite weight / С. В. Судоплатов // Алгебра и теория моделей, 6. Сборник трудов. Новосибирск: изд-во НГТУ, 2007. С.111-117.

13. Судоплатов С. В. Властные орграфы / С. В. Судоплатов // Сиб. матем. журн. 2007. Т. 48, № 1. С. 205-213.

14. Судоплатов С. В. Малые стабильные генерические графы с бесконечным весом. Безразвилочные орграфы / С. В. Судоплатов // Математические труды. 2007. Т. 10, N 1. С. 191-207.

15. Судоплатов С. В. О стабильных генерических эренфойхтовых теориях (решение проблемы Лахлана) / С. В. Судоплатов // Математика в современном мире. Российская конференция, посвященная 50-летию Института математики им. С. Л. Соболева СО РАН. 17-23 сентября 2007 г. Тез. докл. Новосибирск, 2007. С. 41-42.

16. Судоплатов С. В. О числе счетных моделей полных теорий с конечными предпорядками Рудина-Кейслера / С. В. Судоплатов // Сиб. матем. журн. 2007. Т. 48, N 2. С. 417-422.

17. Судоплатов С. В. Синтаксический подход к построению генерических моделей / С. В. Судоплатов // Алгебра и логика. 2007. Т. 46, N 2. С. 244-268.

18. Судоплатов С. В. Infinite weight in generic graphs without furcations / С. В. Судоплатов // International Conference " Methods of Logic in Mathematics III", 1-7 June 2006. P. 25.

19. Судоплатов С. В. Infinite weight in stable generic bipartite directed graphs / С. В. Судоплатов // Тезисы докладов международной 11 межвузовской конференции по математике и механике, посвященная 10-летию Евразийского национального университета им. Гумилева Л.Н., 27-29 мая 2006 г.

---