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

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

Поиск вклада

 Показать только вклад, сделанный с новых учётных записей
 IP-адрес или имя участника: Пространство имён: все (Основное) Обсуждение Участник Обсуждение участника eSyr's wiki Обсуждение eSyr's wiki Изображение Обсуждение изображения MediaWiki Обсуждение MediaWiki Шаблон Обсуждение шаблона Справка Обсуждение справки Категория Обсуждение категории

За месяц (и ранее): За год (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

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

• 05:56, 4 октября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→отображения)
• 05:55, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→отображения)
• 05:52, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→подсчет)
• 05:32, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→)
• 05:25, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→удаляем заданный элем-т из списка)
• 05:21, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→еще задачки)
• 05:10, 4 октября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→)
• 06:20, 27 сентября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→Список чисел фибоначи)
• 06:16, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Case)
• 06:14, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→inds: Индексы)
• 06:11, 27 сентября 2010 (история) (разн.) МФСП, 04 семинар (от 22 сентября)‎ (→Конктенация)
• 06:10, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Конктенация)
• 06:08, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Конктенция)
• 06:08, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Индексация)
• 06:05, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Списки)
• 06:04, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎ (→Списки)
• 06:01, 27 сентября 2010 (история) (разн.) м МФСП, 04 семинар (от 22 сентября)‎
• 12:02, 7 июня 2010 (история) (разн.) ВПнМ, примеры задач/Задача 5‎ (→Задача 13)
• 11:15, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Схема верификации на модели)
• 11:14, 7 июня 2010 (история) (разн.) ВПнМ/Теормин‎ (→Схема верификации на модели)
• 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‎

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