Вклад участника KVN

16 сентября 2018

• 07:1207:12, 16 сентября 2018 разн. история +46‎ Двойственный гиперграф ‎ →‎Литература текущая
• 07:1107:11, 16 сентября 2018 разн. история +46‎ Бихроматический гиперграф ‎ →‎Литература текущая
• 07:1007:10, 16 сентября 2018 разн. история +46‎ Гиперграф ‎Нет описания правки
• 06:5606:56, 16 сентября 2018 разн. история +934‎ Н Сеть Петри помеченная ‎ Новая страница: «'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где ''N'' — сеть Петри, а ''G'' — '…»
• 06:3106:31, 16 сентября 2018 разн. история +45‎ Labeled Petri net, Labelled Petri net ‎Нет описания правки текущая
• 04:4304:43, 16 сентября 2018 разн. история +457‎ Н Сеть Петри устойчивая ‎ Новая страница: «'''Сеть Петри устойчива''' (persistent Petri net), если все ее переходы [[Переход устойчивый|устойчив…»
• 04:3904:39, 16 сентября 2018 разн. история +45‎ Persistent Petri net ‎Нет описания правки текущая
• 04:3604:36, 16 сентября 2018 разн. история +749‎ Н Переход устойчивый ‎ Новая страница: «Переход в сети Петри называется '''устойчивым''' (persistent transition), если при любом …»
• 04:2604:26, 16 сентября 2018 разн. история +40‎ Persistent transition ‎Нет описания правки текущая
• 04:2004:20, 16 сентября 2018 разн. история +793‎ Н Переход мертвый ‎ Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''мертвым''' (dead transition) '''при …»
• 04:0904:09, 16 сентября 2018 разн. история +36‎ Переход потенциально живой ‎Нет описания правки
• 04:0604:06, 16 сентября 2018 разн. история +842‎ Н Переход потенциально мертвый ‎ Новая страница: «Переход <math>t</math> в сети Петри — '''потенциально мертвый''' (potentially dead transition), е…»
• 04:0604:06, 16 сентября 2018 разн. история +59‎ Potentially dead transition ‎Нет описания правки текущая
• 03:5903:59, 16 сентября 2018 разн. история −37‎ Переход потенциально живой ‎Нет описания правки
• 03:4603:46, 16 сентября 2018 разн. история +879‎ Н Переход потенциально живой ‎ Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''потенциально живым''' (potent…»
• 03:3503:35, 16 сентября 2018 разн. история +641‎ Н Переход живой ‎ Новая страница: «Переход сети Петри называется '''живым''' (live transition), если он является [[Перехо…»
• 03:3503:35, 16 сентября 2018 разн. история +79‎ Сеть Петри ‎Нет описания правки
• 03:2403:24, 16 сентября 2018 разн. история +25‎ Сеть Петри ‎Нет описания правки
• 02:5402:54, 16 сентября 2018 разн. история +30‎ Live transition ‎Нет описания правки текущая

13 сентября 2018

• 13:5613:56, 13 сентября 2018 разн. история +1932‎ Категория:Теория формальных языков ‎Нет описания правки
• 13:4013:40, 13 сентября 2018 разн. история +13 099‎ Н Свойства состояний ‎ Новая страница: «''Задача нахождения свойств состояний'' (или, как еще говорят, ''глобального потокового ан…» текущая
• 13:3113:31, 13 сентября 2018 разн. история +1705‎ Н Свойства исполнений ‎ Новая страница: « '''Свойство исполнений''' имеет вид утверждения о том, что возможно такое исполнение одно…» текущая
• 13:2013:20, 13 сентября 2018 разн. история +277‎ Категория:Потоковый анализ программ ‎Нет описания правки
• 13:1313:13, 13 сентября 2018 разн. история +6299‎ Н Категория:Потоковый анализ программ ‎ Новая страница: «Потоковый анализ является средством получения достоверной информации а поведении прог…»
• 11:4911:49, 13 сентября 2018 разн. история +17‎ Сеть Петри ‎Нет описания правки
• 11:3911:39, 13 сентября 2018 разн. история 0‎ Сеть Петри ‎ →‎Литература
• 11:3811:38, 13 сентября 2018 разн. история 0‎ Сеть ‎ →‎Литература текущая
• 11:3711:37, 13 сентября 2018 разн. история +138‎ Сеть ‎Нет описания правки
• 11:1311:13, 13 сентября 2018 разн. история +138‎ Сеть Петри ‎ →‎Литература
• 11:0611:06, 13 сентября 2018 разн. история −1‎ Petri net ‎Нет описания правки
• 11:0511:05, 13 сентября 2018 разн. история −1‎ Petri net ‎Нет описания правки
• 11:0211:02, 13 сентября 2018 разн. история +5‎ Petri net ‎Нет описания правки
• 10:5810:58, 13 сентября 2018 разн. история −2‎ Petri net ‎Нет описания правки

25 апреля 2018

• 01:3401:34, 25 апреля 2018 разн. история 0‎ Заглавная страница ‎Нет описания правки

16 декабря 2014

• 11:5311:53, 16 декабря 2014 разн. история +36‎ Basic numberings ‎Нет описания правки текущая

27 июня 2014

• 03:4003:40, 27 июня 2014 разн. история −2‎ Теория алгоритмов ‎ →‎Литература
• 03:3903:39, 27 июня 2014 разн. история +198‎ Теория алгоритмов ‎ →‎Литература
• 03:3203:32, 27 июня 2014 разн. история +310‎ Теория алгоритмов ‎ →‎Метрическая теория алгоритмов
• 03:1903:19, 27 июня 2014 разн. история +223‎ Теория алгоритмов ‎ →‎Алгоритмические проблемы
• 03:1403:14, 27 июня 2014 разн. история +10‎ Теория алгоритмов ‎ →‎Основные понятия
• 03:0703:07, 27 июня 2014 разн. история +16 509‎ Н Теория алгоритмов ‎ Новая страница: « '''Теория алгоритмов''', раздел математики, изучающий общие свойства алгоритмов. Содержат…»
• 02:3002:30, 27 июня 2014 разн. история +59‎ Н Категория:Ориентированные графы ‎ Новая страница: «Категория: Обыкновенные графы»
• 02:2202:22, 27 июня 2014 разн. история +59‎ Сложность РАМ ‎ →‎Литература текущая

19 марта 2014

• 08:0708:07, 19 марта 2014 разн. история +2657‎ Категория:Теория схем программ ‎Нет описания правки
• 07:4507:45, 19 марта 2014 разн. история +52‎ MediaWiki:Sidebar ‎Нет описания правки текущая
• 07:4007:40, 19 марта 2014 разн. история +4‎ MediaWiki:Sidebar ‎Нет описания правки
• 07:3907:39, 19 марта 2014 разн. история −29‎ MediaWiki:Sidebar ‎Нет описания правки
• 07:3707:37, 19 марта 2014 разн. история +265‎ Н MediaWiki:Sidebar ‎ Новая страница: « * navigation ** mainpage|mainpage-description ** portal-url|portal ** currentevents-url|currentevents ** recentchanges-url|recentchanges ** randompage-url|random…»

27 ноября 2013

• 08:1508:15, 27 ноября 2013 разн. история 0‎ M-Нумерация ‎ →‎Литература текущая
• 08:1508:15, 27 ноября 2013 разн. история 0‎ Нумерация вершин ‎ →‎Литература текущая