Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)
- 12:16, 22 октября 2009 (история) (разн.) Научная работа и научные руководители (→Спецсеминар «Компьютерная лингвистика» - обширное дополнение)
- 11:48, 22 октября 2009 (история) (разн.) Шаблон:Lang-en (Новая: англ. {{{1}}}) (последняя)
- 23:45, 21 октября 2009 (история) (разн.) м Научная работа и научные руководители (→АЯ - поправлено оформление)
- 22:20, 21 октября 2009 (история) (разн.) Научная работа и научные руководители (=))
- 07:10, 23 сентября 2009 (история) (разн.) Собрание 5 курса, от 17 сентября 2009 года (вычитка и структуризация)
- 03:37, 15 июня 2009 (история) (разн.) ВПнМ/Теормин (→Верификация на моделях. - доб. История развития верификации)
- 16:23, 14 июня 2009 (история) (разн.) м ВПнМ, примеры задач/Задача 5 (→Задача 2 - добавлен шаблонный вариант)
- 16:00, 14 июня 2009 (история) (разн.) м ВПнМ, примеры задач/Задача 5 (оформление + дополнение)
- 11:59, 14 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until. - ...)
- 17:12, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Свойства безопасности и живучести. Проверка таких свойств. Примеры свойств. - доб. ссылка на лекцию)
- 17:09, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств. - доб. ссылка на wiki)
- 16:48, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств. - оформление)
- 16:46, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств. - оформление)
- 12:24, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование графов программ. Случаи без разделяемых переменных и с разделяемыми переменными. - оформление)
- 09:14, 13 июня 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 09:13, 13 июня 2009 (история) (разн.) м Участник:Soshial (последняя)
- 19:59, 12 июня 2009 (история) (разн.) м Участник:Soshial (tmp)
- 17:09, 12 июня 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Понятие состояния. - доб. изображения)
- 17:02, 12 июня 2009 (история) (разн.) Изображение:Verif1.png (загружено «Изображение:Verif1.png»: Схема верификации на модели) (последняя)
- 17:01, 12 июня 2009 (история) (разн.) м Изображение:Verif1.png (Новая: {{Изображение:Verif_1.png}})
(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)