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

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

Вклад Treller (Обсуждение | Журнал блокировок | Журналы)

Перейти к: навигация, поиск

Поиск вклада Показать только вклад, сделанный с новых учётных записей
IP-адрес или имя участника: Пространство имён:

За месяц (и ранее): За год (и ранее):

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

10:09, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
10:06, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
10:05, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
09:51, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
09:48, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
09:43, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
09:43, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
09:42, 22 сентября 2009 (история) (разн.) История математики, 01 лекция (от 04 сентября 2008 года)‎
13:05, 2 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Задача 4 (двоичный семафор через TSL/прерывания))
13:04, 2 июня 2009 (история) (разн.) Изображение:Tsl.png‎ (загружена новая версия «Изображение:Tsl.png») (последняя)
13:04, 2 июня 2009 (история) (разн.) Изображение:Tsl.png‎ (загружена новая версия «Изображение:Tsl.png»)
13:03, 2 июня 2009 (история) (разн.) Изображение:Tsl.png‎ (загружена новая версия «Изображение:Tsl.png»)
13:03, 2 июня 2009 (история) (разн.) Изображение:Tsl.png‎ (загружена новая версия «Изображение:Tsl.png»)
12:50, 2 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Задача 4 (двоичный семафор через TSL/прерывания))
12:47, 2 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Задача 4 (двоичный семафор через TSL/прерывания))
12:47, 2 июня 2009 (история) (разн.) Изображение:Tsl.png‎ (Двоичный семафор с использованием TSL)
12:22, 2 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Задача 3 (события через двоичный семафор))
12:36, 1 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Тема 2)
12:21, 1 июня 2009 (история) (разн.) РОС, ответы на задачи‎
12:01, 1 июня 2009 (история) (разн.) РОС, ответы на задачи‎ (→Тема 2)
16:12, 28 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Понятие полноты моделей алгоритмов и семейств корректирующих операций.)
06:32, 28 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→ЕМ-алгоритм для задачи разделения гауссовской смеси.)
13:37, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Логистическая регрессия. Вероятностная постановка.)
11:21, 27 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Разрешимость и регулярность задач распознавания. Регулярность по Ю.И. Журавлёву)
13:41, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Тесты, представительные наборы, проблемы перебора.)
12:48, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Функционалы качества. Сложность моделей алгоритмов и проблема переобучения.)
12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
12:14, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
11:18, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
11:07, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
11:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
10:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
13:32, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Язык Promela. Механизмы взаимодействия процессов в языке Promela. Глобальные переменные, каналы сообщений, явная синхронизация.)
13:09, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Язык Promela. Основные компоненты модели на языке Promela. Процессы, локальные и глобальные объекты данных, каналы сообщений.)
12:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Система Spin. Процесс моделирования и верификации при помощи системы Spin. Конечность моделей на Promela. Асинхронное выполнение моделей. Нед)
12:35, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Верификация при помощи Spin. Принцип верификации нарушения свойств. Контрпримеры. Процесс верификации при помощи Spin. Использование LTL в S)
12:16, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
12:15, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
11:59, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Циклы бездействия. Ограничения справедливости.)
10:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция графов программ. Отношение слабой симуляции.)
10:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
10:10, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
08:54, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
08:48, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
08:33, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Вычисления)
06:41, 24 июня 2008 (история) (разн.) Основы кибернетики, Теормин‎ (/* Тождество обобщенного склеивания и определение нерасширяемой <span title="дизъюнктивная нормальная форма" style="text-decoration:none; border-bottom:1px dotted #C0C)
04:58, 30 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 3‎ (→Выберите правильные утверждения)
11:27, 29 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 2‎ (→Какие цели преследовало создание стандарта SONET/SDH?)
10:18, 29 мая 2008 (история) (разн.) Компьютерные Сети, вопросы/Глава 2‎ (→Высокоскоростной ISDN основан на ________ .)