Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
- 16:17, 24 мая 2009 (история) (разн.) Определения из теории вероятностей (→Вероятность)
- 16:16, 24 мая 2009 (история) (разн.) Определения из теории вероятностей (→Вероятность)
- 16:15, 24 мая 2009 (история) (разн.) Определения из теории вероятностей (→Вероятность)
- 16:12, 24 мая 2009 (история) (разн.) Определения из теории вероятностей (→<math>\sigma</math>-алгебра)
- 14:53, 24 мая 2009 (история) (разн.) Определения из теории вероятностей (→Случайный эксперимент)
- 14:00, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Выразительная мощность LTL. Логики LTL + существование, CTL* и CTL. Сравнение выразительной мощности.)
- 13:34, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Логика LTL. Оператор neXt. Свойства, инвариантные к прореживанию.)
- 09:27, 21 мая 2009 (история) (разн.) ВПнМ/Теормин (→Автоматы Бюхи. Омега-допускание. Расширение автоматов Бюхи.)
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)