Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
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 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |