Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 07.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 06.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 05.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 04.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 03.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 02.pdf» (2025/2026, без существенных изменений)
- 18:36, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 01.pdf» (2025/2026, без существенных изменений)
- 18:32, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b6.pdf» (2025/2026, без существенных изменений)
- 18:32, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b5.pdf» (2025/2026, без существенных изменений)
- 18:31, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b4.pdf» (2025/2026, без существенных изменений)
- 18:31, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b3.pdf» (2025/2026, без существенных изменений)
- 18:31, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b2.pdf» (2025/2026, без существенных изменений)
- 18:31, 7 февраля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b1.pdf» (2025/2026, без существенных изменений)
- 16:53, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 12.pdf»
- 16:46, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 11.pdf»
- 16:37, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 10.pdf»
- 16:31, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 9.pdf»
- 16:26, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 8.pdf»
- 16:22, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 7.pdf»
- 16:12, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 5.pdf»
- 16:11, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 4.pdf»
- 16:11, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture 3.pdf»
- 16:09, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Lecture CM 2.pdf»
- 15:07, 7 февраля 2026 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Seminar 4.pdf»
- 15:46, 6 февраля 2026 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm1-seminars.pdf»
- 11:22, 13 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
- 11:22, 13 декабря 2025 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
- 00:04, 12 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Планы семинаров ДГДМиК.pdf»
- 00:03, 12 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМиК.pdf»
- 20:18, 11 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
- 20:15, 11 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
- 13:42, 6 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
- 13:06, 4 декабря 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
- 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» (опечатки)
- 10:18, 27 ноября 2025 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
- 12:39, 24 ноября 2025 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20251124.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, теперь тут начало про формальную верификацию)
