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

16 сентября 2018

• 14:2114:21, 16 сентября 2018 разн. история +45‎ Альфа-Циклический гиперграф ‎ →‎Литература текущая
• 14:2014:20, 16 сентября 2018 разн. история +45‎ K-Цветной гиперграф ‎ →‎Литература текущая
• 14:1914:19, 16 сентября 2018 разн. история +48‎ Сокращенный гиперграф ‎ →‎Литература текущая
• 14:1814:18, 16 сентября 2018 разн. история +46‎ H-Униформный гиперграф ‎ →‎Литература текущая
• 14:1514:15, 16 сентября 2018 разн. история +46‎ Тотально сбалансированный гиперграф ‎ →‎Литература текущая
• 14:1514:15, 16 сентября 2018 разн. история +46‎ Сбалансированный гиперграф ‎ →‎Литература текущая
• 14:1414:14, 16 сентября 2018 разн. история +46‎ Ориентированный гиперграф, оргиперграф ‎ →‎Литература текущая
• 14:1314:13, 16 сентября 2018 разн. история +46‎ H-Однородный гиперграф ‎Нет описания правки текущая
• 14:1214:12, 16 сентября 2018 разн. история +46‎ Двойственный гиперграф ‎ →‎Литература текущая
• 14:1114:11, 16 сентября 2018 разн. история +46‎ Бихроматический гиперграф ‎ →‎Литература текущая
• 14:1014:10, 16 сентября 2018 разн. история +46‎ Гиперграф ‎Нет описания правки
• 13:5613:56, 16 сентября 2018 разн. история +934‎ Н Сеть Петри помеченная ‎ Новая страница: «'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где ''N'' — сеть Петри, а ''G'' — '…»
• 13:3113:31, 16 сентября 2018 разн. история +45‎ Labeled Petri net, Labelled Petri net ‎Нет описания правки текущая
• 11:4311:43, 16 сентября 2018 разн. история +457‎ Н Сеть Петри устойчивая ‎ Новая страница: «'''Сеть Петри устойчива''' (persistent Petri net), если все ее переходы [[Переход устойчивый|устойчив…»
• 11:3911:39, 16 сентября 2018 разн. история +45‎ Persistent Petri net ‎Нет описания правки текущая
• 11:3611:36, 16 сентября 2018 разн. история +749‎ Н Переход устойчивый ‎ Новая страница: «Переход в сети Петри называется '''устойчивым''' (persistent transition), если при любом …»
• 11:2611:26, 16 сентября 2018 разн. история +40‎ Persistent transition ‎Нет описания правки текущая
• 11:2011:20, 16 сентября 2018 разн. история +793‎ Н Переход мертвый ‎ Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''мертвым''' (dead transition) '''при …»
• 11:0911:09, 16 сентября 2018 разн. история +36‎ Переход потенциально живой ‎Нет описания правки
• 11:0611:06, 16 сентября 2018 разн. история +842‎ Н Переход потенциально мертвый ‎ Новая страница: «Переход <math>t</math> в сети Петри — '''потенциально мертвый''' (potentially dead transition), е…»
• 11:0611:06, 16 сентября 2018 разн. история +59‎ Potentially dead transition ‎Нет описания правки текущая
• 10:5910:59, 16 сентября 2018 разн. история −37‎ Переход потенциально живой ‎Нет описания правки
• 10:4610:46, 16 сентября 2018 разн. история +879‎ Н Переход потенциально живой ‎ Новая страница: «Переход <math>t</math> в сети Петри <math>N</math> называется '''потенциально живым''' (potent…»
• 10:3510:35, 16 сентября 2018 разн. история +641‎ Н Переход живой ‎ Новая страница: «Переход сети Петри называется '''живым''' (live transition), если он является [[Перехо…»
• 10:3510:35, 16 сентября 2018 разн. история +79‎ Сеть Петри ‎Нет описания правки
• 10:2410:24, 16 сентября 2018 разн. история +25‎ Сеть Петри ‎Нет описания правки
• 09:5409:54, 16 сентября 2018 разн. история +30‎ Live transition ‎Нет описания правки текущая

13 сентября 2018

• 20:5620:56, 13 сентября 2018 разн. история +1932‎ Категория:Теория формальных языков ‎Нет описания правки
• 20:4020:40, 13 сентября 2018 разн. история +13 099‎ Н Свойства состояний ‎ Новая страница: «''Задача нахождения свойств состояний'' (или, как еще говорят, ''глобального потокового ан…» текущая
• 20:3120:31, 13 сентября 2018 разн. история +1705‎ Н Свойства исполнений ‎ Новая страница: « '''Свойство исполнений''' имеет вид утверждения о том, что возможно такое исполнение одно…» текущая
• 20:2020:20, 13 сентября 2018 разн. история +277‎ Категория:Потоковый анализ программ ‎Нет описания правки
• 20:1320:13, 13 сентября 2018 разн. история +6299‎ Н Категория:Потоковый анализ программ ‎ Новая страница: «Потоковый анализ является средством получения достоверной информации а поведении прог…»
• 18:4918:49, 13 сентября 2018 разн. история +17‎ Сеть Петри ‎Нет описания правки
• 18:3918:39, 13 сентября 2018 разн. история 0‎ Сеть Петри ‎ →‎Литература
• 18:3818:38, 13 сентября 2018 разн. история 0‎ Сеть ‎ →‎Литература текущая
• 18:3718:37, 13 сентября 2018 разн. история +138‎ Сеть ‎Нет описания правки
• 18:1318:13, 13 сентября 2018 разн. история +138‎ Сеть Петри ‎ →‎Литература
• 18:0618:06, 13 сентября 2018 разн. история −1‎ Petri net ‎Нет описания правки
• 18:0518:05, 13 сентября 2018 разн. история −1‎ Petri net ‎Нет описания правки
• 18:0218:02, 13 сентября 2018 разн. история +5‎ Petri net ‎Нет описания правки
• 17:5817:58, 13 сентября 2018 разн. история −2‎ Petri net ‎Нет описания правки

25 апреля 2018

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

16 декабря 2014

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

27 июня 2014

• 10:4010:40, 27 июня 2014 разн. история −2‎ Теория алгоритмов ‎ →‎Литература
• 10:3910:39, 27 июня 2014 разн. история +198‎ Теория алгоритмов ‎ →‎Литература
• 10:3210:32, 27 июня 2014 разн. история +310‎ Теория алгоритмов ‎ →‎Метрическая теория алгоритмов
• 10:1910:19, 27 июня 2014 разн. история +223‎ Теория алгоритмов ‎ →‎Алгоритмические проблемы
• 10:1410:14, 27 июня 2014 разн. история +10‎ Теория алгоритмов ‎ →‎Основные понятия
• 10:0710:07, 27 июня 2014 разн. история +16 509‎ Н Теория алгоритмов ‎ Новая страница: « '''Теория алгоритмов''', раздел математики, изучающий общие свойства алгоритмов. Содержат…»
• 09:3009:30, 27 июня 2014 разн. история +59‎ Н Категория:Ориентированные графы ‎ Новая страница: «Категория: Обыкновенные графы»