Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
- 12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 12:14, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
- 11:18, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 11:07, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 11:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 10:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
- 13:32, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Язык Promela. Механизмы взаимодействия процессов в языке Promela. Глобальные переменные, каналы сообщений, явная синхронизация.)
- 13:09, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Язык Promela. Основные компоненты модели на языке Promela. Процессы, локальные и глобальные объекты данных, каналы сообщений.)
- 12:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Система Spin. Процесс моделирования и верификации при помощи системы Spin. Конечность моделей на Promela. Асинхронное выполнение моделей. Нед)
- 12:35, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация при помощи Spin. Принцип верификации нарушения свойств. Контрпримеры. Процесс верификации при помощи Spin. Использование LTL в S)
- 12:16, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
- 12:15, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
- 11:59, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Циклы бездействия. Ограничения справедливости.)
- 10:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция графов программ. Отношение слабой симуляции.)
- 10:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 10:10, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 08:54, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 08:48, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 08:33, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Вычисления)
- 06:41, 24 июня 2008 (история) (разн.) Основы кибернетики, Теормин (/* Тождество обобщенного склеивания и определение нерасширяемой <span title="дизъюнктивная нормальная форма" style="text-decoration:none; border-bottom:1px dotted #C0C)
- 04:58, 30 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 3 (→Выберите правильные утверждения)
- 11:27, 29 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 2 (→Какие цели преследовало создание стандарта SONET/SDH?)
- 10:18, 29 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 2 (→Высокоскоростной ISDN основан на ________ .)
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
