Участник:SavitskiyIV - История изменений

SavitskiyIV в 07:49, 4 июня 2026

2026-06-04T07:49:35Z

SavitskiyIV в 18:21, 2 июня 2026

2026-06-02T18:21:39Z

SavitskiyIV в 18:20, 2 июня 2026

2026-06-02T18:20:57Z

SavitskiyIV в 14:22, 31 мая 2026

2026-05-31T14:22:28Z

SavitskiyIV в 14:21, 31 мая 2026

2026-05-31T14:21:40Z

SavitskiyIV в 14:21, 31 мая 2026

2026-05-31T14:21:17Z

SavitskiyIV в 14:01, 31 мая 2026

2026-05-31T14:01:15Z

SavitskiyIV в 14:00, 31 мая 2026

2026-05-31T14:00:48Z

SavitskiyIV в 13:58, 31 мая 2026

2026-05-31T13:58:50Z

SavitskiyIV в 13:58, 31 мая 2026

2026-05-31T13:58:33Z

@@ Строка 2: / Строка 2: @@
 <div style="max-width:940px">
 {{DISPLAYTITLE:Савицкий Игорь Владимирович}}
-'''Савицкий Игорь Владимирович''' — кандидат физико-математических наук, младший научный сотрудник лаборатории ДУСП кафедры МК.
+'''Савицкий Игорь Владимирович''' — кандидат физико-математических наук, ассистент кафедры МК.
 * Профили в системах: [https://istina.msu.ru/profile/Sav/ ИСТИНА] [https://www.elibrary.ru/author_profile.asp?authorid=981480 РИНЦ] [https://mathnet.ru/rus/person/124716 Math-Net.ru] [https://orcid.org/0000-0003-3433-8096 ORCID] [https://researchgate.net/profile/Igor-Savitskii ResearchGate] [https://scholar.google.ru/citations?user=kqTH780AAAAJ&hl=ru Google Scholar]

@@ Строка 51: / Строка 51: @@
 Цикл публикаций посвящён регистровым машинам со счётчиками (RC-машинам) — абстрактному вычислительному устройству счётчикового типа, программа которого может изменять лишь один регистр, а все остальные изменяются автоматически.
-RC-машины машины всесторонне исследуются: доказывается их универсальность, определяются их сложностные классы, анализируются их алгоритмические проблемы, а также возможности упрощения и модификации машин. Исследуемые машины и применяются для получения новых базисов по суперпозиции в известных сложностных классах. Кроме того, RC-машины применяются для определения вычислительных возможностей другого вычислительного устройства подобного типа — счётчиковых машин с сумматором (CS-машин).
+RC-машины машины всесторонне исследуются: доказывается их универсальность, определяются сложностные классы, анализируются алгоритмические проблемы, а также возможности упрощения и модификации машин без изменения вычислительных возможностей. Исследуемые машины и применяются для получения новых базисов по суперпозиции в известных сложностных классах. Кроме того, RC-машины применяются для определения вычислительных возможностей другого вычислительного устройства подобного типа — счётчиковых машин с сумматором (CS-машин).
 # Савицкий И. В. ''[https://www.mathnet.ru/rus/dm1408 Вычисления на регистровых машинах со счетчиками]'' // Дискретная математика. 2017. Т. 29, № 1. С. 95–113.

@@ Строка 49: / Строка 49: @@
 === Машины с автоматически меняющимися счётчиками ===
-Цикл публикаций посвящён регистровым машинам со счётчиками — абстрактному вычислительному устройству счётчикового типа, программа которого может изменять лишь один регистр, а все остальные изменяются автоматически.
+Цикл публикаций посвящён регистровым машинам со счётчиками (RC-машинам) — абстрактному вычислительному устройству счётчикового типа, программа которого может изменять лишь один регистр, а все остальные изменяются автоматически.
-Указанные машины всесторонне исследуются и применяются для получения новых базисов по суперпозиции в известных сложностных классах. Кроме того, исследуемые машины применяются для определения вычислительных возможностей другого вычислительного устройства подобного типа — счётчиковых машин с сумматором.
+RC-машины машины всесторонне исследуются: доказывается их универсальность, определяются их сложностные классы, анализируются их алгоритмические проблемы, а также возможности упрощения и модификации машин. Исследуемые машины и применяются для получения новых базисов по суперпозиции в известных сложностных классах. Кроме того, RC-машины применяются для определения вычислительных возможностей другого вычислительного устройства подобного типа — счётчиковых машин с сумматором (CS-машин).
 # Савицкий И. В. ''[https://www.mathnet.ru/rus/dm1408 Вычисления на регистровых машинах со счетчиками]'' // Дискретная математика. 2017. Т. 29, № 1. С. 95–113.

← Предыдущая		Версия 14:22, 31 мая 2026
Строка 65:		Строка 65:
	== Учебные пособия ==		== Учебные пособия ==

−	# Марченков С. С., Савицкий И. В. ''[https://infra-e.ru/products/978-5-9729-2057-0 Машины в теории вычислимых функций]''. М., Вологда: Инфра-Инженерия, 2024. 104 с.<br>''Аннотация'': В пособии даются определения и характеризуются вычислительные возможности ряда абстрактных вычислительных устройств: как широко известных (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и более специальных (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором).	+	# Марченков С. С., Савицкий И. В. ''[https://infra-e.ru/products/978-5-9729-2057-0 Машины в теории вычислимых функций]''. М., Вологда: Инфра-Инженерия, 2024. 104 с.<br>''Аннотация''. В пособии даются определения и характеризуются вычислительные возможности ряда абстрактных вычислительных устройств: как широко известных (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и более специальных (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором).

← Предыдущая		Версия 14:21, 31 мая 2026
Строка 65:		Строка 65:
	== Учебные пособия ==		== Учебные пособия ==

−	# Марченков С. С., Савицкий И. В. ''[https://infra-e.ru/products/978-5-9729-2057-0 Машины в теории вычислимых функций]''. М., Вологда: Инфра-Инженерия, 2024. 104 с.<br>В пособии даются определения и характеризуются вычислительные возможности ряда абстрактных вычислительных устройств: как широко известных (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и более специальных (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором).	+	# Марченков С. С., Савицкий И. В. ''[https://infra-e.ru/products/978-5-9729-2057-0 Машины в теории вычислимых функций]''. М., Вологда: Инфра-Инженерия, 2024. 104 с.<br>''Аннотация'': В пособии даются определения и характеризуются вычислительные возможности ряда абстрактных вычислительных устройств: как широко известных (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и более специальных (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором).

@@ Строка 42: / Строка 42: @@
 Публикации посвящены двум малым сложностным классам, характеризующим параллельные вычисления на полиномиальном от длины входа количестве процессоров с константным временем работы. Класс AC<sup>0</sup> задаётся альтернирующими схемами константной глубины и известен также как FO (может быть задан формулами логики предикатов первого порядка). Класс TC<sup>0</sup> задаётся пороговыми схемами константной глубины и известен также как FOM (может быть задан формулами логики предикатов первого порядка с мажоритарным квантором).
-Составлен обзор некоторых наиболее важных результатов по данным классам. Показано, что операция ограниченной префиксной конкатенации позволяет построить чисто словарное индуктивное определение класса TC<sup>0</sup>.
+Составлен обзор некоторых наиболее важных результатов по данным классам. Показано, что операция ограниченной префиксной конкатенации позволяет получить чисто словарное индуктивное определение класса TC<sup>0</sup>.
 # Савицкий И. В., Марченков С. С. ''[https://library.keldysh.ru/mvk.asp?id=2023-52 Порождение малых сложностных классов с помощью логических формул, схем и операций ограниченной конкатенации]'' // Математические вопросы кибернетики. Вып. 21. М.: ФИЗМАТЛИТ, 2023. С. 52–110.

@@ Строка 40: / Строка 40: @@
 === Малые классы параллельно реализуемых рекурсивных функций ===
-Публикации посвящены двум малым сложностным классам, характеризующим параллельные вычисления на полиномиальном от длины входа количестве процессоров с константным временем работы. Класс AC<sup>0</sup> задаётся альтернирующими схемами константной глубины и известен также как FO (может быть задан формулами логики предикатов первого порядка). Класс TC<sup>0</sup> задаётся пороговыми схемами константной глубины и известен также как FOM (может быть задан формулами логики предикатов первого порядка с мажоритарным квантором). Составлен обзор некоторых наиболее важных результатов по данным классам. Показано, что операция ограниченной префиксной конкатенации позволяет задать чисто словарное индуктивное определение класса TC<sup>0</sup>.
+Публикации посвящены двум малым сложностным классам, характеризующим параллельные вычисления на полиномиальном от длины входа количестве процессоров с константным временем работы. Класс AC<sup>0</sup> задаётся альтернирующими схемами константной глубины и известен также как FO (может быть задан формулами логики предикатов первого порядка). Класс TC<sup>0</sup> задаётся пороговыми схемами константной глубины и известен также как FOM (может быть задан формулами логики предикатов первого порядка с мажоритарным квантором).
 # Савицкий И. В., Марченков С. С. ''[https://library.keldysh.ru/mvk.asp?id=2023-52 Порождение малых сложностных классов с помощью логических формул, схем и операций ограниченной конкатенации]'' // Математические вопросы кибернетики. Вып. 21. М.: ФИЗМАТЛИТ, 2023. С. 52–110.