Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 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 | |
| 20:31, 3 ноября 2025 | MLLP VP 44.pdf (файл) | |
168 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 4 |
| 20:30, 3 ноября 2025 | MLLP VP 43.pdf (файл) | |
138 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:30, 3 ноября 2025 | MLLP VP 42.pdf (файл) | |
200 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:30, 3 ноября 2025 | MLLP VP 41.pdf (файл) | |
148 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 5 |
| 20:23, 3 ноября 2025 | Verif VP 30.pdf (файл) | |
124 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 6 |
| 20:23, 3 ноября 2025 | Verif VP 29.pdf (файл) | |
162 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 8 |
| 20:23, 3 ноября 2025 | Verif VP 28.pdf (файл) | |
130 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 8 |
| 19:15, 1 ноября 2025 | Verif VP 26.pdf (файл) | |
155 КБ | PodymovVV | опечатки, и перемешал порядок изложения | 7 |
| 19:14, 1 ноября 2025 | Verif VP 25.pdf (файл) | |
140 КБ | PodymovVV | опечатки | 9 |
| 21:55, 31 октября 2025 | Verif VP Prac Nusmv.pdf (файл) | |
1,46 МБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 00:11, 29 октября 2025 | Курс ОК-25-2 311-319.pdf (файл) | |
155 КБ | DanilovB | 4 | |
| 14:34, 28 октября 2025 | MLLP VP 38.pdf (файл) | |
169 КБ | PodymovVV | 2025/2026, без существенных изменений с поправкой на сдвиг нумерации | 6 |
| 14:26, 28 октября 2025 | MLLP VP 20.pdf (файл) | |
272 КБ | PodymovVV | небольшая опечатка | 6 |
| 14:23, 28 октября 2025 | Verif VP 27.pdf (файл) | |
144 КБ | PodymovVV | 2025/2026, вырезал bdd, нумерация уменьшилась на 1 | 5 |
| 15:23, 27 октября 2025 | Verif VP Review Nusmv.pdf (файл) | |
474 КБ | PodymovVV | опечатки | 7 |
| 15:21, 27 октября 2025 | HDL VP 31.pdf (файл) | |
146 КБ | PodymovVV | опечатки | 5 |
| 15:20, 27 октября 2025 | HDL VP 30.pdf (файл) | |
122 КБ | PodymovVV | опечатки | 5 |
| 00:56, 27 октября 2025 | MLLP VP 37.pdf (файл) | |
193 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 00:56, 27 октября 2025 | MLLP VP 36.pdf (файл) | |
185 КБ | PodymovVV | 2025/2026, без существенных изменений | 4 |
| 00:56, 27 октября 2025 | MLLP VP 35.pdf (файл) | |
93 КБ | PodymovVV | 2025/2026, без существенных изменений | 6 |
| 00:56, 27 октября 2025 | MLLP VP 34.pdf (файл) | |
178 КБ | PodymovVV | 2025/2026, без существенных изменений | 5 |
| 23:37, 26 октября 2025 | Logic synthesis BDD SAT.pdf (файл) | |
1,65 МБ | ShupletsovMS | 1 | |
| 23:17, 26 октября 2025 | Verif VP 24.pdf (файл) | |
192 КБ | PodymovVV | опечатки | 7 |
| 23:13, 26 октября 2025 | Verif VP 22.pdf (файл) | |
172 КБ | PodymovVV | опечатки | 7 |
| 23:00, 26 октября 2025 | HDL VP R07.pdf (файл) | |
171 КБ | PodymovVV | 2025/2026, без существенных изменений | 2 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
