Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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: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)
- 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: общая схема)
- 13:48, 3 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Поправлена опечатка (в какой-то момент пропала формулировка теоремы))
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 21.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации)
- 07:57, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 20.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 20. Композиция подстановок. Задача унификации (постановка))
- 07:56, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 19.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 18.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 18. ССФ)
- 07:55, 3 октября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 17.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 17. ПНФ)
- 18:55, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 18:54, 1 октября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- 12:17, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Исправлено несколько опечаток)
- 12:11, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Исправлено несколько опечаток)
- 12:05, 29 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Исправлено несколько опечаток)
- 18:55, 26 сентября 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (Исправлено несколько опечаток в доказательстве)
- 14:12, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP sem02.pdf» (Методы верификации (618, 621). Семинар 2. Модели Крипке, LTL, безопасность и живость, справедливость.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 10.pdf» (Методы верификации (618, 621). Блок 10. Размеченные системы переходов. Справедливость в целом и в LTL.)
- 14:09, 26 сентября 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 09.pdf» (Методы верификации (618, 621). Блок 9. LTL - синтаксис, семантика, постановка задачи верификации)