Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
20:40, 21 февраля 2023 | DAS VP 08.pdf (файл) | 75 КБ | PodymovVV | Исправлены опечатки | 2 | |
20:39, 21 февраля 2023 | DAS VP 07.pdf (файл) | 105 КБ | PodymovVV | Исправлены опечатки | 2 | |
20:39, 21 февраля 2023 | DAS VP 06.pdf (файл) | 208 КБ | PodymovVV | Исправлены опечатки | 2 | |
18:44, 21 февраля 2023 | DAS VP 05.pdf (файл) | 167 КБ | PodymovVV | Исправлена опечатка в протоколе на слайде 13 | 3 | |
15:23, 20 февраля 2023 | Dusp title.png (файл) | 263 КБ | PodymovVV | Для презентации 2023 | 3 | |
15:22, 20 февраля 2023 | DCSA2023.pdf (файл) | 1,18 МБ | PodymovVV | Презентация магистерской программы ДУСП по состоянию на 2023 | 1 | |
14:57, 20 февраля 2023 | DAS VP 04.pdf (файл) | 119 КБ | PodymovVV | Исправлены опечатки | 2 | |
14:56, 20 февраля 2023 | DAS VP 03.pdf (файл) | 180 КБ | PodymovVV | Исправлены опечатки | 2 | |
11:48, 17 февраля 2023 | MMSC VP 04.pdf (файл) | 214 КБ | PodymovVV | Исправлены опечатки | 2 | |
13:05, 9 февраля 2023 | DAS VP 02.pdf (файл) | 151 КБ | PodymovVV | незначительные правки | 2 | |
13:05, 9 февраля 2023 | DAS VP 01.pdf (файл) | 66 КБ | PodymovVV | незначительные правки | 2 | |
10:30, 9 февраля 2023 | MMSC VP 01.pdf (файл) | 87 КБ | PodymovVV | Мат.модели последовательных вычислений, группы 618-1 и 618-2. Блок 1, оргвопросы | 1 | |
20:10, 26 ноября 2022 | Verif VP Prac Uppaal.zip (файл) | 4 КБ | PodymovVV | Методы верификации (618, 621). Доп. материалы к задачам по Uppaal | 1 | |
20:18, 11 мая 2022 | Курсовая работа - титульный лист.doc (файл) | 12 КБ | PodymovVV | Титульный лист курсовой работы 2022 | 1 | |
20:17, 11 мая 2022 | Курсовая работа - требования.pdf (файл) | 28 КБ | PodymovVV | Требования к курсовой работе 2022 | 1 | |
18:05, 14 апреля 2022 | Dsa title.png (файл) | 106 КБ | PodymovVV | 3 | ||
17:58, 14 апреля 2022 | DSA2022.pdf (файл) | 69 КБ | PodymovVV | Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022 | 1 | |
13:25, 4 апреля 2022 | Mathlog 318 seminar natural inference.pdf (файл) | 139 КБ | PodymovVV | Расширил список задач, теперь оно на два семинара. | 6 | |
00:08, 29 октября 2021 | Hdl lecture 16.pdf (файл) | 182 КБ | PodymovVV | Обновил год | 6 | |
00:08, 29 октября 2021 | Hdl lecture 15.pdf (файл) | 353 КБ | PodymovVV | Обновил год | 7 | |
00:07, 29 октября 2021 | Hdl lecture 14.pdf (файл) | 254 КБ | PodymovVV | Обновил год | 7 | |
00:07, 29 октября 2021 | Hdl lecture 13.pdf (файл) | 183 КБ | PodymovVV | Обновил год | 7 | |
00:07, 29 октября 2021 | Hdl lecture 12.pdf (файл) | 573 КБ | PodymovVV | Обновил год | 7 | |
00:07, 29 октября 2021 | Hdl lecture 11.pdf (файл) | 503 КБ | PodymovVV | Обновил год | 10 | |
00:06, 29 октября 2021 | Hdl practice 03.pdf (файл) | 226 КБ | PodymovVV | Обновил год | 3 | |
00:06, 29 октября 2021 | Hdl practice 02.pdf (файл) | 194 КБ | PodymovVV | Обновил год | 3 | |
12:34, 24 сентября 2021 | Hdl practice 01.pdf (файл) | 210 КБ | PodymovVV | Обновлён год на титуле | 3 | |
12:32, 24 сентября 2021 | Hdl lecture 10.pdf (файл) | 185 КБ | PodymovVV | Обновлён год на титуле | 7 | |
12:32, 24 сентября 2021 | Hdl lecture 09.pdf (файл) | 148 КБ | PodymovVV | Обновлён год на титуле | 7 | |
12:32, 24 сентября 2021 | Hdl lecture 08.pdf (файл) | 215 КБ | PodymovVV | Обновлён год на титуле | 9 | |
12:31, 24 сентября 2021 | Hdl lecture 07.pdf (файл) | 141 КБ | PodymovVV | Обновлён год на титуле | 7 | |
12:31, 24 сентября 2021 | Hdl lecture 06.pdf (файл) | 213 КБ | PodymovVV | Обновлён год на титуле | 8 | |
12:31, 24 сентября 2021 | Hdl lecture 05.pdf (файл) | 157 КБ | PodymovVV | Обновлён год на титуле | 6 | |
12:31, 24 сентября 2021 | Hdl lecture 04.pdf (файл) | 221 КБ | PodymovVV | Обновлён год на титуле | 7 | |
12:30, 24 сентября 2021 | Hdl lecture 03.pdf (файл) | 422 КБ | PodymovVV | Обновлён год на титуле | 6 | |
12:30, 24 сентября 2021 | Hdl lecture 02.pdf (файл) | 227 КБ | PodymovVV | Обновлён год на титуле | 6 | |
12:29, 24 сентября 2021 | Hdl lecture 01.pdf (файл) | 214 КБ | PodymovVV | Обновлён год на титуле | 6 | |
20:44, 17 мая 2021 | Requirements-kurs-2021.zip (файл) | 29 КБ | PodymovVV | 1 | ||
17:14, 22 апреля 2021 | Mllp 318 seminar definability.pdf (файл) | 145 КБ | PodymovVV | пара новых пунктов, слегка поправленная стилистика | 4 | |
10:51, 21 апреля 2021 | К предзащите 618-2 2021.pdf (файл) | 95 КБ | PodymovVV | 1 | ||
10:51, 21 апреля 2021 | К предзащите 418 2021.pdf (файл) | 92 КБ | PodymovVV | 1 | ||
11:01, 17 декабря 2020 | Hdl lecture aux 05.pdf (файл) | 312 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 | |
11:01, 17 декабря 2020 | Hdl lecture aux 04.pdf (файл) | 225 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 | |
11:00, 17 декабря 2020 | Hdl lecture aux 03.pdf (файл) | 125 КБ | PodymovVV | 2020. суть та же, форма немного другая | 2 | |
11:00, 17 декабря 2020 | Hdl lecture aux 02.pdf (файл) | 295 КБ | PodymovVV | поправлена одна незначительная опечатка | 3 | |
18:50, 9 декабря 2020 | Hdl lecture aux 01.pdf (файл) | 252 КБ | PodymovVV | 3 | ||
22:11, 1 декабря 2020 | Seminar Verification 10 eng.pdf (файл) | 521 КБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара по UPPAAL | 1 | |
14:45, 1 декабря 2020 | Lecture Verification 10 eng.pdf (файл) | 370 КБ | PodymovVV | курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов | 1 | |
20:24, 24 ноября 2020 | Lecture Verification 9 eng.pdf (файл) | 398 КБ | PodymovVV | курс методов верификации, 2020. лекция про временные автоматы и tctl | 1 | |
14:21, 16 ноября 2020 | Hdl practice 06.pdf (файл) | 206 КБ | PodymovVV | 2020. косметические правки | 2 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |