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

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

Поиск вклада

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

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

(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (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}})
• 16:59, 12 июня 2009 (история) (разн.) Изображение:Verif2.png‎ (Построение модели (строгое определение)) (последняя)
• 16:56, 12 июня 2009 (история) (разн.) Изображение:Verif 1.png‎ (Схема верификации на модели) (последняя)
• 13:16, 12 июня 2009 (история) (разн.) м ВПнМ‎ (→Практикум и зачёт курса - доп.)
• 11:41, 12 июня 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Задача проверки правильности программ. - дополнение и оформление)
• 04:16, 10 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин‎ (→Теорема оптимальности для разложимых функций - поправлено оформление)
• 02:50, 10 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин‎ (поправлено)
• 02:48, 10 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин‎ (→Теорема о границах решений задач ЛП с целыми коэффициентами - поправлено.)
• 17:23, 9 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин‎ (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
• 17:02, 6 июня 2009 (история) (разн.) м Обсуждение участника:ESyr01‎ (...)
• 16:34, 6 июня 2009 (история) (разн.) м Обсуждение изображения:4x4sum.jpg‎ (Новая: жаль, что не svg =( ~~~~) (последняя)
• 16:31, 6 июня 2009 (история) (разн.) м РОС, ответы на задачи‎ (→Процессорная - доб. реш-е для з-чи на процессорную конс.)
• 15:53, 6 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Тема 6 - оформление 6й темы)
• 15:05, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (...) (последняя)
• 15:05, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (...)
• 15:01, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (...)
• 15:01, 6 июня 2009 (история) (разн.) м Участник:Soshial/ajaxPreview.js‎ (Новая: function ajaxPreviewInit(){ if ((wgNamespaceNumber % 2 == 0) && /\.(js|css)$/.test(wgTitle)) return if (typeof ajaxPreviewKey != 'string') ajaxPreviewKey = 'p' if (typeof ajaxDiffKey ...) (последняя)
• 15:00, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (...)
• 14:59, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (...)
• 14:58, 6 июня 2009 (история) (разн.) м Участник:Soshial/monobook.js‎ (Новая: importScript('User:Js/ajaxPreview.js'))
• 11:37, 31 мая 2009 (история) (разн.) м Обсуждение участника:ESyr01‎ (бла-бла-бла)
• 11:14, 30 мая 2009 (история) (разн.) м МОТП‎ (дополнение)
• 11:03, 30 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Основные правила работы с вероятностями. Условная независимость случайных величин - испр. ошибка)
• 13:52, 28 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (распределил информацию между 11-м и 12-м билетами. + испр. опечатка в 13-м.)
• 15:27, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Основные правила работы с вероятностями. Условная независимость случайных величин. - доб. сл-вие из ф-лы полной вер-и)
• 15:04, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Байесовские сети. Примеры. - доб.)
• 13:35, 27 мая 2009 (история) (разн.) м Обсуждение:МОТП, Билеты (2009)‎ (1.7 Основные правила работы с вероятностями. Условная независимость случайных величин.) (последняя)
• 13:25, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009)‎ (→Основные правила работы с вероятностями. Условная независимость случайных величин. - доб. формула Байеса)
• 22:47, 26 мая 2009 (история) (разн.) м Обсуждение участника:ESyr01‎ (Новая: ты на 5 курсе, я на 4. а как ты смог с 89м годом рождения оказаться 5ти-куром??!! просто я тоже раньше пошёл и...)
• 20:37, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Логистическая регрессия. Вероятностная постановка.)
• 17:59, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Задача восстановления линейной регрессии. Вероятностная поставновка.)

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