Список файлов
Эта служебная страница показывает все загруженные файлы.
 Дата |
Имя файла | Миниатюра | Размер | Участник | Описание | Версий |
|---|---|---|---|---|---|---|
| 15:40, 29 апреля 2015 | Mllp 318 test 2015 results.docx (файл) |  |
13 КБ | PodymovVV | 318 группа, результаты контрольной по мат.лог. и лог.прог. | 1 |
| 16:47, 29 мая 2015 | Mathlog 318 lecture 19.pdf.pdf (файл) |  |
348 КБ | PodymovVV | лекция 19 по курсу математической логики для 318 группы | 1 |
| 01:53, 5 ноября 2015 | Mipsfpga announcement.pdf (файл) | |
853 КБ | PodymovVV | объявление об однодневном семинаре MIPSfpga 10 ноября 2015 г. | 1 |
| 14:59, 24 ноября 2015 | 2015 cad contest winners award.jpg (файл) |  |
334 КБ | PodymovVV | 2015 cad contest: грамота победителям | 1 |
| 15:01, 24 ноября 2015 | 2015 cad contest team.jpg (файл) |  |
363 КБ | PodymovVV | 2015 cad contest: фотография команды на фоне мгу | 1 |
| 16:02, 24 ноября 2015 | 2015 cad contest gallery 1.JPG (файл) |  |
234 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
| 16:03, 24 ноября 2015 | 2015 cad-contest gallery 2.JPG (файл) |  |
267 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
| 16:04, 24 ноября 2015 | 2015 cad contest gallery 4.jpg (файл) |  |
382 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
| 16:04, 24 ноября 2015 | 2015 cad contest gallery 5.JPG (файл) |  |
456 КБ | PodymovVV | 2015 cad contest: фотография с iccad | 1 |
| 03:22, 2 декабря 2015 | Podymov.jpg (файл) |  |
38 КБ | PodymovVV | 1 | |
| 23:59, 9 декабря 2015 | Мофп подловченко вопросы 2015.docx (файл) | |
12 КБ | PodymovVV | Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г. | 1 |
| 14:55, 4 апреля 2016 | Mllp test 2016.xls (файл) | |
9 КБ | PodymovVV | группа 318, результаты контрольной по мат.логике, 2016 | 1 |
| 13:40, 20 мая 2016 | Mathlog 318 lecture 18.pdf (файл) | |
976 КБ | PodymovVV | [необработанный вариант] математическая логика и логическое программирование, лекция 18 по обновлённой программе (2016) | 2 |
| 23:24, 10 июня 2016 | Mllp 318 exam 2016.xls (файл) | |
9 КБ | PodymovVV | 3 | |
| 23:11, 26 сентября 2016 | Prac 318 GNU Make.pdf (файл) | |
322 КБ | PodymovVV | 2 | |
| 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 | |
| 15:54, 11 октября 2016 | Prac 618 2 lect1.pdf (файл) | |
14 МБ | PodymovVV | 2 | |
| 15:55, 11 октября 2016 | Prac 618 2 sem1.pdf (файл) | |
253 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1 | 1 |
| 18:58, 17 октября 2016 | Mipsfpga seminar 2016 program.xls (файл) | |
38 КБ | PodymovVV | 2 | |
| 00:13, 18 октября 2016 | Mipsfpga seminar 2016 announcement.pdf (файл) | |
617 КБ | PodymovVV | объявление о семинаре MIPSfpga в МГУ 24.10.2016 | 1 |
| 12:41, 24 октября 2016 | Prac 618 2 lect2.pdf (файл) | |
158 КБ | PodymovVV | 2 | |
| 08:26, 31 октября 2016 | Prac 618 2 lect3.pdf (файл) | |
169 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция) | 1 |
| 09:38, 7 ноября 2016 | P7.pdf (файл) | |
20 КБ | PodymovVV | расположение аудитории П-7 | 1 |
| 16:43, 13 ноября 2016 | Prac 618 2 Dataflows.pdf (файл) | |
50 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций | 1 |
| 16:55, 14 ноября 2016 | Seminar Verification 7 spin manual.pdf (файл) | |
429 КБ | PodymovVV | 2 | |
| 13:53, 2 декабря 2016 | Prac318 Autumn 2016 HW3 Overview.pdf (файл) | |
153 КБ | PodymovVV | практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения | 1 |
| 22:18, 4 декабря 2016 | Prac 618 2 lect4.pdf (файл) | |
219 КБ | PodymovVV | практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов | 1 |
| 15:55, 7 декабря 2016 | Seminar Verification 10 errors.zip (файл) | |
4 КБ | PodymovVV | математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal | 1 |
| 02:01, 15 декабря 2016 | Prac318 Autumn 2016 howto bdd buddy.zip (файл) | |
2 КБ | PodymovVV | для практикума на 3 курсе: как работать с bdd, библиотека BuDDy | 1 |
| 03:15, 15 декабря 2016 | Prac318 Autumn 2016 howto regular expressions boost regex.zip (файл) | |
3 КБ | PodymovVV | для практикума 318 группы: как работать с регулярными выражениями в c++ | 1 |
| 16:26, 8 февраля 2017 | Prosem 2016 Podymov Zakharov.pdf (файл) | |
1,58 МБ | PodymovVV | Презентация задачи по компьютерным сетям на просеминаре. | 1 |
| 21:01, 13 февраля 2017 | SecondExamVerification-2016-2017.pdf (файл) | |
27 КБ | PodymovVV | результаты пересдачи по курсу мат.методов верификации схем и программ | 1 |
| 17:42, 1 марта 2017 | Fpga part2 lecture 1.pdf (файл) | |
152 КБ | PodymovVV | спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция | 1 |
| 22:13, 15 апреля 2017 | Mathlog 318 241 test results.xls (файл) | |
9 КБ | PodymovVV | результаты контрольной работы по матлогике, группы 318 и 241 | 1 |
| 11:59, 18 апреля 2017 | Mathlog 318 seminar sat-smt.pdf (файл) | |
189 КБ | PodymovVV | 3 | |
| 23:20, 21 апреля 2017 | Peano axioms.pdf (файл) | |
107 КБ | PodymovVV | 3 | |
| 21:16, 23 апреля 2017 | Mathlog 318 seminar zfc.pdf (файл) | |
167 КБ | PodymovVV | 2 | |
| 18:49, 15 мая 2017 | Mathlog 318 lecture 16 17.pdf (файл) | |
605 КБ | PodymovVV | мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций | 1 |
| 15:32, 9 июня 2017 | Mllp exam 2017 318.xls (файл) | |
8 КБ | PodymovVV | 2 | |
| 19:46, 11 сентября 2017 | Prac-318-git-task-tree.pdf (файл) | |
14 КБ | PodymovVV | практикум 318 группы, осенний семестр, дерево коммитов для задания по git | 1 |
| 16:13, 28 сентября 2017 | Hdl task part1.pdf (файл) | |
72 КБ | PodymovVV | важное уточнение: "процессор" -> "однотактовый процессор" | 2 |
| 19:00, 30 октября 2017 | Prac 318 labyrinth.pdf (файл) | |
169 КБ | PodymovVV | поправлена пара опечаток | 4 |
| 13:46, 3 ноября 2017 | Hdl sa macros.zip (файл) | |
2 КБ | PodymovVV | языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд | 1 |
| 13:45, 4 декабря 2017 | Prac 318 algorithms.pdf (файл) | |
159 КБ | PodymovVV | практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности | 1 |
| 15:33, 22 декабря 2017 | Hdl isa macros.zip (файл) | |
2 КБ | PodymovVV | поправлены баги в funct | 2 |
| 21:04, 27 декабря 2017 | Ivdm-kolok17.docx (файл) | |
15 КБ | PodymovVV | 12 | |
| 07:57, 16 апреля 2018 | Mathlog 318 lecture 11 12.pdf (файл) | |
404 КБ | PodymovVV | математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018) | 1 |
| 10:34, 23 апреля 2018 | Mathlog 318 lecture 13new.pdf (файл) | |
358 КБ | PodymovVV | 1 | |
| 15:06, 7 мая 2018 | Mathlog 318 lecture 14 15.pdf (файл) | |
546 КБ | PodymovVV | поправлено несколько опечаток | 2 |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
