Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 100) (Более старые 100) (20 | 50 | 100 | 250 | 500)
- 15:57, 25 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Метод максимального правдоподобия. Его достоинства и недостатки.)
- 15:38, 25 мая 2009 (история) (разн.) м МОТП, Билеты (2009) («Билеты» переименована в «МОПТ/Билеты (2008-2009)»)
- 11:42, 24 мая 2009 (история) (разн.) МОТП (→Часть 2 (Рудаков) - список билетов)
- 11:31, 24 мая 2009 (история) (разн.) м МОТП
- 10:38, 24 мая 2009 (история) (разн.) м МОТП (→Полезная информация)
- 11:26, 23 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели. - поправил угло)
- 21:31, 21 мая 2009 (история) (разн.) ВПнМ, примеры задач/Задача 5 (добавил еще задач из http://www.cmcspec.ru/ipb/index.php?showtopic=516&view=findpost&p=15799)
- 21:23, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Язык Promela. Основные типы данных. Область видимости данных. - форматирование)
- 21:21, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Язык Promela. Основные типы данных. Область видимости данных. - форматирование)
- 21:10, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Язык Promela. Механизмы взаимодействия процессов в языке Promela. Глобальные переменные, каналы сообщений, явная синхронизация. - форматиров)
- 20:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
- 20:22, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Проверка выполнимости формул LTL при помощи автоматов Бюхи. Проверка LTL-формул в Spin. - добавил ссылки на слайды в лекциях)
- 20:19, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию. - поправил форматирование, добавил замечание про LTL без X)
- 20:15, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию. - добавил ссылки на слайды в лекциях)
- 20:13, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
- 20:10, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 20:04, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
- 19:50, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата. - включение нестрогое вроде бы должно быть...)
- 19:48, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
- 19:47, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
- 19:43, 21 мая 2009 (история) (разн.) Участник:StepLg (последняя)
- 19:42, 21 мая 2009 (история) (разн.) Участник:StepLg
- 19:42, 21 мая 2009 (история) (разн.) Участник:StepLg (Новая: ФИО: Кунцьо Степан Юрьевич jabber: steplg@jabber.ru mailto: steplg сoбакa gmail тчk com)
- 19:11, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование графов программ. Случаи без разделяемых переменных и с разделяемыми переменными.)
- 19:06, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 18:47, 21 мая 2009 (история) (разн.) ВПнМ (→Практикум и зачёт курса)
- 18:45, 21 мая 2009 (история) (разн.) ВПнМ, примеры задач/Задача 5 (Новая: === Задача 1 === После события 'процесс p находится на метке iter_begin' и до наступления события 'процесс p нах...)
- 18:44, 21 мая 2009 (история) (разн.) ВПнМ, примеры задач (последняя)
- 14:34, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 13:16, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
- 12:56, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
- 12:55, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
- 12:37, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:34, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:19, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:18, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:18, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:15, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:13, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 11:36, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 09:24, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
- 18:22, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 18:19, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:18, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:17, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:13, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 18:12, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 18:10, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 18:07, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 17:52, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 17:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:29, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 16:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 16:39, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Статический анализ исходного кода программ. Область применения, плюсы и минусы.)
- 16:20, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Доказательство теорем. Область применения, плюсы и минусы.)
- 16:16, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Лекция 1)
- 15:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин
- 15:09, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 15:01, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 15:01, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 14:56, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Свойства безопасности и живучести. Проверка таких свойств. Примеры свойств.)
- 14:55, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 14:49, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 12:54, 20 мая 2009 (история) (разн.) ВПнМ/Теормин
- 12:52, 20 мая 2009 (история) (разн.) ВПнМ (→Информация о курсе)
- 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели. - убрал достато)
- 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
- 12:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:39, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:36, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:35, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:34, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:20, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:04, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 11:37, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:23, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:03, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:50, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:45, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:31, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:11, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 09:59, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (Новая: == Лекция 1 == '''Валидация''' - исследование и обоснование того, что спецификация ПО и само ПО через реали...)
- 11:14, 6 июня 2008 (история) (разн.) Численные Методы, задачи на лекциях (→Задача 1) (последняя)
(Новейшие | Старейшие) Просмотреть (Более новые 100) (Более старые 100) (20 | 50 | 100 | 250 | 500)