Список файлов
Эта служебная страница показывает все загруженные файлы.
Дата | Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
02:01, 15 декабря 2016 | Prac318 Autumn 2016 howto bdd buddy.zip (файл) | 2 КБ | PodymovVV | для практикума на 3 курсе: как работать с bdd, библиотека BuDDy | 1 | |
15:33, 22 декабря 2017 | Hdl isa macros.zip (файл) | 2 КБ | PodymovVV | поправлены баги в funct | 2 | |
13:46, 3 ноября 2017 | Hdl sa macros.zip (файл) | 2 КБ | PodymovVV | языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд | 1 | |
03:15, 15 декабря 2016 | Prac318 Autumn 2016 howto regular expressions boost regex.zip (файл) | 3 КБ | PodymovVV | для практикума 318 группы: как работать с регулярными выражениями в c++ | 1 | |
20:10, 26 ноября 2022 | Verif VP Prac Uppaal.zip (файл) | 4 КБ | PodymovVV | Методы верификации (618, 621). Доп. материалы к задачам по Uppaal | 1 | |
15:55, 7 декабря 2016 | Seminar Verification 10 errors.zip (файл) | 4 КБ | PodymovVV | математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal | 1 | |
15:32, 9 июня 2017 | Mllp exam 2017 318.xls (файл) | 8 КБ | PodymovVV | 2 | ||
22:13, 15 апреля 2017 | Mathlog 318 241 test results.xls (файл) | 9 КБ | PodymovVV | результаты контрольной работы по матлогике, группы 318 и 241 | 1 | |
23:24, 10 июня 2016 | Mllp 318 exam 2016.xls (файл) | 9 КБ | PodymovVV | 3 | ||
14:55, 4 апреля 2016 | Mllp test 2016.xls (файл) | 9 КБ | PodymovVV | группа 318, результаты контрольной по мат.логике, 2016 | 1 | |
20:18, 11 мая 2022 | Курсовая работа - титульный лист.doc (файл) | 12 КБ | PodymovVV | Титульный лист курсовой работы 2022 | 1 | |
23:59, 9 декабря 2015 | Мофп подловченко вопросы 2015.docx (файл) | 12 КБ | PodymovVV | Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г. | 1 | |
15:40, 29 апреля 2015 | Mllp 318 test 2015 results.docx (файл) | 13 КБ | PodymovVV | 318 группа, результаты контрольной по мат.лог. и лог.прог. | 1 | |
19:46, 11 сентября 2017 | Prac-318-git-task-tree.pdf (файл) | 14 КБ | PodymovVV | практикум 318 группы, осенний семестр, дерево коммитов для задания по git | 1 | |
21:04, 27 декабря 2017 | Ivdm-kolok17.docx (файл) | 15 КБ | PodymovVV | 12 | ||
09:38, 7 ноября 2016 | P7.pdf (файл) | 20 КБ | PodymovVV | расположение аудитории П-7 | 1 | |
21:01, 13 февраля 2017 | SecondExamVerification-2016-2017.pdf (файл) | 27 КБ | PodymovVV | результаты пересдачи по курсу мат.методов верификации схем и программ | 1 | |
20:17, 11 мая 2022 | Курсовая работа - требования.pdf (файл) | 28 КБ | PodymovVV | Требования к курсовой работе 2022 | 1 | |
20:44, 17 мая 2021 | Requirements-kurs-2021.zip (файл) | 29 КБ | PodymovVV | 1 | ||
03:22, 2 декабря 2015 | Podymov.jpg (файл) | 38 КБ | PodymovVV | 1 | ||
18:58, 17 октября 2016 | Mipsfpga seminar 2016 program.xls (файл) | 38 КБ | PodymovVV | 2 | ||
16:43, 13 ноября 2016 | Prac 618 2 Dataflows.pdf (файл) | 50 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций | 1 | |
13:44, 17 марта 2024 | DA VP S05.pdf (файл) | 52 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, семинар 5 | 1 | |
20:38, 7 ноября 2018 | Traditional meeting 2018 announcement.pdf (файл) | 59 КБ | PodymovVV | объявление о вечере кафедр 2018 | 1 | |
11:32, 4 марта 2024 | DA VP 15.pdf (файл) | 61 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 15 | 1 | |
11:33, 4 марта 2024 | DA VP 16.pdf (файл) | 62 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 16 | 1 | |
19:25, 14 марта 2023 | DAS VP 15.pdf (файл) | 62 КБ | PodymovVV | опечатки | 2 | |
18:28, 12 февраля 2024 | DA VP 01.pdf (файл) | 64 КБ | PodymovVV | опечатки | 2 | |
23:14, 31 марта 2024 | DA VP 28.pdf (файл) | 64 КБ | PodymovVV | распределённые алгоритмы, 2023-2024, блок 28 | 1 | |
13:05, 9 февраля 2023 | DAS VP 01.pdf (файл) | 66 КБ | PodymovVV | незначительные правки | 2 | |
17:58, 14 апреля 2022 | DSA2022.pdf (файл) | 69 КБ | PodymovVV | Презентация о научно-образовательном направлении "Дискретные структуры и алгоритмы" кафедры МК, 2022 | 1 | |
12:24, 1 апреля 2024 | VKR requirements.pdf (файл) | 69 КБ | PodymovVV | требования к выпускной работе 418 | 1 | |
10:25, 2 октября 2023 | Verif VP 20.pdf (файл) | 70 КБ | PodymovVV | 2023-2024. теперь уточненная схема автоматного алгоритма для лтл | 3 | |
22:46, 7 апреля 2024 | DA VP 36.pdf (файл) | 70 КБ | PodymovVV | опечатки | 2 | |
17:35, 10 сентября 2023 | Verif VP 07.pdf (файл) | 70 КБ | PodymovVV | 2023-2024. Теперь тут общая схема метода модел чекин | 6 | |
12:24, 1 апреля 2024 | MD requirements.pdf (файл) | 71 КБ | PodymovVV | требования к магистерской диссертации 618 | 1 | |
14:15, 23 марта 2023 | Требования к МД 618.pdf (файл) | 72 КБ | PodymovVV | 2023 | 2 | |
16:13, 28 сентября 2017 | Hdl task part1.pdf (файл) | 72 КБ | PodymovVV | важное уточнение: "процессор" -> "однотактовый процессор" | 2 | |
14:15, 23 марта 2023 | Требования к ВКР 418.pdf (файл) | 72 КБ | PodymovVV | 2023 | 2 | |
17:32, 12 марта 2023 | Proseminar 2023.03.07 annotation.pdf (файл) | 73 КБ | PodymovVV | Просеминар 2022-2023, 7 марта, аннотация доклада (Ложкин С.А., симметричные функции). | 1 | |
20:40, 21 февраля 2023 | DAS VP 08.pdf (файл) | 75 КБ | PodymovVV | Исправлены опечатки | 2 | |
11:42, 2 мая 2023 | DAS VP 41.pdf (файл) | 77 КБ | PodymovVV | Распределённые алгоритмы и системы, 521. 2022/2023, весна. Блок 41. Отказоустойчивость, неисправности, принятие решения | 1 | |
15:46, 12 мая 2024 | DA VP 41.pdf (файл) | 77 КБ | PodymovVV | распределенные алгоритмы 2023-2024, блок 41 | 1 | |
15:05, 19 ноября 2023 | HDL VP R04.pdf (файл) | 77 КБ | PodymovVV | языки описания схем. 2023-2024. кое-что ещё 4: классификация протоколов передачи данных | 1 | |
22:33, 11 сентября 2023 | HDL VP 07.pdf (файл) | 80 КБ | PodymovVV | Языки описания схем, 2023-2024. Терминология для сигналов | 1 | |
10:40, 12 февраля 2024 | DA VP 03.pdf (файл) | 85 КБ | PodymovVV | Распределённые алгоритмы, 521, весна 2023-2024, блок 3 | 1 | |
17:46, 10 сентября 2023 | MLLP VP 05.pdf (файл) | 85 КБ | PodymovVV | 2023-2024. Без существенных изменений | 3 | |
10:18, 13 февраля 2024 | Mathlog 318 b5.pdf (файл) | 86 КБ | PodymovVV | весна 2023-2024, без существенных изменений | 7 | |
22:39, 7 апреля 2024 | DA VP 33.pdf (файл) | 87 КБ | PodymovVV | опечатки | 2 | |
11:32, 4 марта 2024 | DA VP 14.pdf (файл) | 87 КБ | PodymovVV | распределённые алгоритмы, весна 2023-2024, блок 14 | 1 |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |