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

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

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

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

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

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

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

14:56, 24 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→<math>\sigma</math>-алгебра)
11:43, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Распределение вероятностей)
11:41, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Замечания)
11:39, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Случайная величина)
11:37, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Случайная величина)
11:37, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Случайный эксперимент)
11:37, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Замечания)
11:36, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Замечания)
11:35, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Вероятность)
11:34, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (→Вероятность)
11:32, 23 мая 2009 (история) (разн.) МОТП‎ (→МОТП)
11:32, 23 мая 2009 (история) (разн.) МОТП‎ (→Литература)
11:31, 23 мая 2009 (история) (разн.) МОТП‎ (→Литература)
11:31, 23 мая 2009 (история) (разн.) МОТП‎ (→МОТП)
11:29, 23 мая 2009 (история) (разн.) Определения из теории вероятностей‎ (Новая: = Случайный эксперимент = это матетатическая модель соответствующего реального эксперимента, резуль...)
11:20, 23 мая 2009 (история) (разн.) МОТП‎ (Новая: = МОТП = Математические основы теории прогнозирования Определения из теории вероятностей)
11:12, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
11:06, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
11:02, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
11:02, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
11:01, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
10:45, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Проверка выполнимости формул LTL при помощи автоматов Бюхи. Проверка LTL-формул в Spin.)
10:42, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Логика LTL. Проверка выполнимости формул LTL при помощи автоматов Бюхи. Проверка LTL-формул в Spin.)
07:15, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция системы переходов. Достаточное условие корректности LTS модели. Адекватность LTS модели.)
07:03, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция трасс. Абстракция системы переходов. Необходимое и достаточное условие корректности LTS модели.)
06:28, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
06:27, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
06:25, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Синхронный параллелизм. Рандеву.)
06:14, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:13, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:13, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:11, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:11, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:10, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:09, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
06:04, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
06:03, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
05:58, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Параллелизм. Чередование систем переходов.)
05:19, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Моделирование программ. Размеченные системы переходов. Детерминизм и недетерминизм. Вычисления и трассы. Свойства линейного времени.)
19:44, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
19:39, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
19:38, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:38, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:37, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:34, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:31, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:17, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:10, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:09, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)
19:07, 20 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Автоматы Бюхи. Конечные автоматы. Проход автомата. Язык автомата.)