Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 19:30, 9 февраля 2026 | Dm1-seminars.pdf (файл) |  |
37 КБ | SeleznevaSN | 3 | |
| 18:36, 7 февраля 2026 | DA VP 07.pdf (файл) | |
100 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 18:36, 7 февраля 2026 | DA VP 06.pdf (файл) | |
170 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 18:36, 7 февраля 2026 | DA VP 05.pdf (файл) | |
121 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 18:36, 7 февраля 2026 | DA VP 04.pdf (файл) | |
180 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 18:36, 7 февраля 2026 | DA VP 03.pdf (файл) | |
97 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 18:36, 7 февраля 2026 | DA VP 02.pdf (файл) | |
166 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 18:36, 7 февраля 2026 | DA VP 01.pdf (файл) | |
70 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 18:32, 7 февраля 2026 | Mathlog 318 b6.pdf (файл) | |
229 КБ | PodymovVV | 2025/2026, без существенных изменений | 9 |
| 18:32, 7 февраля 2026 | Mathlog 318 b5.pdf (файл) | |
101 КБ | PodymovVV | 2025/2026, без существенных изменений | 8 |
| 18:31, 7 февраля 2026 | Mathlog 318 b4.pdf (файл) | |
190 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 18:31, 7 февраля 2026 | Mathlog 318 b3.pdf (файл) | |
325 КБ | PodymovVV | 2025/2026, без существенных изменений | 9 |
| 18:31, 7 февраля 2026 | Mathlog 318 b2.pdf (файл) | |
182 КБ | PodymovVV | 2025/2026, без существенных изменений | 7 |
| 18:31, 7 февраля 2026 | Mathlog 318 b1.pdf (файл) | |
188 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 16:53, 7 февраля 2026 | Lecture 12.pdf (файл) | |
357 КБ | SavitskiyIV | 3 | |
| 16:46, 7 февраля 2026 | Lecture 11.pdf (файл) | |
382 КБ | SavitskiyIV | 8 | |
| 16:37, 7 февраля 2026 | Lecture 10.pdf (файл) | |
380 КБ | SavitskiyIV | 4 | |
| 16:31, 7 февраля 2026 | Lecture 9.pdf (файл) | |
361 КБ | SavitskiyIV | 7 | |
| 16:26, 7 февраля 2026 | Lecture 8.pdf (файл) | |
309 КБ | SavitskiyIV | 5 | |
| 16:22, 7 февраля 2026 | Lecture 7.pdf (файл) | |
440 КБ | SavitskiyIV | 7 | |
| 16:12, 7 февраля 2026 | Lecture 5.pdf (файл) | |
313 КБ | SavitskiyIV | 2 | |
| 16:11, 7 февраля 2026 | Lecture 4.pdf (файл) | |
359 КБ | SavitskiyIV | 2 | |
| 16:11, 7 февраля 2026 | Lecture 3.pdf (файл) | |
423 КБ | SavitskiyIV | 2 | |
| 16:09, 7 февраля 2026 | Lecture CM 2.pdf (файл) | |
473 КБ | SavitskiyIV | 2 | |
| 15:07, 7 февраля 2026 | Seminar 4.pdf (файл) | |
190 КБ | SavitskiyIV | 2 | |
| 11:22, 13 декабря 2025 | Verif VP 36.pdf (файл) | |
158 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на нумерацию) | 3 |
| 11:22, 13 декабря 2025 | Verif VP 35.pdf (файл) | |
153 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на нумерацию) | 4 |
| 00:04, 12 декабря 2025 | Планы семинаров ДГДМиК.pdf (файл) | |
409 КБ | SavitskiyIV | 2 | |
| 00:03, 12 декабря 2025 | Программа ДГДМиК.pdf (файл) | |
451 КБ | SavitskiyIV | 2 | |
| 20:18, 11 декабря 2025 | Функциональные системы лекции.pdf (файл) | |
1,5 МБ | SavitskiyIV | 9 | |
| 13:42, 6 декабря 2025 | ДМ 2h Презентация.pdf (файл) | |
2,31 МБ | SavitskiyIV | 9 | |
| 15:30, 3 декабря 2025 | MLLP VP 52.pdf (файл) | |
170 КБ | PodymovVV | опечатка | 8 |
| 15:26, 3 декабря 2025 | Verif VP 34.pdf (файл) | |
247 КБ | PodymovVV | опечатки | 5 |
| 11:42, 1 декабря 2025 | MLLP VP 53.pdf (файл) | |
203 КБ | PodymovVV | подрихтовал | 9 |
| 12:54, 27 ноября 2025 | Verif VP Prac Uppaal.pdf (файл) | |
458 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 12:18, 27 ноября 2025 | Verif VP 31.pdf (файл) | |
162 КБ | PodymovVV | опечатки | 6 |
| 12:39, 24 ноября 2025 | Specsem20251124.pdf (файл) | |
165 КБ | RomanovDS | 1 | |
| 17:29, 23 ноября 2025 | MLLP VP 51.pdf (файл) | |
180 КБ | PodymovVV | 2025/2026, теперь тут модели крипке | 4 |
| 17:29, 23 ноября 2025 | MLLP VP 50.pdf (файл) | |
130 КБ | PodymovVV | 2025/2026, теперь тут начало рассказа о проверке моделей | 4 |
| 17:28, 23 ноября 2025 | MLLP VP 49.pdf (файл) | |
258 КБ | PodymovVV | 2025/2026, теперь тут логика хоара | 6 |
| 17:28, 23 ноября 2025 | MLLP VP 48.pdf (файл) | |
195 КБ | PodymovVV | 2025/2026, теперь тут модельные императивные программы | 4 |
| 17:28, 23 ноября 2025 | MLLP VP 47.pdf (файл) | |
124 КБ | PodymovVV | 2025/2026, теперь тут начало про формальную верификацию | 6 |
| 17:25, 23 ноября 2025 | Verif VP 33.pdf (файл) | |
247 КБ | PodymovVV | 2025/2026, без существенных изменений | 3 |
| 14:16, 13 ноября 2025 | Verif VP 32.pdf (файл) | |
159 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 12:09, 13 ноября 2025 | MLLP VP 46.pdf (файл) | |
159 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на сдвиг нумерации) | 6 |
| 12:09, 13 ноября 2025 | MLLP VP 45.pdf (файл) | |
166 КБ | PodymovVV | 2025/2026, без существенных изменений (с поправкой на сдвиг нумерации) | 5 |
| 20:22, 10 ноября 2025 | MLLP VP 40.pdf (файл) | |
135 КБ | PodymovVV | опечатки | 7 |
| 20:22, 10 ноября 2025 | MLLP VP 39.pdf (файл) | |
161 КБ | PodymovVV | опечатки | 6 |
| 20:16, 10 ноября 2025 | HDL VP R06.pdf (файл) | |
198 КБ | PodymovVV | опечатки | 5 |
| 21:02, 9 ноября 2025 | Specsem20251110.pdf (файл) | |
755 КБ | DanilovB | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
