Все доступные журналы

Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).

Журналы

Все доступные журналы Журнал блокировок Журнал загрузок Журнал защиты Журнал импорта Журнал объединений Журнал патрулирования Журнал переименований Журнал прав участника Журнал регистрации участников Журнал удалений Исполнитель:  Цель (название или участник):   Найти заголовки, начинающиеся с данных символов

С года (и ранее): С месяца (и ранее): все январь февраль март апрель май июнь июль август сентябрь октябрь ноябрь декабрь

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

• 15:30, 3 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
• 15:26, 3 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
• 11:42, 1 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (подрихтовал)
• 11:42, 1 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
• 12:54, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2025/2026, без существенных изменений)
• 12:54, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 12:18, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (опечатки)
• 11:59, 27 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
• 17:30, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2025/2026, теперь тут алгоритм проверки моделей для логики ветвящегося времени)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2025/2026, теперь тут темпоральные логики)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2025/2026, теперь тут модели крипке)
• 17:29, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2025/2026, теперь тут начало рассказа о проверке моделей)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2025/2026, теперь тут логика хоара)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2025/2026, теперь тут модельные императивные программы)
• 17:28, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2025/2026, теперь тут начало про формальную верификацию)
• 17:25, 23 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2025/2026, без существенных изменений)
• 14:16, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2025/2026, без существенных изменений)
• 12:09, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (2025/2026, без существенных изменений (с поправкой на сдвиг нумерации))
• 12:09, 13 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (2025/2026, без существенных изменений (с поправкой на сдвиг нумерации))
• 20:22, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (опечатки)
• 20:22, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (опечатки)
• 20:16, 10 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP R06.pdf» (опечатки)
• 20:31, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 44.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:30, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 20:23, 3 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 19:15, 1 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (опечатки, и перемешал порядок изложения)
• 19:14, 1 ноября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (опечатки)
• 21:55, 31 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» (2025/2026, без существенных изменений)
• 14:34, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 14:34, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
• 14:26, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (небольшая опечатка)
• 14:23, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 14:23, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 14:22, 28 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2025/2026, вырезал bdd, нумерация уменьшилась на 1)
• 15:26, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (поспешил)
• 15:26, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (поспешил)
• 15:25, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2025/2026, без существенных изменений)
• 15:25, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2025/2026, без существенных изменений)
• 15:23, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (опечатки)
• 15:21, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 31.pdf» (опечатки)
• 15:20, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 30.pdf» (опечатки)
• 00:56, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 37.pdf» (2025/2026, без существенных изменений)
• 00:56, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 36.pdf» (2025/2026, без существенных изменений)
• 00:56, 27 октября 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» (2025/2026, без существенных изменений)

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