Список файлов
Эта служебная страница показывает все загруженные файлы.
![]() |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
---|---|---|---|---|---|---|
21:38, 5 ноября 2019 | Seminar Verification 8.pdf (файл) | ![]() |
185 КБ | PodymovVV | 2019. обновил год, остальное то же | 5 |
14:05, 26 октября 2019 | Seminar Verification 7.pdf (файл) | ![]() |
841 КБ | PodymovVV | 2019. Пара мелких визуальных правок | 8 |
14:04, 26 октября 2019 | Lecture Verification 7.pdf (файл) | ![]() |
341 КБ | PodymovVV | 2019. Добавил пару картинок | 6 |
12:30, 14 октября 2019 | Seminar Verification 4.pdf (файл) | ![]() |
613 КБ | PodymovVV | обновил год, наполнение то же | 7 |
09:40, 8 октября 2019 | Seminar Verification 3.pdf (файл) | ![]() |
177 КБ | PodymovVV | поменялся год, остальное как было | 6 |
12:23, 24 сентября 2019 | Seminar Verification 2.pdf (файл) | ![]() |
219 КБ | PodymovVV | осень 2019. перестановка условий, несколько мелких правок | 7 |
17:08, 10 сентября 2019 | Seminar Verification 1.pdf (файл) | ![]() |
223 КБ | PodymovVV | осень 2019, поменял последовательность задач | 6 |
12:29, 6 сентября 2019 | Lecture Verification 2.pdf (файл) | ![]() |
446 КБ | PodymovVV | снова мелкие правки | 4 |
11:35, 25 апреля 2019 | Mathlog 318 lecture 13.pdf (файл) | ![]() |
345 КБ | PodymovVV | опечатка была плохо поправлена, а теперь хорошо | 15 |
14:34, 22 апреля 2019 | Mathlog 318 lecture 12.pdf (файл) | ![]() |
356 КБ | PodymovVV | поправлены опечатки | 6 |
13:13, 2 марта 2019 | Mathlog 318 lecture 5.pdf (файл) | ![]() |
423 КБ | PodymovVV | предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток | 6 |
17:46, 23 февраля 2019 | Mathlog 318 lecture 4.pdf (файл) | ![]() |
334 КБ | PodymovVV | обновлённая версия: весенний семестр 2018/2019 учебного года | 5 |
11:22, 15 февраля 2019 | LectEng2.pdf (файл) | ![]() |
450 КБ | PodymovVV | 3 | |
13:58, 11 декабря 2018 | Otchet pattern618-2018.zip (файл) | ![]() |
148 КБ | PodymovVV | поправлен мелкий некритичный баг ("Список литературы") | 2 |
13:57, 11 декабря 2018 | Otchet pattern418-2018.zip (файл) | ![]() |
144 КБ | PodymovVV | поправлен мелкий некритичный баг ("Список литературы") | 2 |
12:19, 28 ноября 2018 | Seminar Verification 10.pdf (файл) | ![]() |
478 КБ | PodymovVV | семинар по uppaal, версия 18-го года (поправлена стилистика) | 4 |
20:38, 7 ноября 2018 | Traditional meeting 2018 announcement.pdf (файл) | ![]() |
59 КБ | PodymovVV | объявление о вечере кафедр 2018 | 1 |
22:43, 28 сентября 2018 | Seminar Verification 5.pdf (файл) | ![]() |
1,56 МБ | PodymovVV | 3 | |
20:23, 24 сентября 2018 | Paper-33-2018.pdf (файл) | ![]() |
1,98 МБ | PodymovVV | 1 | |
20:23, 24 сентября 2018 | Paper-32-2018.pdf (файл) | ![]() |
254 КБ | PodymovVV | 1 | |
20:22, 24 сентября 2018 | Paper-31-2018.pdf (файл) | ![]() |
181 КБ | PodymovVV | 1 | |
20:21, 24 сентября 2018 | Paper-30-2018.pdf (файл) | ![]() |
443 КБ | PodymovVV | 1 | |
20:21, 24 сентября 2018 | Paper-29-2018.pdf (файл) | ![]() |
288 КБ | PodymovVV | 1 | |
20:20, 24 сентября 2018 | Paper-28-2018.pdf (файл) | ![]() |
745 КБ | PodymovVV | 1 | |
20:19, 24 сентября 2018 | Paper-27-2018.pdf (файл) | ![]() |
187 КБ | PodymovVV | 1 | |
20:18, 24 сентября 2018 | Paper-26-2018.pdf (файл) | ![]() |
170 КБ | PodymovVV | 1 | |
20:17, 24 сентября 2018 | Paper-25-2018.pdf (файл) | ![]() |
440 КБ | PodymovVV | 1 | |
20:17, 24 сентября 2018 | Paper-24-2018.pdf (файл) | ![]() |
283 КБ | PodymovVV | 1 | |
20:16, 24 сентября 2018 | Paper-23-2018.pdf (файл) | ![]() |
2,37 МБ | PodymovVV | 1 | |
20:12, 24 сентября 2018 | Paper-22-2018.pdf (файл) | ![]() |
234 КБ | PodymovVV | 1 | |
15:06, 7 мая 2018 | Mathlog 318 lecture 14 15.pdf (файл) | ![]() |
546 КБ | PodymovVV | поправлено несколько опечаток | 2 |
10:34, 23 апреля 2018 | Mathlog 318 lecture 13new.pdf (файл) | ![]() |
358 КБ | PodymovVV | 1 | |
07:57, 16 апреля 2018 | Mathlog 318 lecture 11 12.pdf (файл) | ![]() |
404 КБ | PodymovVV | математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018) | 1 |
21:04, 27 декабря 2017 | Ivdm-kolok17.docx (файл) | ![]() |
15 КБ | PodymovVV | 12 | |
15:33, 22 декабря 2017 | Hdl isa macros.zip (файл) | ![]() |
2 КБ | PodymovVV | поправлены баги в funct | 2 |
13:45, 4 декабря 2017 | Prac 318 algorithms.pdf (файл) | ![]() |
159 КБ | PodymovVV | практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности | 1 |
13:46, 3 ноября 2017 | Hdl sa macros.zip (файл) | ![]() |
2 КБ | PodymovVV | языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд | 1 |
19:00, 30 октября 2017 | Prac 318 labyrinth.pdf (файл) | ![]() |
169 КБ | PodymovVV | поправлена пара опечаток | 4 |
16:13, 28 сентября 2017 | Hdl task part1.pdf (файл) | ![]() |
72 КБ | PodymovVV | важное уточнение: "процессор" -> "однотактовый процессор" | 2 |
19:46, 11 сентября 2017 | Prac-318-git-task-tree.pdf (файл) | ![]() |
14 КБ | PodymovVV | практикум 318 группы, осенний семестр, дерево коммитов для задания по git | 1 |
15:32, 9 июня 2017 | Mllp exam 2017 318.xls (файл) | ![]() |
8 КБ | PodymovVV | 2 | |
18:49, 15 мая 2017 | Mathlog 318 lecture 16 17.pdf (файл) | ![]() |
605 КБ | PodymovVV | мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций | 1 |
21:16, 23 апреля 2017 | Mathlog 318 seminar zfc.pdf (файл) | ![]() |
167 КБ | PodymovVV | 2 | |
23:20, 21 апреля 2017 | Peano axioms.pdf (файл) | ![]() |
107 КБ | PodymovVV | 3 | |
11:59, 18 апреля 2017 | Mathlog 318 seminar sat-smt.pdf (файл) | ![]() |
189 КБ | PodymovVV | 3 | |
22:13, 15 апреля 2017 | Mathlog 318 241 test results.xls (файл) | ![]() |
9 КБ | PodymovVV | результаты контрольной работы по матлогике, группы 318 и 241 | 1 |
17:42, 1 марта 2017 | Fpga part2 lecture 1.pdf (файл) | ![]() |
152 КБ | PodymovVV | спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция | 1 |
21:01, 13 февраля 2017 | SecondExamVerification-2016-2017.pdf (файл) | ![]() |
27 КБ | PodymovVV | результаты пересдачи по курсу мат.методов верификации схем и программ | 1 |
16:26, 8 февраля 2017 | Prosem 2016 Podymov Zakharov.pdf (файл) | ![]() |
1,58 МБ | PodymovVV | Презентация задачи по компьютерным сетям на просеминаре. | 1 |
03:15, 15 декабря 2016 | Prac318 Autumn 2016 howto regular expressions boost regex.zip (файл) | ![]() |
3 КБ | PodymovVV | для практикума 318 группы: как работать с регулярными выражениями в c++ | 1 |
![]() Первая страница |
![]() Предыдущая страница |
![]() Следующая страница |
![]() Последняя страница |