Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

убывДата Имя файла Миниатюра Размер Участник Описание Версий
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
02:01, 15 декабря 2016 Prac318 Autumn 2016 howto bdd buddy.zip (файл) 2 КБ PodymovVV для практикума на 3 курсе: как работать с bdd, библиотека BuDDy 1
15:55, 7 декабря 2016 Seminar Verification 10 errors.zip (файл) 4 КБ PodymovVV математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal 1
22:18, 4 декабря 2016 Prac 618 2 lect4.pdf (файл) 219 КБ PodymovVV практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов 1
13:53, 2 декабря 2016 Prac318 Autumn 2016 HW3 Overview.pdf (файл) 153 КБ PodymovVV практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения 1
16:55, 14 ноября 2016 Seminar Verification 7 spin manual.pdf (файл) 429 КБ PodymovVV   2
16:43, 13 ноября 2016 Prac 618 2 Dataflows.pdf (файл) 50 КБ PodymovVV практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций 1

Первая страница
Первая страница
Последняя страница
Последняя страница