Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
- 21:37, 19 февраля 2010 (история) (разн.) МФСП: Оформление задач (некоторые добавления)
- 09:42, 15 февраля 2010 (история) (разн.) Тигры (дополнение и обновление, блин )) викифакация, мать её xD)
- 18:56, 12 февраля 2010 (история) (разн.) Тигры (→Экзамен - HUGE additions =))
- 18:43, 7 февраля 2010 (история) (разн.) Тигры (неб. доп.)
- 20:32, 3 февраля 2010 (история) (разн.) Обсуждение участника:ESyr01 (→гаджеты mediawiki)
- 21:48, 1 февраля 2010 (история) (разн.) Обсуждение участника:ESyr01 (NB!)
- 21:46, 1 февраля 2010 (история) (разн.) МФСП: Оформление задач (дополнение)
- 12:03, 27 января 2010 (история) (разн.) МФСП: Оформление задач (→Задача 1 - доб. условие)
- 18:31, 13 декабря 2009 (история) (разн.) м Научная работа и научные руководители (→Спецсеминар «Парадигмы программирования» - оформление)
- 20:36, 12 декабря 2009 (история) (разн.) История математики, теоретический минимум (→Н.И. Лобачевский и неевклидова геометрия - доп-ние)
- 19:54, 12 декабря 2009 (история) (разн.) История математики, теоретический минимум (→Логарифмы, логарифмическая шкала, логарифмические линейки. Непер, Гюнтер, Отред, Деламейн, Уатт, Ньютон - доп-е)
- 19:06, 12 декабря 2009 (история) (разн.) Научная работа и научные руководители (→Спецсеминар «Искусственный интеллект» - дополнение инфы)
- 23:17, 11 декабря 2009 (история) (разн.) История математики, теоретический минимум (→Главные достижения и основные черты математики Древней Греции. Переход в математике от вопроса «как?» к вопросу «почему?» - разделение)
- 23:21, 10 декабря 2009 (история) (разн.) м Шаблон:Курс История математики (доб. ссыла на термин) (последняя)
- 20:18, 10 декабря 2009 (история) (разн.) История математики, теоретический минимум (добавлены ссылки на wikipedia)
- 19:40, 9 декабря 2009 (история) (разн.) Задачи к коллоквиуму по МФСП (Новая: ==1й коллоквиум== ==2й коллоквиум== ===1я задача=== ===2я задача=== {{Курс МФСП}}) (последняя)
- 21:45, 23 октября 2009 (история) (разн.) Обсуждение участника:ESyr01 (New section: гаджеты mediawiki)
- 12:26, 23 октября 2009 (история) (разн.) Обсуждение участника:ESyr01 (New section: научная работа)
- 12:27, 22 октября 2009 (история) (разн.) м Научная работа и научные руководители (...)
- 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 (история) (разн.) м РОС, ответы на задачи (→Процессорная - доб. реш-е для з-чи на процессорную конс.)
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
