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