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

Материал из eSyr's wiki.

Вклад Хрень (Обсуждение | Журнал блокировок | Журналы)

Перейти к: навигация, поиск

Поиск вклада Показать только вклад, сделанный с новых учётных записей
IP-адрес или имя участника: Пространство имён:

За месяц (и ранее): За год (и ранее):

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)

11:10, 7 июня 2010 (история) (разн.) Изображение:Shema verifikacii na modeli.jpg‎ (последняя)
11:08, 7 июня 2010 (история) (разн.) м ВПнМ/Теормин‎ (→Схема верификации на модели)
11:07, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Примеры классов свойств:)
11:05, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
08:57, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
08:14, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
08:08, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
08:05, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
07:44, 7 июня 2010 (история) (разн.) м ВПнМ/Теормин‎ (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
07:14, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
06:57, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Асинхронный параллелизм. Системы с каналами. Операционная семантика.)
05:53, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
05:34, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Понятие состояния. Потенциальные и достижимые состояния. Требования к модели. Процесс построения модели.)
15:07, 1 июня 2010 (история) (разн.) Методы Оптимизации, Теормин‎ (→Критерий NP-полноты. Д-во NP-полноты задачи ЦЛН)
17:13, 26 мая 2010 (история) (разн.) МОТП, Задачи на экзамене‎ (→Решение)
17:09, 26 мая 2010 (история) (разн.) МОТП, Задачи на экзамене‎ (→Решение)
17:07, 26 мая 2010 (история) (разн.) Изображение:Репараметризация.jpg‎ (загружена новая версия «Изображение:Репараметризация.jpg») (последняя)
16:58, 26 мая 2010 (история) (разн.) Изображение:Репараметризация.jpg‎