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

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

Поиск вклада

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

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

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

• 18:04, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 17:37, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 17:26, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Решение несовместных СЛАУ. - добавил определение совместности/несовместности)
• 17:22, 25 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 17:13, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 17:08, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 16:37, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 16:28, 25 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Метод наименьших квадратов.)
• 16:08, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Решение несовместных СЛАУ.)
• 16:04, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Решение несовместных СЛАУ.)
• 16:01, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Метод максимального правдоподобия. Его достоинства и недостатки.)
• 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 (история) (разн.) м ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)

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