Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата |  Имя файла |
Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 14:15, 23 марта 2023 | Требования к МД 618.pdf (файл) |  |
72 КБ | PodymovVV | 2023 | 2 |
| 14:15, 23 марта 2023 | Требования к ВКР 418.pdf (файл) | |
72 КБ | PodymovVV | 2023 | 2 |
| 18:48, 14 октября 2020 | Постер кафедры (миниатюра).png (файл) | .png) |
707 КБ | PodymovVV | Осень 2020 | 1 |
| 17:57, 14 октября 2020 | Постер кафедры.png (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
3,13 МБ | PodymovVV | 1 | |
| 17:28, 14 октября 2020 | Постер кафедры.pdf (файл) | |
1,72 МБ | PodymovVV | 1 | |
| 17:59, 14 октября 2020 | Постер кафедры.jpg (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
2,05 МБ | PodymovVV | Осень 2020 | 1 |
| 23:59, 9 декабря 2015 | Мофп подловченко вопросы 2015.docx (файл) |  |
12 КБ | PodymovVV | Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г. | 1 |
| 20:17, 11 мая 2022 | Курсовая работа - требования.pdf (файл) | |
28 КБ | PodymovVV | Требования к курсовой работе 2022 | 1 |
| 20:18, 11 мая 2022 | Курсовая работа - титульный лист.doc (файл) | |
12 КБ | PodymovVV | Титульный лист курсовой работы 2022 | 1 |
| 10:51, 21 апреля 2021 | К предзащите 618-2 2021.pdf (файл) | |
95 КБ | PodymovVV | 1 | |
| 10:51, 21 апреля 2021 | К предзащите 418 2021.pdf (файл) | |
92 КБ | PodymovVV | 1 | |
| 19:09, 14 октября 2020 | Выставка кафедр Информационный лист (миниатюра).png (файл) | .png) |
331 КБ | PodymovVV | Осень 2020 | 1 |
| 16:38, 5 октября 2023 | Выставка кафедр Информационный лист.pdf (файл) | |
1,16 МБ | PodymovVV | больше qr-кодов! | 6 |
| 19:10, 14 октября 2020 | Выставка кафедр Задачки (миниатюра).png (файл) | .png) |
180 КБ | PodymovVV | Осень 2020 | 1 |
| 17:51, 14 октября 2020 | Выставка кафедр Задачки.pdf (файл) | |
263 КБ | PodymovVV | Осень 2020 | 1 |
| 19:50, 13 ноября 2023 | Verif VP sem03.pdf (файл) | |
117 КБ | PodymovVV | опечатки | 3 |
| 14:10, 21 сентября 2023 | Verif VP sem02.pdf (файл) | |
165 КБ | PodymovVV | 2023-2024. ничего нового | 3 |
| 17:38, 10 сентября 2023 | Verif VP sem01.pdf (файл) | |
161 КБ | PodymovVV | 2023-2024. Без существенных изменений | 4 |
| 11:01, 22 января 2024 | Verif VP all.pdf (файл) | |
7,15 МБ | PodymovVV | 2023-2024 | 2 |
| 22:27, 8 октября 2023 | Verif VP Review Spin.pdf (файл) | |
628 КБ | PodymovVV | 2023-2024. без особых изменений | 5 |
| 19:18, 24 ноября 2023 | Verif VP Review Nusmv.pdf (файл) | |
427 КБ | PodymovVV | опечатки | 4 |
| 20:10, 26 ноября 2022 | Verif VP Prac Uppaal.zip (файл) | |
4 КБ | PodymovVV | Методы верификации (618, 621). Доп. материалы к задачам по Uppaal | 1 |
| 10:34, 4 декабря 2023 | Verif VP Prac Uppaal.pdf (файл) | |
457 КБ | PodymovVV | 2023-2024, без существенных изменений | 3 |
| 22:27, 8 октября 2023 | Verif VP Prac Spin.pdf (файл) | |
155 КБ | PodymovVV | 2023-2024. без особых изменений | 4 |
| 15:00, 19 ноября 2023 | Verif VP Prac Nusmv.pdf (файл) | |
1,46 МБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 16:26, 12 декабря 2023 | Verif VP 40.pdf (файл) | |
158 КБ | PodymovVV | опечатки | 2 |
| 10:03, 11 декабря 2023 | Verif VP 39.pdf (файл) | |
128 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 39. sat | 1 |
| 16:26, 12 декабря 2023 | Verif VP 38.pdf (файл) | |
166 КБ | PodymovVV | опечатки | 2 |
| 10:01, 11 декабря 2023 | Verif VP 37.pdf (файл) | |
157 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 37. абстракция и редукция | 1 |
| 10:01, 11 декабря 2023 | Verif VP 36.pdf (файл) | |
153 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 36. алгоритм проверки бисимул экв | 1 |
| 10:00, 11 декабря 2023 | Verif VP 35.pdf (файл) | |
247 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 35. симуляция и бисимуляция | 1 |
| 09:59, 11 декабря 2023 | Verif VP 34.pdf (файл) | |
248 КБ | PodymovVV | методы верификации программ, 2023-2024. блок 34. алгоритм для тиситиэль, системы регионов | 1 |
| 12:30, 3 декабря 2023 | Verif VP 33.pdf (файл) | |
158 КБ | PodymovVV | Методы верификации программ, 2023-2024. Сети временных автоматов | 1 |
| 12:29, 3 декабря 2023 | Verif VP 32.pdf (файл) | |
163 КБ | PodymovVV | 2023-2024. Теперь тут TCTL | 3 |
| 17:25, 26 ноября 2023 | Verif VP 31.pdf (файл) | |
124 КБ | PodymovVV | 2023-2024. теперь здесь про неправдоподобные вычисления временных автоматов | 3 |
| 17:25, 26 ноября 2023 | Verif VP 30.pdf (файл) | |
161 КБ | PodymovVV | 2023-2024. теперь здесь про срв и временные автоматы | 3 |
| 11:30, 28 ноября 2023 | Verif VP 29.pdf (файл) | |
131 КБ | PodymovVV | опечатки | 4 |
| 11:30, 28 ноября 2023 | Verif VP 28.pdf (файл) | |
146 КБ | PodymovVV | опечатки | 3 |
| 17:33, 29 октября 2023 | Verif VP 27.pdf (файл) | |
156 КБ | PodymovVV | 2023-2024. теперь тут про преобразователи предикатов и неподвижные точки | 2 |
| 17:33, 29 октября 2023 | Verif VP 26.pdf (файл) | |
142 КБ | PodymovVV | 2023-2024. теперь тут начало символьного алгоритма модел чекин для цтл | 2 |
| 19:59, 1 ноября 2023 | Verif VP 25.pdf (файл) | |
256 КБ | PodymovVV | опечатки | 4 |
| 12:54, 23 октября 2023 | Verif VP 24.pdf (файл) | |
194 КБ | PodymovVV | опечатки | 3 |
| 18:37, 21 октября 2023 | Verif VP 23.pdf (файл) | |
113 КБ | PodymovVV | 2023-2024. теперь тут про справедливость в ctl | 2 |
| 12:54, 23 октября 2023 | Verif VP 22.pdf (файл) | |
173 КБ | PodymovVV | опечатки | 3 |
| 12:53, 23 октября 2023 | Verif VP 21.pdf (файл) | |
152 КБ | PodymovVV | опечатки | 4 |
| 10:25, 2 октября 2023 | Verif VP 20.pdf (файл) | |
70 КБ | PodymovVV | 2023-2024. теперь уточненная схема автоматного алгоритма для лтл | 3 |
| 15:46, 11 октября 2023 | Verif VP 19.pdf (файл) | |
136 КБ | PodymovVV | опечатки | 4 |
| 10:24, 2 октября 2023 | Verif VP 18.pdf (файл) | |
115 КБ | PodymovVV | 2023-2024. теперь автоматы бюхи для моделей крипке | 3 |
| 10:24, 2 октября 2023 | Verif VP 17.pdf (файл) | |
114 КБ | PodymovVV | 2023-2024. теперь проверка пустоты автоматов бюхи | 3 |
| 10:23, 2 октября 2023 | Verif VP 16.pdf (файл) | |
130 КБ | PodymovVV | 2023-2024. теперь пересечение автоматов бюхи | 3 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
