Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 17:57, 14 октября 2020 | Постер кафедры.png (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
3,13 МБ | PodymovVV | 1 | |
| 17:51, 14 октября 2020 | Выставка кафедр Задачки.pdf (файл) |  |
263 КБ | PodymovVV | Осень 2020 | 1 |
| 17:28, 14 октября 2020 | Постер кафедры.pdf (файл) | |
1,72 МБ | PodymovVV | 1 | |
| 20:33, 10 октября 2020 | Lecture pbscpp 6 2020.pdf (файл) | |
305 КБ | KonovodovV | 1 | |
| 01:42, 8 октября 2020 | Specem 201008.pdf (файл) | |
640 КБ | DanilovB | 1 | |
| 21:14, 6 октября 2020 | Lecture pbscpp 5 2020.pdf (файл) | |
829 КБ | KonovodovV | 1 | |
| 17:37, 6 октября 2020 | Seminar Verification 3 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский | 1 |
| 12:57, 27 сентября 2020 | Lecture Verification 4 eng.pdf (файл) | |
770 КБ | ZakharovVA | 1 | |
| 12:53, 27 сентября 2020 | Lecture Verification 3 eng.pdf (файл) | |
1,54 МБ | ZakharovVA | 1 | |
| 22:21, 26 сентября 2020 | Lecture pbscpp 4 2020.pdf (файл) | |
301 КБ | KonovodovV | 2 | |
| 15:59, 22 сентября 2020 | Seminar Verification 2 eng.pdf (файл) | |
224 КБ | PodymovVV | Английский перевод версии 2019 года (то же без "eng") с косметическими правками | 1 |
| 12:09, 19 сентября 2020 | Lecture pbscpp 3 2020.pdf (файл) | |
268 КБ | KonovodovV | 1 | |
| 10:35, 12 сентября 2020 | Lecture pbscpp 2 2020.pdf (файл) | |
268 КБ | KonovodovV | 1 | |
| 17:05, 11 сентября 2020 | Dm2v3.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 9 |
| 17:05, 11 сентября 2020 | Dm2v2.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 07:47, 4 июля 2020 | 8 |
| 17:04, 11 сентября 2020 | Dm2v1.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 07:48, 4 июля 2020 | 8 |
| 23:44, 8 сентября 2020 | Seminar Verification 1 eng.pdf (файл) | |
208 КБ | PodymovVV | курс методов верификации. осень 2020. семинар по логике хоара на английском | 1 |
| 11:11, 8 сентября 2020 | Lecture Verification 2 eng.pdf (файл) | |
429 КБ | PodymovVV | магистерский курс методов верификации, лекция про логику Хоара | 1 |
| 10:17, 5 сентября 2020 | Lecture pbscpp 1 2020.pdf (файл) | |
238 КБ | KonovodovV | 1 | |
| 14:39, 29 августа 2020 | LectLog 2.pdf (файл) | |
531 КБ | ZakharovVA | 2 | |
| 15:15, 28 августа 2020 | Lecture Verification 1 eng.pdf (файл) | |
702 КБ | ZakharovVA | 1 | |
| 10:47, 4 июля 2020 | Dm2v4.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 06:46, 2 июля 2020 | 5 |
| 10:47, 4 июля 2020 | Dm2v5.pdf (файл) | |
15 КБ | Emergency User | Возврат к версии от 06:46, 2 июля 2020 | 6 |
| 14:47, 1 июля 2020 | Test.txt (файл) |  |
6 байт | PodymovVV | 5 | |
| 23:07, 30 июня 2020 | Dm2v7.pdf (файл) | |
15 КБ | Emergency User | 1 | |
| 23:07, 30 июня 2020 | Dm2v6.pdf (файл) | |
15 КБ | Emergency User | 1 | |
| 22:49, 30 июня 2020 | Dm3.pdf (файл) | |
15 КБ | Emergency User | 1 | |
| 10:39, 29 июня 2020 | Var8.pdf (файл) | |
11 КБ | SavitskiyIV | 6 | |
| 10:39, 29 июня 2020 | Var7.pdf (файл) | |
11 КБ | SavitskiyIV | 4 | |
| 10:39, 29 июня 2020 | Var6.pdf (файл) | |
11 КБ | SavitskiyIV | 9 | |
| 10:39, 29 июня 2020 | Var5.pdf (файл) | |
11 КБ | SavitskiyIV | 8 | |
| 10:39, 29 июня 2020 | Var4.pdf (файл) | |
11 КБ | SavitskiyIV | 8 | |
| 10:38, 29 июня 2020 | Var3.pdf (файл) | |
11 КБ | SavitskiyIV | 8 | |
| 10:38, 29 июня 2020 | Var2.pdf (файл) | |
11 КБ | SavitskiyIV | 8 | |
| 10:38, 29 июня 2020 | Var1.pdf (файл) | |
11 КБ | SavitskiyIV | 9 | |
| 19:06, 23 июня 2020 | Оценки по ОК 2020 3 3 .xlsx (файл) |  |
21 КБ | RomanovDS | 2 | |
| 19:15, 22 июня 2020 | Оценки по ОК 2020 3 3.xlsx (файл) | |
21 КБ | RomanovDS | 1 | |
| 10:32, 22 июня 2020 | Example-dm1-exam.pdf (файл) | |
93 КБ | SeleznevaSN | 3 | |
| 17:21, 19 июня 2020 | Ссылка на общую папку.docx (файл) | |
10 КБ | RomanovDS | 1 | |
| 12:17, 16 июня 2020 | ЭТСНДУС 2020.pdf (файл) | |
956 КБ | DanilovB | 3 | |
| 18:37, 12 июня 2020 | OK cons link.doc (файл) | |
32 КБ | RomanovDS | 1 | |
| 18:12, 11 июня 2020 | Sm.pdf (файл) | |
36 КБ | SeleznevaSN | 2 | |
| 17:48, 9 июня 2020 | Dm-exam-task.pdf (файл) | |
25 КБ | SeleznevaSN | 1 | |
| 17:46, 9 июня 2020 | Dm-exam.pdf (файл) | |
36 КБ | SeleznevaSN | 2 | |
| 13:26, 8 июня 2020 | Курс ОК 320-328 2020 06 08 онлайн.doc (файл) | |
85 КБ | RomanovDS | 2 | |
| 19:02, 24 мая 2020 | Mathlog 318 lecture 17.pdf (файл) | |
337 КБ | PodymovVV | Весна 2020. Минимальные изменения - пара правок в терминологии. | 5 |
| 13:38, 23 мая 2020 | Konovodov ok sem 08.pdf (файл) | |
1,81 МБ | KonovodovV | 1 | |
| 11:42, 17 мая 2020 | Mathlog 318 lecture 16.pdf (файл) | |
359 КБ | PodymovVV | весна 2020. ltl для формальной верификации | 5 |
| 11:41, 17 мая 2020 | Mathlog 318 lecture 15.pdf (файл) | |
381 КБ | PodymovVV | весна 2020. логика хоара | 7 |
| 10:41, 16 мая 2020 | Mathlog 318 lecture 14.pdf (файл) | |
346 КБ | PodymovVV | слегка подправил вводный слайд | 7 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
