Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 500) (Более старые 500) (20 | 50 | 100 | 250 | 500)
- 20:30, 4 июня 2010 (история) (разн.) м ГОС (→Пределы)
- 20:29, 4 июня 2010 (история) (разн.) ГОС (→Пределы)
- 13:39, 4 июня 2010 (история) (разн.) ГОС (→Интегралы - поправил интеграл cos^3)
- 13:37, 4 июня 2010 (история) (разн.) м ГОС (→Интегралы - скобочки)
- 10:03, 9 октября 2009 (история) (разн.) м История математики (→Литература)
- 22:29, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (/* Определение <math>\varepsilon</math>-приближенного алгоритма и полностью полиномиальной приближенной схемы (ПППС). Связь между существованием П)
- 22:09, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Теорема об отсутствии ПППС для задач оптимизации, соответствующих сильно NP-полным задачам распознавания)
- 22:02, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Д-во NP-полноты задачи 3-выполнимость. NP-трудные задачи)
- 21:53, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Критерий NP-полноты. Д-во NP-полноты задачи ЦЛН)
- 21:44, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 21:41, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема об экспоненциальной временной оценке для задач из класса NP.)
- 21:41, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Задачи распознавания свойств. Классы P и NP.)
- 21:24, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Задачи распознавания свойств. Классы P и NP.)
- 20:12, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Идея метода штрафов)
- 20:01, 8 июня 2009 (история) (разн.) Методы оптимизации, задачи (→Построение двойственной задачи)
- 19:57, 8 июня 2009 (история) (разн.) м Методы оптимизации, задачи (→Построение двойственной задачи)
- 19:43, 8 июня 2009 (история) (разн.) м Методы оптимизации, задачи (→Задача 8)
- 18:23, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения
- 18:19, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Идея метода Кармаркара - поправил серьезную опечатку)
- 17:26, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения
- 17:04, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения
- 16:34, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 16:31, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения
- 16:28, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения (→Сокращения)
- 15:17, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Метод ветвей и границ для ЦЛП. Различные стратегии метода)
- 15:16, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Идея метода ветвей и границ. Пример для задачи БЛП)
- 15:08, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения (→Сокращения)
- 14:52, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Формула метода Ньютона в задаче безусловной минимизации)
- 14:44, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Идея метода Ньютона)
- 13:45, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Формула градиентного метода в задаче безусловной минимизации)
- 13:24, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Классификация задач математического программирования. Преимущества выпуклого случая)
- 13:23, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Классификация задач математического программирования. Преимущества выпуклого случая)
- 13:04, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения (→Сокращения)
- 12:56, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Неотсортировано)
- 12:56, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Применение метода динамического программирования для понижения размерности разложимой оптимизационной задачи)
- 12:55, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Методы глобальной минимизации)
- 12:52, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Динамическое программирование)
- 12:42, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Формула метода Ньютона в задаче безусловной минимизации)
- 12:41, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Методы глобальной минимизации)
- 12:40, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Идея метода Кармаркара)
- 12:30, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Классификация задач математического программирования. Преимущества выпуклого случая)
- 12:30, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Неотсортировано)
- 12:26, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→= Классификация задач математического программирования. Преимущества выпуклого случая)
- 12:26, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Элементы математического программирования)
- 12:18, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Идея метода Кармаркара)
- 11:57, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теория двойственности ЛП)
- 11:51, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теория двойственности ЛП)
- 11:50, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Теория двойственности ЛП)
- 11:40, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Описание метода эллипсоидов)
- 11:31, 8 июня 2009 (история) (разн.) Методы оптимизации, обозначения (Новая: К каждому определению в скобочках указывается номер страницы в методичке, на которой впервые данное ...)
- 11:29, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин
- 11:28, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о границах решений задач ЛП с целыми коэффициентами)
- 11:26, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о мере несовместности систем линейных неравенств с целыми коэффициентами)
- 11:16, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Лемма Фаркаша о неразрешимости)
- 11:14, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Следствия систем линейных неравенств. Афинная лемма Фаркаша (без доказательства))
- 11:14, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Следствия систем линейных неравенств. Афинная лемма Фаркаша (без доказательства))
- 11:07, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Лемма Фаркаша о неразрешимости)
- 11:05, 8 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Следствия систем линейных неравенств. Афинная лемма Фаркаша (без доказательства))
- 10:54, 8 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема оптимальности для разложимых функций)
- 20:11, 7 июня 2009 (история) (разн.) м Шаблон:Курс Методы оптимизации (последняя)
- 20:06, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Описание метода эллипсоидов - форматирование)
- 19:26, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Неотсортировано)
- 19:23, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Основы линейного программирования)
- 19:19, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о мере несовместности систем линейных неравенств с целыми коэффициентами)
- 19:16, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о мере несовместности систем линейных неравенств с целыми коэффициентами)
- 19:15, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о мере несовместности систем линейных неравенств с целыми коэффициентами)
- 19:15, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о границах решений задач ЛП с целыми коэффициентами)
- 19:15, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Теорема о мере несовместности систем линейных неравенств с целыми коэффициентами)
- 19:11, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о границах решений задач ЛП с целыми коэффициентами)
- 19:10, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема о границах решений задач ЛП с целыми коэффициентами)
- 19:01, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 19:00, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 18:51, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (/* Определение ?-приближенного алгоритма и полностью полиномиальной приближенной схемы (ПППС). Связь между существованием ПППС и псевдоп)
- 18:49, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Определение озЛП. Принцип граничных решений. Алгебраическая и битовая сложность ЛП. Результаты о сложности для задач, близких к ЛП)
- 18:20, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Сильная NP-полнота. Теорема о связи сильной NP-полноты задачи с существованием псевдополиномиального алгоритма ее решения)
- 18:19, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Сильная NP-полнота. Теорема о связи сильной NP-полноты задачи с существованием псевдополиномиального алгоритма ее решения)
- 18:18, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Сильная NP-полнота. Теорема о связи сильной NP-полноты задачи с существованием псевдополиномиального алгоритма ее решения)
- 16:32, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Псевдополиномиальные алгоритмы. Пример для задачи о рюкзаке)
- 16:26, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Псевдополиномиальные алгоритмы. Пример для задачи о рюкзаке)
- 16:20, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Взаимоотношение классов P, NP и NPC, NP и co-NP. Класс PSPACE)
- 16:06, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Д-во утверждения о взаимоотношении классов NPC и co-NP - del)
- 15:30, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 15:20, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 15:19, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 15:18, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 15:17, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 15:08, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 14:59, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Класс co-NP. Пример задачи, допускающей хорошую характеризацию. Доказательство утверждения о взаимоотношении классов NPC и co-NP.)
- 14:57, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Теорема об экспоненциальной временной оценке для задач из класса NP.)
- 14:56, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Задачи распознавания свойств. Классы P и NP. - добавил определение класса NP)
- 14:49, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Задачи распознавания свойств. Классы P и NP.)
- 14:23, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 14:22, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Задачи распознавания свойств. Классы P и NP.)
- 14:20, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 14:18, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Индивидуальная и массовая задачи, кодировка задачи, алгоритм решения массовой задачи, временная сложность алгоритма.)
- 14:12, 7 июня 2009 (история) (разн.) Методы Оптимизации, Теормин (→Определения индивидуальной и массовой задачи, кодировки задачи, алгоритма решения массовой задачи, временной сложности алгоритма.)
- 10:15, 7 июня 2009 (история) (разн.) Теормин («Теормин» переименована в «Методы Оптимизации, Теормин»: неинформативное название) (последняя)
- 10:15, 7 июня 2009 (история) (разн.) м Методы Оптимизации, Теормин («Теормин» переименована в «Методы Оптимизации, Теормин»: неинформативное название)
- 10:15, 7 июня 2009 (история) (разн.) м Методы оптимизации (→Ссылки)
- 10:14, 7 июня 2009 (история) (разн.) м Методы оптимизации (→Ссылки)
- 17:16, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Задача 1 (MPI_BARRIER) - del решение)
- 17:15, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Задача 1 (MPI_BARRIER) - решение)
- 16:54, 1 июня 2009 (история) (разн.) м РОС, ответы на задачи (→Тема 2 - имена для задач, подразделы)
- 16:51, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Ссылки - добавил ссылку на мануал по MPI)
- 16:50, 1 июня 2009 (история) (разн.) м РОС, ответы на задачи (→Задача 3 (MPI_GATHER))
- 16:49, 1 июня 2009 (история) (разн.) м РОС, ответы на задачи (→Тема 3 - расставил подтемы, проименовал задачи)
- 16:30, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Задача 3 - добавил алгоритм Петерсона)
- 16:28, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Задача 3 - добавил алгоритм Деккера)
- 16:20, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Задача 4 - добавил решение задачи про читателей/писателей)
- 16:18, 1 июня 2009 (история) (разн.) РОС, ответы на задачи (→Тема 2 - добавил решение про считающий семафор из лекций)
- 15:31, 1 июня 2009 (история) (разн.) м РОС, ответы на задачи (→Тема 2)
- 13:05, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Условная независимость в скрытых марковских моделях. Алгоритм «вперед-назад».)
- 12:44, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Нелинейные методы уменьшения размерности. Ассоциативные нейронные сети и GTM.)
- 12:40, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Нелинейные методы уменьшения размерности. Локальное линейное погружение.)
- 12:31, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Недостатки метода главных компонент. Метод независимых компонент.)
- 12:30, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Недостатки метода главных компонент. Метод независимых компонент.)
- 12:26, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Недостатки метода главных компонент. Метод независимых компонент.)
- 12:23, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Недостатки метода главных компонент. Метод независимых компонент.)
- 11:59, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Вероятностная формулировка метода главных компонент.)
- 11:47, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Вероятностная формулировка метода главных компонент.)
- 11:32, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Скрытые марковские модели. Обучение СММ с учителем.)
- 10:25, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 10:18, 27 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 18:09, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Графические модели. Основные задачи, возникающие в анализе графических моделей.)
- 17:59, 26 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Основные правила работы с вероятностями. Условная независимость случайных величин.)
- 17:43, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Основные правила работы с вероятностями. Условная независимость случайных величин.)
- 17:34, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Основные правила работы с вероятностями. Условная независимость случайных величин.)
- 17:20, 26 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Основные правила работы с вероятностями. Условная независимость случайных величин.)
- 17:20, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Основные правила работы с вероятностями. Условная независимость случайных величин.)
- 17:10, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→ЕМ-алгоритм для задачи разделения гауссовской смеси.)
- 17:08, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→ЕМ-алгоритм для задачи разделения гауссовской смеси.)
- 17:04, 26 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Задача восстановления линейной регрессии. Вероятностная поставновка.)
- 16:58, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Логистическая регрессия. Вероятностная постановка.)
- 16:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Метод максимального правдоподобия. Его достоинства и недостатки.)
- 15:57, 26 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Общие пространства начальных и финальных информаций. Задачи синтеза корректных алгоритмов.)
- 13:56, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Формулы вычисления оценок. Эвристические обоснования.)
- 13:52, 26 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Тесты, представительные наборы, проблемы перебора. - убрал комментарии. для этого есть обсуждение статьи!!)
- 13:51, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Формулы вычисления оценок. Эвристические обоснования.)
- 13:36, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО. - добавил определение контрольн)
- 13:26, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Опорные множества в АВО. Функции близости. Веса объектов и признаков.)
- 13:10, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Опорные множества в АВО. Функции близости. Веса объектов и признаков.)
- 12:59, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 12:58, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 12:53, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 12:46, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Пространства объектов для АВО. Обучающие и контрольные объекты. Метрические описания объектов в АВО.)
- 12:07, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009) (/* Проблема построения набора базовых операторов для конкретных задач. Дефекты различимости и монотонности. Сходимость методов синтеза)
- 18:36, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Метод главных компонент.)
- 18:34, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Метод главных компонент.)
- 18:30, 25 мая 2009 (история) (разн.) м МОТП, Билеты (2009) (→Задача восстановления линейной регрессии. Вероятностная поставновка.)
- 18:11, 25 мая 2009 (история) (разн.) МОТП, Билеты (2009) (→Задача восстановления линейной регрессии. Вероятностная поставновка.)
- 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 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 12:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Чередование систем переходов.)
- 11:36, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 09:24, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
- 18:22, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 18:19, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:18, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:17, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 18:13, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 18:12, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 18:10, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 18:07, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Эквивалентные преобразования формул LTL.)
- 17:52, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Основные типы свойств LTL. Цикличность, стабильность, инвариант, гарантия, отклик, приоритет, корреляция.)
- 17:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:29, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 17:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Синтаксис LTL. Семантика выполнимости формул. Сильный и слабый until.)
- 16:43, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Верификация на моделях. История развития верификации программ на моделях. Схема верификации программ на моделях. Классы проверяемых с)
- 16:42, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 16:39, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:33, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Верификация программ на моделях. Процесс верификации программы при помощи её модели. Область применен)
- 16:25, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Статический анализ исходного кода программ. Область применения, плюсы и минусы.)
- 16:20, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Подходы к верификации программ. Доказательство теорем. Область применения, плюсы и минусы.)
- 16:16, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Задача проверки правильности программ. Валидация. Верификация. Системы с повышенными требованиями к надёжности. Реактивные программы)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Подходы к верификации программ. Тестирование и имитационное моделирование. Область применения, плюсы и минусы. Проблема полноты тесто)
- 15:15, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Лекция 1)
- 15:13, 20 мая 2009 (история) (разн.) ВПнМ/Теормин
- 15:09, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 15:01, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 15:01, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 14:56, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Свойства безопасности и живучести. Проверка таких свойств. Примеры свойств.)
- 14:55, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 14:49, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
- 12:54, 20 мая 2009 (история) (разн.) ВПнМ/Теормин
- 12:52, 20 мая 2009 (история) (разн.) ВПнМ (→Информация о курсе)
- 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели. - убрал достато)
- 12:47, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
- 12:41, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:39, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:36, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:35, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:34, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
- 12:32, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:20, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:19, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Параллелизм. Синхронный параллелизм. Рандеву.)
- 12:04, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 11:37, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:23, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
- 11:03, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:50, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:45, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:31, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:29, 20 мая 2009 (история) (разн.) м ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:28, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 10:11, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
- 09:59, 20 мая 2009 (история) (разн.) ВПнМ/Теормин (Новая: == Лекция 1 == '''Валидация''' - исследование и обоснование того, что спецификация ПО и само ПО через реали...)
- 11:14, 6 июня 2008 (история) (разн.) Численные Методы, задачи на лекциях (→Задача 1) (последняя)
(Новейшие | Старейшие) Просмотреть (Более новые 500) (Более старые 500) (20 | 50 | 100 | 250 | 500)