Журнал загрузок
Ниже представлен список последних загрузок файлов. См. также галерею новых файлов, где сведения о новых загрузках представлены в более наглядном виде.
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 18:12, 14 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221017.pdf»
- 11:43, 14 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (И ещё опечатка)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:31, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:30, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:29, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:28, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:27, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 14:26, 13 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (Обновлены шрифты, в т.ч. теперь константы и функциональные символы нормально выделены полужирным)
- 20:25, 12 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-14.pdf»
- 20:43, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (Поправлено несколько опечаток)
- 20:29, 10 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (Поправлено несколько опечаток)
- 21:12, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 25.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 25. Теорема Эрбрана. Полнота резолютивного вывода)
- 21:08, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 24.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 24. Эрбрановские интерпретации. Теорема об эрбр. инт.)
- 21:07, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 23.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 23. Обоснование общезначимости формулы методом резолюций (пример))
- 21:06, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 22.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 22. Резолютивный вывод и его корректность)
- 20:52, 9 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (Исправлена опечатка в нумерации упражнений)
- 20:49, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Prac Spin.pdf» (Методы верификации (618, 621). Задачи по Spin)
- 20:47, 9 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP Review Spin.pdf» (Методы верификации (618, 621). Блок О1. Обзор Spin)
- 22:07, 8 октября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 221008.pdf»
- 21:43, 8 октября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specem 221008.pdf»
- 21:30, 8 октября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specem 221008.pdf»
- 16:05, 5 октября 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-10-07.pdf»
- 20:27, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Пересечение -> синхронная композиция)
- 20:25, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Добавлено важное уточнение про конечность модели)
- 20:23, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Поправлено несколько опечаток)
- 20:19, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Исправлено несколько опечаток)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 15.pdf» (Методы верификации (618, 621). Блок 15. Автоматный алгоритм model checking для LTL: уточнённая схема)
- 14:07, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 14.pdf» (Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул)
- 14:06, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 13.pdf» (Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 12.pdf» (Методы верификации (618, 621). Блок 12. Автоматы Бюхи, обычные и обобщённые)
- 14:05, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 11.pdf» (Методы верификации (618, 621). Блок 11. Автоматный алгоритм model checking для LTL: общая схема)
