Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (250 более новые | 250 более старые) (20 | 50 | 100 | 250 | 500)- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf»
- 11:57, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf»
- 11:56, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 11:55, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 17:55, 12 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 21:35, 11 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлено несколько ошибок в условиях)
- 15:00, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf»
- 14:55, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf»
- 13:10, 6 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (мелкие правки)
- 15:06, 7 мая 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14 15.pdf» (поправлено несколько опечаток)
- 03:50, 7 мая 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 14 15.pdf» (мат.логика и логическое программирование, группа 318. последние лекции: модальные логики и model checking для ltl)
- 14:08, 27 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar natural inference.pdf» (мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление)
- 20:11, 25 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена некорректность в натуральном выводе)
- 16:37, 25 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена некорректность в натуральном выводе)
- 16:10, 24 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 14:22, 24 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (мат.логика и лог.программирование для группы 318 и мат.логика и теория алгоритмов для группы 241. весенний семестр 2018. лекция 13: исчисления пр…)
- 10:34, 23 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 13new.pdf»
- 10:33, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 10:31, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 10:30, 23 апреля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 15:18, 20 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 seminar definability.pdf» (мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.)
- 07:57, 16 апреля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 11 12.pdf» (математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018))
- 17:43, 18 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 17:43, 18 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 07:39, 12 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (обновленная версия, программа 2017/2018 у.г.)
- 07:56, 5 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:01, 2 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (мелкая правка: добавлено (естественное) обозначение для истинности формулы в интерпретации)
- 20:59, 25 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:29, 19 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 14:23, 19 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (обновлённый вариант: весенний семест 2017/2018 учебного года)
- 14:02, 16 февраля 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:LectEng2.pdf» (english course for master students. lection "formal correctness proofs for sequential programs")
- 12:49, 12 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (Версия весеннего семестра 2017/2018 учебного года.)
- 12:46, 12 февраля 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (Версия весеннего семестра 2017/2018 года)
- 21:04, 27 декабря 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Ivdm-kolok17.docx»
- 15:33, 22 декабря 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl isa macros.zip» (поправлены баги в funct)
- 13:45, 4 декабря 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 algorithms.pdf» (практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности)
- 17:52, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлен небольшой баг в определении системы регионов)
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлённая версия, почти всё по-другому)
- 08:09, 29 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (обновлённая чуть урезанная версия)
- 19:55, 28 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (поправлен баг в определении оператора U в TCTL)
- 11:09, 22 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая и урезанная версия)
- 15:38, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (поправлены опечатки)
- 15:38, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (поправлены опечатки)
- 15:37, 10 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (опечатки поправлены)
- 00:24, 10 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 19.pdf» (языки описания схем. блок 19. verilog: реализация управляющего автомата)
- 23:04, 9 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 18.pdf» (языки описания схем. блок 18. немного синтаксического сахара в Verilog)
- 20:41, 9 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 17.pdf» (языки описания схем. блок 17. как спроектировать управляющий автомат)
- 17:07, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (подчищено для второго круга проведения курса)
- 13:47, 3 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl isa macros.zip» (языки описания схем. макроопределения для удобной работы с модельной архитектурой системы команд)
- 13:46, 3 ноября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl sa macros.zip» (языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд)
- 10:03, 3 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлена куча опечаток)
- 22:53, 2 ноября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (супер-пупер новая версия)
- 21:11, 31 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (переиначен рассказ о табличном алгоритме + мелкие стилистические правки)
- 19:00, 30 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf» (поправлена пара опечаток)
- 01:41, 27 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 16.pdf» (блок 16. модельный процессор: операционный автомат, комбинационный управляющий автомат)
- 01:40, 27 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 15.pdf» (языки описания схем. блок 15. как спроектировать операционный автомат)
- 16:17, 25 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf» (поправлена неточность в критериях оценки (очевидно, тривиальные случаи не оцениваются))
- 19:21, 23 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf»
- 15:50, 23 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 labyrinth.pdf» (практикум для группы 318. первое задание практического блока: робот в лабиринте.)
- 00:51, 20 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 14.pdf» (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 22:11, 19 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 13.pdf» (языки описания схем. блок 13: немного о стандарте синтеза)
- 16:43, 18 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлена пара неточностей)
- 21:14, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf» (немного некритичных исправлений)
- 18:19, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (супер-пупер обновление обзора)
- 19:10, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (исправлена ошибка в отсылке к архитектуре фон неймана)
- 12:27, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (исправлены опечатки)
- 10:13, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 12.pdf» (языки описания схем. блок 12. процессор: основные функциональные блоки)
- 10:12, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 11.pdf» (языки описания схем. блок 11: что такое процессор; архитектура системы команд)
- 11:31, 11 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлена некритичная опечатка в домашнем задании)
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 10.pdf» (языки описания схем. блок 10: практика verilog)
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 09.pdf» (языки описания схем. блок 9: функциональная симуляция)
- 13:53, 1 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлена еще одна опечатка)
- 16:56, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлены опечатки)
- 09:47, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (убран слайд "домашнее задание")
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (дополнен темами, не успевшимися на семинаре 2. изменено оформление.)
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (урезан согласно фактически разобранному, исправлены опечатки)
- 01:53, 29 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 08.pdf» (языки описания схем, блок 8. verilog: базовый синтаксис)
- 01:52, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (неверная лекция. языки описания схем, блок 7. asic и плис)
- 01:37, 29 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 07.pdf» (языки описания схем, блок 7. базовый синтаксис verilog)
- 16:13, 28 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl task part1.pdf» (важное уточнение: "процессор" -> "однотактовый процессор")
- 22:41, 27 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl task part1.pdf» (первая часть основного задания по курсу "Языки описания схем")
- 07:57, 27 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (2017 год, новое оформление, поправленные опечатки)
- 16:02, 25 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 06.pdf»
- 14:47, 23 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 05.pdf» (языки описания схем. блок 5 (модули, шины, регистры, rtl))
- 21:40, 15 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 04.pdf» (языки описания схем. блок 4 (последовательные схемы, тактовый сигнал))
- 21:38, 15 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 03.pdf» (языки описания схем. блок 3 (комбинационные схемы))
- 10:30, 13 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (новая нотация (согласно новому варианту лекций) и исправленные опечатки)
- 19:46, 11 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac-318-git-task-tree.pdf» (практикум 318 группы, осенний семестр, дерево коммитов для задания по git)
- 22:11, 8 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 02.pdf» (курс "языки описания схем", блок слайдов про кмоп)
- 21:48, 8 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 01.pdf» (вступительный блок слайдов по курсу "языки описания схем")
- 21:36, 8 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (сильно обновлённая версия лекции про логику Хоара)
- 15:32, 9 июня 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp exam 2017 318.xls»
- 14:28, 9 июня 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp exam 2017 318.xls»
- 18:49, 15 мая 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 16 17.pdf» (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций)
- 16:43, 24 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»
- 21:16, 23 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar zfc.pdf»
- 23:20, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Peano axioms.pdf»
- 23:05, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (еще раз поправлено доказательство разрешимости арифметики Пресбургера)
- 13:32, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 16:24, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»
- 15:57, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»
- 11:59, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»
- 17:50, 16 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»
- 22:13, 15 апреля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 241 test results.xls» (результаты контрольной работы по матлогике, группы 318 и 241)
- 14:52, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Peano axioms.pdf» (переформулирована как теория без равенства)
- 13:47, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (черновик 2107)
- 12:06, 11 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (черновик)
- 14:44, 3 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (отсюда и дальше по лекциям (по мат.логике) будет всё существенно переделано)
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»
- 13:17, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»
- 12:56, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»
- 19:30, 1 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:42, 1 марта 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Fpga part2 lecture 1.pdf» (спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция)
- 17:11, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»
- 12:15, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 10:26, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 21:54, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 21:53, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 21:52, 15 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 18:18, 14 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 21:01, 13 февраля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:SecondExamVerification-2016-2017.pdf» (результаты пересдачи по курсу мат.методов верификации схем и программ)
- 16:57, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 16:52, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»
- 16:52, 13 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 16:26, 8 февраля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prosem 2016 Podymov Zakharov.pdf» (Презентация задачи по компьютерным сетям на просеминаре.)
- 03:15, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto regular expressions boost regex.zip» (для практикума 318 группы: как работать с регулярными выражениями в c++)
- 02:01, 15 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 howto bdd buddy.zip» (для практикума на 3 курсе: как работать с bdd, библиотека BuDDy)
- 18:53, 9 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf»
- 15:55, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10 errors.zip» (математические методы верификации схем и программ; архив, прилагающийся к слайдам семинара по uppaal)
- 08:48, 7 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 10.pdf»
- 15:23, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 10.pdf» (математические методы верификации схем и программ, лекция 10: алгоритм model checking для tctl и временных автоматов (регионная модель Крипке))
- 02:35, 5 декабря 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf»
- 02:22, 5 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 9.pdf» (математические методы верификации схем и программ, лекция 9: временные автоматы)
- 22:18, 4 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect4.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов)
- 13:53, 2 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW3 Overview.pdf» (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения)
- 09:20, 18 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf»
- 07:56, 16 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 8.pdf» (математические методы верификации схем и программ, семинар 8: практика Spin)
- 16:55, 14 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7 spin manual.pdf»
- 16:43, 13 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 Dataflows.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем: dataflow для модельного процессора и разных наборов инструкций)
- 20:15, 10 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7 spin manual.pdf» (инструкция по работе со средством верификации SPIN)
- 16:35, 9 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 7.pdf» (математические методы верификации схем и программ, полулекционное занятие: обзор синтаксиса и модели систем средства SPIN)
- 18:17, 8 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 09:38, 7 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:P7.pdf» (расположение аудитории П-7)
- 14:12, 2 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:05, 2 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7.pdf» (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 08:26, 31 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect3.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция))
- 13:47, 26 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5.pdf» (математические методы верификации схем и программ. семинар 5: практические задания для работы с NuSMV)
- 13:44, 26 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлены фактические ошибки, добавлено несколько слайдов о возможностях)
- 12:41, 24 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect2.pdf»
- 17:14, 19 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf»
- 16:58, 19 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4.pdf» (математические методы верификации схем и программ, семинар 4. Обзор средства NuSMV (полулекционное занятие))
- 00:13, 18 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 announcement.pdf» (объявление о семинаре MIPSfpga в МГУ 24.10.2016)
- 18:58, 17 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mipsfpga seminar 2016 program.xls»
- 18:55, 17 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga seminar 2016 program.xls» (предварительная программа семинара mipsfpga 24.10.2016)
- 12:10, 15 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect2.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, 2016. лекция 2. общая информация о модельном процессоре, описание инст…)
- 10:53, 12 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3.pdf» (мат.методы верификации схем и программ, семинар 3: табличный и символьный алгоритмы верификации CTL)
- 15:55, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 sem1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1)
- 15:54, 11 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect1.pdf»
- 15:43, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 16:23, 4 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 cmake.pdf»
- 23:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 command line in cpp.pdf» (Лекция про разбор параметров командной строки в исходном коде C/C++)
- 16:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 cmake.pdf»
- 17:13, 28 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (исправлена опечатка на последнем слайде)
- 17:08, 28 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2.pdf» (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:11, 26 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 GNU Make.pdf»
- 12:14, 14 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf»
- 12:07, 14 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1.pdf» (618 группа, математические методы верификации схем и программ, семинар по логике Хоара)
- 23:24, 10 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 14:29, 9 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 13:26, 9 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 exam 2016.xls» (результаты экзамена по математической логике и логическому программированию, 318 группа, 2016 год)
- 17:39, 7 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016))
- 22:56, 2 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar zfc.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматической теории множеств)
- 21:28, 1 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar sat-smt.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматическим теориям и задачам выполнимости формул)
- 13:40, 20 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 18.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 18 по обновлённой программе (2016))
- 17:18, 16 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 17 по обновлённой программе (2016))
- 13:18, 15 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 16 по обновлённой программе (2016))
- 19:07, 29 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 15 по обновлённой программе (2016))
- 12:41, 25 апреля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Peano axioms.pdf» (аксиомы Пеано для курса по мат.логике (318, 2016))
- 11:46, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 14 по обновлённой программе (2016))
- 11:43, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 14 по обновлённой программе (2016))
- 11:41, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016))
- 11:38, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (математическая логика и логическое программирование, лекция 12 по обновлённой программе (2016))
- 23:45, 21 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (математическая логика и логическое программирование, лекция 11 по обновлённой программе (2016))
- 14:55, 4 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp test 2016.xls» (группа 318, результаты контрольной по мат.логике, 2016)
- 14:43, 4 апреля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp test 2016.xls» (группа 318, результаты контрольной по мат.логике, 2016)
- 20:05, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 18:16, 26 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 18:07, 26 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 10:57, 21 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 00:04, 20 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (математическая логика и логическое программирование, лекция 8 по обновлённой программе (2016))
- 09:54, 12 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (математическая логика и логическое программирование, лекция 7 по обновлённой программе (2016))
- 22:56, 11 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (математическая логика и логическое программирование, лекция 7 по обновлённой программе (2016))
- 22:51, 7 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (математическая логика и логическое программирование, лекция 6 по обновлённой программе (2016))
- 23:15, 4 марта 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:MK logo.png» (Файл с картинкой, предлагаемой на замену стандартному подсолнуху в левом верхнем углу страницы)
- 21:48, 26 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (математическая логика и логическое программирование, лекция 5 по обновлённой программе (2016))
- 23:24, 21 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (математическая логика и логическое программирование, лекция 4 по обновлённой программе (2016))
- 23:22, 21 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (математическая логика и логическое программирование, лекция 4 по обновлённой программе (2016))
- 03:21, 19 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 13:13, 15 февраля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 3.pdf» (математическая логика и логическое программирование, лекция 3 по обновлённой программе (2016))
- 00:13, 14 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 15:29, 12 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 01:21, 10 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (математическая логика и логическое программирование, лекция 1 по обновлённой программе (2016))
- 23:59, 9 декабря 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Мофп подловченко вопросы 2015.docx» (Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г.)
- 03:22, 2 декабря 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Podymov.jpg»
- 16:04, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest gallery 5.JPG» (2015 cad contest: фотография с iccad)
- 16:04, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest gallery 4.jpg» (2015 cad contest: фотография с iccad)
- 16:03, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest gallery 3.JPG» (2015 cad contest: фотография с iccad)
- 16:03, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad-contest gallery 2.JPG» (2015 cad contest: фотография с iccad)
- 16:02, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest gallery 1.JPG» (2015 cad contest: фотография с iccad)
- 15:01, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest team.jpg» (2015 cad contest: фотография команды на фоне мгу)
- 14:59, 24 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:2015 cad contest winners award.jpg» (2015 cad contest: грамота победителям)
- 01:53, 5 ноября 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mipsfpga announcement.pdf» (объявление об однодневном семинаре MIPSfpga 10 ноября 2015 г.)
- 16:47, 29 мая 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 19.pdf.pdf» (лекция 19 по курсу математической логики для 318 группы)
- 16:14, 29 мая 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 18.pdf» (лекция 18 по курсу математической логики для 318 группы)
- 14:40, 29 мая 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 17.pdf» (лекция 17 по курсу математической логики для 318 группы)
- 15:40, 29 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 test 2015 results.docx» (318 группа, результаты контрольной по мат.лог. и лог.прог.)
- 15:13, 29 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 16.pdf» (лекция 16 по курсу математической логики для 318 группы)
- 23:29, 27 апреля 2015 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (лекция 15 по курсу математической логики для 318 группы)
- 23:27, 27 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 15.pdf» (лекция 15 по курсу математической логики для 318 группы)
- 13:31, 15 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 14.pdf» (лекция 14 по курсу математической логики для 318 группы)
- 14:38, 10 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 13.pdf» (лекция 13 по курсу математической логики для 318 группы)
- 10:49, 9 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 12.pdf» (лекция 12 по курсу математической логики для 318 группы)
- 04:56, 7 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 11.pdf» (лекция 11 по курсу математической логики для 318 группы)
- 17:20, 30 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 10.pdf» (лекция 10 по курсу математической логики для 318 группы)
- 18:51, 26 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 9.pdf» (лекция 9 по курсу математической логики для 318 группы)
- 02:58, 25 марта 2015 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (лекция 7 по курсу математической логики для 318 группы)
- 11:46, 18 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 8.pdf» (лекция 8 по курсу математической логики для 318 группы)
- 03:41, 17 марта 2015 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»
- 03:34, 17 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 7.pdf» (лекция 7 по курсу математической логики для 318 группы)
- 14:23, 11 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 6.pdf» (лекция 6 по курсу математической логики для 318 группы)
- 16:53, 4 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 5.pdf» (лекция 5 по курсу математической логики для 318 группы)
- 16:39, 3 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 4.pdf» (лекция 4 по курсу математической логики для 318 группы)
- 16:38, 3 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 2.pdf» (лекция 2 по курсу математической логики для 318 группы)
- 16:37, 3 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 1.pdf» (лекция 1 по курсу математической логики для 318 группы)