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