Список файлов
Эта служебная страница показывает все загруженные файлы.
| Дата |  Имя файла |
Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 15:50, 4 октября 2023 | Verif VP 15.pdf (файл) |  |
148 КБ | PodymovVV | опечатки | 5 |
| 10:22, 2 октября 2023 | Verif VP 14.pdf (файл) | |
106 КБ | PodymovVV | 2023-2024. теперь общая схема автоматного алгоритма для лтл | 4 |
| 23:28, 5 ноября 2023 | Verif VP 13.pdf (файл) | |
130 КБ | PodymovVV | опечатки | 5 |
| 12:34, 28 сентября 2023 | Verif VP 12.pdf (файл) | |
164 КБ | PodymovVV | опечатки | 5 |
| 12:34, 28 сентября 2023 | Verif VP 11.pdf (файл) | |
153 КБ | PodymovVV | опечатки | 5 |
| 14:06, 21 сентября 2023 | Verif VP 10.pdf (файл) | |
104 КБ | PodymovVV | уточнение | 7 |
| 19:03, 18 сентября 2023 | Verif VP 09.pdf (файл) | |
347 КБ | PodymovVV | опечатки | 8 |
| 11:44, 16 сентября 2023 | Verif VP 08.pdf (файл) | |
267 КБ | PodymovVV | 2023-2024. Теперь тут модели Крипке | 5 |
| 17:35, 10 сентября 2023 | Verif VP 07.pdf (файл) | |
70 КБ | PodymovVV | 2023-2024. Теперь тут общая схема метода модел чекин | 6 |
| 17:35, 10 сентября 2023 | Verif VP 06.pdf (файл) | |
140 КБ | PodymovVV | 2023-2024. Теперь тут про возможности автоматизации дедуктивного анализа программ и про слабейшее предусловие | 3 |
| 17:34, 10 сентября 2023 | Verif VP 05.pdf (файл) | |
215 КБ | PodymovVV | 2023-2024. Теперь тут про аннотированные программы | 4 |
| 17:34, 10 сентября 2023 | Verif VP 04.pdf (файл) | |
200 КБ | PodymovVV | 2023-2024. Теперь тут про дедуктивную верификацию программ в целом и про логику Хоара | 5 |
| 16:31, 11 сентября 2023 | Verif VP 03.pdf (файл) | |
187 КБ | PodymovVV | опечатки | 5 |
| 17:31, 10 сентября 2023 | Verif VP 02.pdf (файл) | |
206 КБ | PodymovVV | опечатки | 6 |
| 16:49, 3 сентября 2023 | Verif VP 01.pdf (файл) | |
188 КБ | PodymovVV | 2023/2024, без сверхсущественных изменений | 4 |
| 12:24, 1 апреля 2024 | VKR requirements.pdf (файл) | |
69 КБ | PodymovVV | требования к выпускной работе 418 | 1 |
| 20:38, 7 ноября 2018 | Traditional meeting 2018 announcement.pdf (файл) | |
59 КБ | PodymovVV | объявление о вечере кафедр 2018 | 1 |
| 14:47, 1 июля 2020 | Test.txt (файл) |  |
6 байт | PodymovVV | 5 | |
| 18:43, 9 ноября 2020 | Seminar Verification 8 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. семинар с задачами по средству spin (англ.) | 1 |
| 21:38, 5 ноября 2019 | Seminar Verification 8.pdf (файл) | |
185 КБ | PodymovVV | 2019. обновил год, остальное то же | 5 |
| 16:55, 14 ноября 2016 | Seminar Verification 7 spin manual.pdf (файл) | |
429 КБ | PodymovVV | 2 | |
| 15:03, 3 ноября 2020 | Seminar Verification 7 eng.pdf (файл) | |
856 КБ | PodymovVV | курс методов верификации, 2020. английский перевод обзора средства spin. | 1 |
| 14:05, 26 октября 2019 | Seminar Verification 7.pdf (файл) | |
841 КБ | PodymovVV | 2019. Пара мелких визуальных правок | 8 |
| 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:08, 19 октября 2020 | Seminar Verification 4 eng.pdf (файл) | |
599 КБ | PodymovVV | 2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV) | 1 |
| 12:30, 14 октября 2019 | Seminar Verification 4.pdf (файл) | |
613 КБ | PodymovVV | обновил год, наполнение то же | 7 |
| 17:37, 6 октября 2020 | Seminar Verification 3 eng.pdf (файл) | |
194 КБ | PodymovVV | курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский | 1 |
| 09:40, 8 октября 2019 | Seminar Verification 3.pdf (файл) | |
177 КБ | PodymovVV | поменялся год, остальное как было | 6 |
| 15:59, 22 сентября 2020 | Seminar Verification 2 eng.pdf (файл) | |
224 КБ | PodymovVV | Английский перевод версии 2019 года (то же без "eng") с косметическими правками | 1 |
| 12:23, 24 сентября 2019 | Seminar Verification 2.pdf (файл) | |
219 КБ | PodymovVV | осень 2019. перестановка условий, несколько мелких правок | 7 |
| 23:44, 8 сентября 2020 | Seminar Verification 1 eng.pdf (файл) | |
208 КБ | PodymovVV | курс методов верификации. осень 2020. семинар по логике хоара на английском | 1 |
| 15:55, 7 декабря 2016 | Seminar Verification 10 errors.zip (файл) |  |
4 КБ | PodymovVV | математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal | 1 |
| 22:11, 1 декабря 2020 | Seminar Verification 10 eng.pdf (файл) | |
521 КБ | PodymovVV | курс методов верификации, 2020. английский перевод семинара по UPPAAL | 1 |
| 12:19, 28 ноября 2018 | Seminar Verification 10.pdf (файл) | |
478 КБ | PodymovVV | семинар по uppaal, версия 18-го года (поправлена стилистика) | 4 |
| 17:08, 10 сентября 2019 | Seminar Verification 1.pdf (файл) | |
223 КБ | PodymovVV | осень 2019, поменял последовательность задач | 6 |
| 21:01, 13 февраля 2017 | SecondExamVerification-2016-2017.pdf (файл) | |
27 КБ | PodymovVV | результаты пересдачи по курсу мат.методов верификации схем и программ | 1 |
| 20:44, 17 мая 2021 | Requirements-kurs-2021.zip (файл) | |
29 КБ | PodymovVV | 1 | |
| 17:32, 12 марта 2023 | Proseminar 2023.03.07 annotation.pdf (файл) | |
73 КБ | PodymovVV | Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции). | 1 |
| 16:26, 8 февраля 2017 | Prosem 2016 Podymov Zakharov.pdf (файл) | |
1,58 МБ | PodymovVV | Презентация задачи по компьютерным сетям на просеминаре. | 1 |
| 15:55, 11 октября 2016 | Prac 618 2 sem1.pdf (файл) | |
253 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1 | 1 |
| 22:18, 4 декабря 2016 | Prac 618 2 lect4.pdf (файл) | |
219 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов | 1 |
| 08:26, 31 октября 2016 | Prac 618 2 lect3.pdf (файл) | |
169 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция) | 1 |
| 12:41, 24 октября 2016 | Prac 618 2 lect2.pdf (файл) | |
158 КБ | PodymovVV | 2 | |
| 15:54, 11 октября 2016 | Prac 618 2 lect1.pdf (файл) | |
14 МБ | PodymovVV | 2 | |
| 16:43, 13 ноября 2016 | Prac 618 2 Dataflows.pdf (файл) | |
50 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций | 1 |
| 19:00, 30 октября 2017 | Prac 318 labyrinth.pdf (файл) | |
169 КБ | PodymovVV | поправлена пара опечаток | 4 |
| 23:45, 3 октября 2016 | Prac 318 command line in cpp.pdf (файл) | |
326 КБ | PodymovVV | Лекция про разбор параметров командной строки в исходном коде C/C++ | 1 |
| 16:23, 4 октября 2016 | Prac 318 cmake.pdf (файл) | |
468 КБ | PodymovVV | 2 | |
| 13:45, 4 декабря 2017 | Prac 318 algorithms.pdf (файл) | |
159 КБ | PodymovVV | практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности | 1 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
