Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата | Имя файла | Миниатюра |  Размер |
Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 15:54, 11 октября 2016 | Prac 618 2 lect1.pdf (файл) |  |
14 МБ | PodymovVV | 2 | |
| 16:58, 6 января 2024 | MLLP VP all.pdf (файл) | |
10,77 МБ | PodymovVV | для экзамена 2023-2024 | 2 |
| 11:01, 22 января 2024 | Verif VP all.pdf (файл) | |
7,15 МБ | PodymovVV | 2023-2024 | 2 |
| 12:36, 22 октября 2023 | MLLP VP lections colloq.pdf (файл) | |
5,7 МБ | PodymovVV | 2023-2024 | 2 |
| 17:57, 14 октября 2020 | Постер кафедры.png (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
3,13 МБ | PodymovVV | 1 | |
| 20:16, 24 сентября 2018 | Paper-23-2018.pdf (файл) | |
2,37 МБ | PodymovVV | 1 | |
| 17:59, 14 октября 2020 | Постер кафедры.jpg (файл) | Ошибка создания миниатюры: Ошибочный параметр миниатюры |
2,05 МБ | PodymovVV | Осень 2020 | 1 |
| 20:23, 24 сентября 2018 | Paper-33-2018.pdf (файл) | |
1,98 МБ | PodymovVV | 1 | |
| 17:28, 14 октября 2020 | Постер кафедры.pdf (файл) | |
1,72 МБ | PodymovVV | 1 | |
| 16:26, 8 февраля 2017 | Prosem 2016 Podymov Zakharov.pdf (файл) | |
1,58 МБ | PodymovVV | Презентация задачи по компьютерным сетям на просеминаре. | 1 |
| 22:43, 28 сентября 2018 | Seminar Verification 5.pdf (файл) | |
1,56 МБ | PodymovVV | 3 | |
| 18:28, 20 октября 2020 | Seminar Verification 5 eng.pdf (файл) | |
1,54 МБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv) | 1 |
| 15:00, 19 ноября 2023 | Verif VP Prac Nusmv.pdf (файл) | |
1,46 МБ | PodymovVV | 2023-2024, без существенных изменений | 2 |
| 15:22, 20 февраля 2023 | DCSA2023.pdf (файл) | |
1,18 МБ | PodymovVV | Презентация магистерской программы ДУСП по состоянию на 2023 | 1 |
| 16:38, 5 октября 2023 | Выставка кафедр Информационный лист.pdf (файл) | |
1,16 МБ | PodymovVV | больше qr-кодов! | 6 |
| 12:59, 10 февраля 2020 | Mathlog 318 lecture 1.pdf (файл) | |
997 КБ | PodymovVV | Версия весны 2020. Мелкие правки. | 8 |
| 13:40, 20 мая 2016 | Mathlog 318 lecture 18.pdf (файл) | |
976 КБ | PodymovVV | [необработанный вариант] математическая логика и логическое программирование, лекция 18 по обновлённой программе (2016) | 2 |
| 15:03, 3 ноября 2020 | Seminar Verification 7 eng.pdf (файл) | |
856 КБ | PodymovVV | курс методов верификации, 2020. английский перевод обзора средства spin. | 1 |
| 01:53, 5 ноября 2015 | Mipsfpga announcement.pdf (файл) | |
853 КБ | PodymovVV | объявление об однодневном семинаре MIPSfpga 10 ноября 2015 г. | 1 |
| 14:05, 26 октября 2019 | Seminar Verification 7.pdf (файл) | |
841 КБ | PodymovVV | 2019. Пара мелких визуальных правок | 8 |
| 20:20, 24 сентября 2018 | Paper-28-2018.pdf (файл) | |
745 КБ | PodymovVV | 1 | |
| 18:48, 14 октября 2020 | Постер кафедры (миниатюра).png (файл) | .png) |
707 КБ | PodymovVV | Осень 2020 | 1 |
| 22:27, 8 октября 2023 | Verif VP Review Spin.pdf (файл) | |
628 КБ | PodymovVV | 2023-2024. без особых изменений | 5 |
| 00:13, 18 октября 2016 | Mipsfpga seminar 2016 announcement.pdf (файл) | |
617 КБ | PodymovVV | объявление о семинаре MIPSfpga в МГУ 24.10.2016 | 1 |
| 12:30, 14 октября 2019 | Seminar Verification 4.pdf (файл) | |
613 КБ | PodymovVV | обновил год, наполнение то же | 7 |
| 18:49, 15 мая 2017 | Mathlog 318 lecture 16 17.pdf (файл) | |
605 КБ | PodymovVV | мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций | 1 |
| 16:08, 19 октября 2020 | Seminar Verification 4 eng.pdf (файл) | |
599 КБ | PodymovVV | 2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV) | 1 |
| 00:07, 29 октября 2021 | Hdl lecture 12.pdf (файл) | |
573 КБ | PodymovVV | Обновил год | 7 |
| 15:06, 7 мая 2018 | Mathlog 318 lecture 14 15.pdf (файл) | |
546 КБ | PodymovVV | поправлено несколько опечаток | 2 |
| 22:11, 1 декабря 2020 | Seminar Verification 10 eng.pdf (файл) | |
521 КБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара по UPPAAL | 1 |
| 00:07, 29 октября 2021 | Hdl lecture 11.pdf (файл) | |
503 КБ | PodymovVV | Обновил год | 10 |
| 12:19, 28 ноября 2018 | Seminar Verification 10.pdf (файл) | |
478 КБ | PodymovVV | семинар по uppaal, версия 18-го года (поправлена стилистика) | 4 |
| 16:23, 4 октября 2016 | Prac 318 cmake.pdf (файл) | |
468 КБ | PodymovVV | 2 | |
| 11:27, 18 февраля 2020 | Mathlog 318 lecture 3.pdf (файл) | |
461 КБ | PodymovVV | весна 2020. вырезаны последние темы, взамен подробнее строится формула по предложению | 7 |
| 10:34, 4 декабря 2023 | Verif VP Prac Uppaal.pdf (файл) | |
457 КБ | PodymovVV | 2023-2024, без существенных изменений | 3 |
| 16:04, 24 ноября 2015 | 2015 cad contest gallery 5.JPG (файл) |  |
456 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
| 11:22, 15 февраля 2019 | LectEng2.pdf (файл) | |
450 КБ | PodymovVV | 3 | |
| 12:29, 6 сентября 2019 | Lecture Verification 2.pdf (файл) | |
446 КБ | PodymovVV | снова мелкие правки | 4 |
| 20:21, 24 сентября 2018 | Paper-30-2018.pdf (файл) | |
443 КБ | PodymovVV | 1 | |
| 20:17, 24 сентября 2018 | Paper-25-2018.pdf (файл) | |
440 КБ | PodymovVV | 1 | |
| 16:55, 14 ноября 2016 | Seminar Verification 7 spin manual.pdf (файл) | |
429 КБ | PodymovVV | 2 | |
| 11:11, 8 сентября 2020 | Lecture Verification 2 eng.pdf (файл) | |
429 КБ | PodymovVV | магистерский курс методов верификации, лекция про логику Хоара | 1 |
| 19:18, 24 ноября 2023 | Verif VP Review Nusmv.pdf (файл) | |
427 КБ | PodymovVV | опечатки | 4 |
| 13:13, 2 марта 2019 | Mathlog 318 lecture 5.pdf (файл) | |
423 КБ | PodymovVV | предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток | 6 |
| 12:30, 24 сентября 2021 | Hdl lecture 03.pdf (файл) | |
422 КБ | PodymovVV | Обновлён год на титуле | 6 |
| 16:04, 13 апреля 2020 | Mathlog 318 lecture 10.pdf (файл) | |
410 КБ | PodymovVV | урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11 | 6 |
| 07:57, 16 апреля 2018 | Mathlog 318 lecture 11 12.pdf (файл) | |
404 КБ | PodymovVV | математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018) | 1 |
| 20:24, 24 ноября 2020 | Lecture Verification 9 eng.pdf (файл) | |
398 КБ | PodymovVV | курс методов верификации, 2020. лекция про временные автоматы и tctl | 1 |
| 11:27, 3 мая 2020 | Mathlog 318 lecture 12 13.pdf (файл) | |
397 КБ | PodymovVV | поправлены опечатки | 2 |
| 16:04, 24 ноября 2015 | 2015 cad contest gallery 4.jpg (файл) |  |
382 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
