Файл:Verif VP 13.pdf

Материал из Кафедра математической кибернетики
Версия от 22:43, 13 октября 2024; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Verif_VP_13.pdf(размер файла: 130 КБ, MIME-тип: application/pdf)

Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий22:43, 13 октября 2024 (130 КБ)PodymovVV (обсуждение | вклад)опечатка
15:23, 22 сентября 2024 (130 КБ)PodymovVV (обсуждение | вклад)2024-2025, без существенных изменений
23:28, 5 ноября 2023 (130 КБ)PodymovVV (обсуждение | вклад)опечатки
13:53, 21 сентября 2023 (130 КБ)PodymovVV (обсуждение | вклад)2023-2024. теперь тут про справедливость в целом и в ltl
12:32, 16 октября 2022 (141 КБ)PodymovVV (обсуждение | вклад)Изменены шрифты. В частности, теперь всё, что задумывалось полужирным (в формулах), действительно полужирное.
20:23, 3 октября 2022 (197 КБ)PodymovVV (обсуждение | вклад)Поправлено несколько опечаток
14:06, 3 октября 2022 (197 КБ)PodymovVV (обсуждение | вклад)Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: