Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 19:32, 10 февраля 2026 | DA VP 01.pdf (файл) |  |
70 КБ | PodymovVV | поправил одну небольшую неточность | 5 |
| 14:49, 10 февраля 2026 | Mathlog 318 b3.pdf (файл) | |
325 КБ | PodymovVV | Слегка исправил несколько слов | 11 |
| 14:35, 10 февраля 2026 | Mathlog 318 b6.pdf (файл) | |
229 КБ | PodymovVV | Опечатка на титуле, забыл обновить год | 10 |
| 14:35, 10 февраля 2026 | Mathlog 318 b5.pdf (файл) | |
101 КБ | PodymovVV | Опечатка на титуле, забыл обновить год | 9 |
| 14:34, 10 февраля 2026 | Mathlog 318 b4.pdf (файл) | |
190 КБ | PodymovVV | Опечатка на титуле, забыл обновить год | 7 |
| 14:34, 10 февраля 2026 | Mathlog 318 b2.pdf (файл) | |
182 КБ | PodymovVV | Опечатка на титуле, забыл обновить год | 8 |
| 14:34, 10 февраля 2026 | Mathlog 318 b1.pdf (файл) | |
188 КБ | PodymovVV | Опечатка на титуле, забыл обновить год | 7 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
