Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)- 13:40, 23 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-17-2-T2.pdf»
- 13:38, 23 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-17-2-P1.pdf»
- 13:36, 23 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-17-2-A.pdf»
- 03:13, 23 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-17-2-P1.pdf»
- 23:58, 22 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК 311-319 Сем.pdf»
- 22:43, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-sem.pdf»
- 22:39, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-s.pdf»
- 22:36, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-s.pdf»
- 22:33, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-s.pdf»
- 22:32, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-s.pdf»
- 22:30, 22 октября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-s.pdf»
- 16:41, 22 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-17-2-T2.pdf»
- 16:40, 22 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-17-2-A.pdf»
- 18:28, 21 октября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp tasks.pdf»
- 14:58, 20 октября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lection pbscpp 7.pdf» (исправления)
- 11:41, 20 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-17-2-A.pdf»
- 11:40, 20 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-17-2-T2.pdf»
- 00:51, 20 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 14.pdf» (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 00:05, 20 октября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Lection pbscpp 7.pdf»
- 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» (супер-пупер обновление обзора)
- 12:56, 16 октября 2017 RomanovDS (обсуждение | вклад) загрузил «Файл:Аннотация доклада 27.docx»
- 21:18, 15 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций В 2017-2.pdf»
- 21:18, 15 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Слайды лекций Ч1 2017-2.pdf»
- 21:17, 15 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч2 2017-2.pdf»
- 11:55, 14 октября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp tasks.pdf»
- 11:54, 14 октября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp tasks.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: что такое процессор; архитектура системы команд)
- 23:34, 12 октября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Lection pbscpp 6.pdf» (Лекция 6)
- 19:58, 12 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 19:57, 12 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-17-2-A.pdf»
- 19:30, 12 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Задачи по курсу Основы кибернетики 2011.pdf»
- 17:57, 12 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 11:31, 11 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлена некритичная опечатка в домашнем задании)
- 18:09, 8 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 16:34, 8 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-17-2-A.pdf»
- 16:23, 8 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-17-2-A.pdf»
- 16:23, 8 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-17-2-T1.pdf»
- 16:19, 8 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-GR-T1.pdf»
- 10:20, 6 октября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Lection pbscpp 4.pdf»
- 01:08, 6 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Prac 318 tests.pdf»
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 10.pdf» (языки описания схем. блок 10: практика verilog)
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 09.pdf» (языки описания схем. блок 9: функциональная симуляция)
- 15:17, 5 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 21:40, 1 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 19:27, 1 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 13:53, 1 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлена еще одна опечатка)
- 09:37, 1 октября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Pbscpp tasks.pdf»
- 09:36, 1 октября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp tasks.pdf»
- 00:55, 1 октября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-MarksLegend.pdf»
- 00:53, 1 октября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-KM1.pdf»
- 23:59, 30 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 23:59, 30 сентября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Задачи 2017-2 0930.pdf»
- 16:56, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлены опечатки)
- 11:47, 29 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Cyb-KM1.pdf»
- 11:31, 29 сентября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-KM1.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» (урезан согласно фактически разобранному, исправлены опечатки)
- 09:35, 29 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Слайды лекций Ч1 2017-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 год, новое оформление, поправленные опечатки)
- 15:38, 26 сентября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l4-selezn.pdf»
- 15:36, 26 сентября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 14:17, 26 сентября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Lection pbscpp 3.pdf» (Лекция 3 по ПБС на C++)
- 16:02, 25 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 06.pdf»
- 13:06, 24 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 14:47, 23 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 05.pdf» (языки описания схем. блок 5 (модули, шины, регистры, rtl))
- 22:22, 20 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 23:13, 19 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 00:29, 18 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 19:34, 17 сентября 2017 AlekseevVB (обсуждение | вклад) загрузил «Файл:KNIGA1.pdf»
- 18:54, 17 сентября 2017 AlekseevVB (обсуждение | вклад) загрузил «Файл:Lectdm.doc»
- 21:44, 16 сентября 2017 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Lection pbscpp 2.pdf» (typo fix)
- 22:00, 15 сентября 2017 KonovodovV (обсуждение | вклад) загрузил «Файл:Lection pbscpp 2.pdf» (Слайды ко второй лекции по ПБСнаC++)
- 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» (новая нотация (согласно новому варианту лекций) и исправленные опечатки)
- 08:55, 13 сентября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2017-2.pdf»
- 13:09, 12 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017-2.pdf»
- 13:08, 12 сентября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Задачи 20170-2.pdf»
- 13:05, 12 сентября 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Задачи 2017-2.pdf»
- 19:46, 11 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac-318-git-task-tree.pdf» (практикум 318 группы, осенний семестр, дерево коммитов для задания по git)
- 19:30, 10 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 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» (сильно обновлённая версия лекции про логику Хоара)
- 16:53, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Gip-l1-selezn.pdf»
- 15:34, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam-2-2017.docx»
- 12:09, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivdm-l1-selezn.pdf»
- 12:08, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-lect1-selezn.pdf»
- 12:07, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l11-selezn.pdf»
- 12:07, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l10-selezn.pdf»
- 12:06, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l9-selezn.pdf»
- 12:06, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l8-selezn.pdf»
- 12:05, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l7-selezn.pdf»
- 12:05, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l6-selezn.pdf»
- 12:04, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l5-selezn.pdf»
- 12:04, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l4-selezn.pdf»
- 12:03, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l3-selezn.pdf»
- 12:03, 5 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l2-selezn.pdf»
- 22:45, 3 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-l1-selezn.pdf»
- 22:44, 3 сентября 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm l1.pdf»
- 16:36, 3 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 06:58, 1 сентября 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 09:22, 31 августа 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 09:20, 31 августа 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 311-319.pdf»
- 09:01, 31 августа 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК 311-319.pdf»
- 16:28, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l7-selezn.pdf»
- 16:25, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l6-selezn.pdf»
- 16:08, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l5-selezn.pdf»
- 15:53, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l4-selezn.pdf»
- 15:35, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l3-selezn.pdf»
- 12:11, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l2-selezn.pdf»
- 12:04, 14 августа 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Gip-l1-selezn.pdf»
- 19:56, 1 июля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Статистика 2017-1 320-328.pdf»
- 19:46, 1 июля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Статистика 2017-1 320-328.pdf»
- 23:52, 22 июня 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2017.pdf»
- 23:52, 22 июня 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 318 routing 2017.pdf»
- 23:51, 22 июня 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 318 placement 2017.pdf»
- 23:50, 22 июня 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 318 graph partitioning 2017.pdf»
- 23:50, 22 июня 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 418 technology 2017.pdf»
- 20:51, 16 июня 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-exam-2017.docx»
- 16:20, 16 июня 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam-2017.docx»
- 01:46, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 01:45, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-TST.pdf»
- 01:44, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-ALL.pdf»
- 01:43, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P4.pdf»
- 01:43, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P3.pdf»
- 01:42, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P2.pdf»
- 01:41, 14 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 20:34, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:OK-REWR-LIST17.pdf»
- 17:37, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:OK-REWR-LIST17.pdf»
- 16:52, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:OK-REWR-LIST17.pdf»
- 16:51, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:OK-REWR-LIST17.pdf»
- 16:42, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 16:41, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P2.pdf»
- 16:41, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P3.pdf»
- 16:41, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P4.pdf»
- 16:41, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-ALL.pdf»
- 16:40, 11 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-TST.pdf»
- 16:40, 11 июня 2017 DanilovB (обсуждение | вклад) загрузил «Файл:OK-REWR-LIST17.pdf»
- 15:32, 9 июня 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp exam 2017 318.xls»
- 14:28, 9 июня 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp exam 2017 318.xls»
- 21:13, 8 июня 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Основы проектирования цифровых интегральных схем 2017-1.pdf»
- 21:09, 8 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Слайды лекций Ч1-4 2017.pdf»
- 21:08, 8 июня 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Вопросы 2017-1 320-328.pdf»
- 21:02, 8 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Часть 3 2017 (320-328).pdf»
- 10:28, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 10:28, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-TST.pdf»
- 10:28, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-ALL.pdf»
- 10:27, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P4.pdf»
- 10:27, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P3.pdf»
- 10:27, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P2.pdf»
- 10:26, 4 июня 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 14:38, 1 июня 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:G-521-2017.pdf»
- 10:09, 31 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 10:09, 31 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-TST.pdf»
- 10:08, 31 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-ALL.pdf»
- 10:08, 31 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-P4.pdf»
- 10:08, 31 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P3.pdf»
- 10:07, 31 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P2.pdf»
- 10:07, 31 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 17:11, 22 мая 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Title-kursovaja.zip»
- 17:00, 22 мая 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Title-kurs.doc»
- 17:57, 17 мая 2017 Root (обсуждение | вклад) создал учётную запись Secretary (обсуждение | вклад) (страница для секретаря кафедры математической кибернетики)
- 18:49, 15 мая 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 16 17.pdf» (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций)
- 13:17, 15 мая 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 12.pdf»
- 12:01, 10 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 11:56, 10 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-ALL.pdf»
- 11:56, 10 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-GR-170510-SA.pdf»
- 11:54, 10 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-P3.pdf»
- 11:54, 10 мая 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-P2.pdf»
- 11:53, 10 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 10:59, 5 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1-2.pdf»
- 10:59, 5 мая 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 18:43, 27 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 18:43, 27 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1-2.pdf»
- 16:43, 24 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»
- 13:09, 24 апреля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 11.pdf»
- 11:12, 24 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 11:11, 24 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1-2.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» (еще раз поправлено доказательство разрешимости арифметики Пресбургера)
- 19:34, 21 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvkr618-2017.doc»
- 19:31, 21 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Vkr418-2017.doc»
- 13:32, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 13:25, 19 апреля 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 2017 318 HW2 students.pdf»
- 13:25, 19 апреля 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 2017 318 HW2.pdf»
- 17:26, 18 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus7-selezn.pdf»
- 17:25, 18 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus2-selezn.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»
- 08:34, 17 апреля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 10.pdf»
- 03:00, 17 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 02:59, 17 апреля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Cyb-GR-170416-A.pdf»
- 02:59, 17 апреля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-P1-2.pdf»
- 02:57, 17 апреля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG16-P1-2.pdf»
- 17:50, 16 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»
- 16:07, 16 апреля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1-4 2017.pdf»
- 15:13, 16 апреля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 4 2017 (320-328).pdf»
- 15:13, 16 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Часть 3 2017 (320-328).pdf»
- 14:54, 16 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017.pdf»
- 22:13, 15 апреля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 241 test results.xls» (результаты контрольной работы по матлогике, группы 318 и 241)
- 19:59, 14 апреля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 9.pdf»
- 14:52, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Peano axioms.pdf» (переформулирована как теория без равенства)
- 13:47, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (черновик 2107)
- 16:17, 12 апреля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:ExamMC-2017.pdf»
- 10:38, 12 апреля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 9.pdf»
- 10:37, 12 апреля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 8.pdf»
- 12:06, 11 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (черновик)
- 18:08, 10 апреля 2017 Root (обсуждение | вклад) создал учётную запись Emergency User (обсуждение | вклад) (запасной пользователь для экстренных ситуаций (как сегодня - забытый пароль))
- 20:24, 7 апреля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 8.pdf»
- 20:43, 6 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Часть 3 2017 (320-328).pdf»
- 19:07, 6 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm2-lect7-selezn1.pdf»
- 18:56, 6 апреля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm2-lect7-selezn.pdf»
- 18:53, 6 апреля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm2-lect7-selezn.pdf»
- 18:50, 6 апреля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm2-lect7-selezn.pdf»
- 14:44, 3 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (отсюда и дальше по лекциям (по мат.логике) будет всё существенно переделано)
- 13:36, 3 апреля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus6-selezn.pdf»
- 01:39, 3 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 01:32, 3 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 01:32, 3 апреля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 19:27, 1 апреля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 7.pdf»
- 02:39, 31 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 02:39, 31 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 15:32, 29 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 7.pdf»
- 12:01, 29 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Mmvlsi-pcst-annot-170331.pdf»
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»
- 10:27, 27 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG17.pdf»
- 10:27, 27 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG17-P1.pdf»
- 00:20, 27 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-PROG17-P1.pdf»
- 00:19, 27 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-A-PROG17.pdf»
- 00:17, 27 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017.pdf»
- 13:33, 24 марта 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 6.pdf»
- 15:18, 23 марта 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus5-selezn.pdf»
- 11:33, 22 марта 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 2017 318 HW1 students.pdf»
- 11:32, 22 марта 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 2017 318 HW1.pdf»
- 22:38, 21 марта 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus5-selezn.pdf»
- 22:34, 21 марта 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l6-selezn.pdf»
- 22:33, 21 марта 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-l5-selezn.pdf»
- 15:13, 20 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 6.pdf»
- 21:32, 19 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-SA-PROG17-P1.pdf»
- 21:29, 19 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-SA-PROG17-P1.pdf»
- 21:05, 19 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 3 2017 (320-328).pdf»
- 18:49, 17 марта 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 5.pdf»
- 11:58, 16 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Lecture 8.pdf»
- 11:57, 16 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Lecture 7.pdf»
- 12:31, 15 марта 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus4-selezn.pdf»
- 13:17, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»
- 12:56, 14 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»
- 13:21, 13 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 5.pdf»
- 22:55, 12 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ОК Задачи 2017.pdf»
- 13:30, 10 марта 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 4.pdf»
- 03:53, 9 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:GR-SA-PROG17-P1.pdf»
- 22:52, 6 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 4.pdf»
- 20:43, 5 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2017.pdf»
- 20:35, 5 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 318, 418.pdf»
- 20:30, 5 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Задачи 2017.pdf»
- 19:53, 5 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Слайды лекций Ч1 2017 (320-328).pdf»
- 19:49, 5 марта 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 2 2017 (320-328).pdf»
- 19:44, 5 марта 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328.pdf»
- 12:51, 3 марта 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 3.pdf»
- 19:30, 1 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:42, 1 марта 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Fpga part2 lecture 1.pdf» (спецкурс "программируемые логические интегральные схемы", весенний семестр, первая лекция)
- 17:10, 1 марта 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Lecture 6.pdf»
- 23:03, 28 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dmus3-selezn.pdf»
- 03:30, 28 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Mmvlsi-annot-170303.pdf»
- 03:28, 28 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Mmvlsi-annot-170303.pdf»
- 03:27, 28 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Pcst-annot-170303.pdf»
- 18:39, 27 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Exdsa2017.png»
- 18:38, 27 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Exdsa2017.pdf»
- 13:38, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Exdusp2017.png»
- 13:38, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Exdsa2017.png»
- 13:29, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Exdusp2017.pdf»
- 13:29, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Exdsa2017.pdf»
- 11:12, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:DSA2017.pdf»
- 10:51, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:DCSA2017.pdf»
- 10:37, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Dusp title.png»
- 10:37, 27 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Dsa title.png»
- 10:36, 27 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Dsa title.png»
- 23:09, 26 февраля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 3.pdf»
- 17:11, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»
- 16:19, 20 февраля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 2.pdf»
- 16:07, 20 февраля 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:DistrAlg 1.pdf»
- 12:15, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 10:26, 20 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»
- 13:09, 17 февраля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 2.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»
- 12:41, 15 февраля 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI Verilog 2017.pdf»
- 18:18, 14 февраля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»
- 23:54, 13 февраля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Exam-2016-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»
- 19:13, 12 февраля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture PM 1.pdf»
- 16:53, 12 февраля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dmus1-selezn.pdf»
- 01:34, 10 февраля 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 1 2017 (320-328).pdf» (ОК_Часть_1_2017_(320-328).pdf)
- 16:26, 8 февраля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prosem 2016 Podymov Zakharov.pdf» (Презентация задачи по компьютерным сетям на просеминаре.)
- 13:18, 8 февраля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture CM 2.pdf»
- 13:17, 8 февраля 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture CM 1.pdf»
- 23:56, 7 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 318, 418.pdf»
- 23:55, 7 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 318-418.pdf»
- 23:45, 7 февраля 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК 320-328.pdf»
- 16:12, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-mag-selezn.pdf»
- 16:07, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Dm-mag-selezn.pdf»
- 16:00, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l7-selezn.pdf»
- 16:00, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l6-selezn.pdf»
- 15:59, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l5-selezn.pdf»
- 15:59, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l4-selezn.pdf»
- 15:58, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l3-selezn.pdf»
- 15:57, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l2-selezn.pdf»
- 15:57, 7 февраля 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-l1-selezn.pdf»
- 21:01, 23 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:EDCST-GR-170123.pdf»
- 20:56, 23 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:EDCST-GR.pdf»
- 20:54, 23 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ЭТДУС 418.doc»
- 22:52, 22 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ЭТСДУС Часть 1 2016.pdf»
- 16:48, 21 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ЭТСДУС Часть 1 2016.pdf»
- 15:02, 21 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ЭТСДУС Часть 1 2016.pdf»
- 14:37, 19 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:EDCST-GR.pdf»
- 00:23, 16 января 2017 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-318-2017.doc»
- 13:56, 14 января 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:ExamVerification-2016.pdf»
- 09:55, 14 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТСНКДУС 518-2.pdf»
- 09:51, 14 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТСНКДУС 518-2.pdf»
- 09:40, 14 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ЭТСНКДУС 518-2.pdf»
- 23:47, 13 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Слайды ЭТСНКДУС Ч1.pdf»
- 22:40, 11 января 2017 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Logic synthesis 2017 exam questions.pdf»
- 14:39, 11 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:CYBAS-GR-MCYB-S.pdf»
- 14:39, 11 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:CYBAS-GR-MCYB-A.pdf»
- 14:35, 11 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:CYBAS-GR-MCYB-S.pdf»
- 14:35, 11 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:CYBAS-GR-MCYB-A.pdf»
- 12:18, 10 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:CYBAS-GR-MCYB-S.pdf»
- 12:18, 10 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:CYBAS-GR-MCYB-A.pdf»
- 22:31, 9 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 5 2016 (418).pdf»
- 15:53, 9 января 2017 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ОК 418 16.pdf»
- 17:37, 8 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ОК 418 16.pdf»
- 17:33, 8 января 2017 DanilovB (обсуждение | вклад) загрузил «Файл:ОК Часть 6 2016 (418).pdf»
- 11:18, 6 января 2017 ZakharovVA (обсуждение | вклад) загрузил «Файл:Exam-2016.pdf»
- 13:48, 5 января 2017 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 16:01, 27 декабря 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Test-3.pdf»
- 16:00, 27 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-4.pdf»
- 16:39, 26 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-3.pdf»
- 21:24, 24 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-2.pdf»
- 21:05, 24 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Test-1.pdf»
- 20:55, 24 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dfp-2016.docx»
- 17:18, 19 декабря 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 17:14, 19 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectLog25.pdf»
- 13:12, 16 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 11.pdf»
- 12:31, 16 декабря 2016 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы к экзамену по курсу ВКА.docx»
- 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)
- 14:24, 14 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Программа курса ДА.doc»
- 14:16, 14 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Список вопросов к экзамену по курсу ИВТГ .doc»
- 07:45, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Pcst16-2.pdf»
- 07:43, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Cstnmmvlsi16-2.pdf»
- 07:40, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:CYBAS-GR-MCYB.pdf»
- 07:38, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:GR-S-MCYB.pdf.pdf»
- 07:35, 14 декабря 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ЭТДУС 418.pdf»
- 16:42, 12 декабря 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:LectLog22-2.pdf»
- 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»
- 18:50, 6 декабря 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Romanovs Abstract.doc»
- 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» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция про многотактовый процессор и виды управляющих автоматов)
- 17:34, 2 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Otchet618-2016.doc»
- 17:33, 2 декабря 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Otchet418-2016.doc»
- 13:53, 2 декабря 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW3 Overview.pdf» (практикум на эвм для 318 группы, третье домашнее задание: реализация графа как набора bdd; операции над bdd; регулярные выражения)
- 12:43, 2 декабря 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Uvarov 02 12 2016.pdf»
- 17:18, 30 ноября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:B-m-graph-theory.pdf»
- 19:02, 28 ноября 2016 Root (обсуждение | вклад) автоматически отпатрулировал версию 3215 страницы Коды и их применения
- 18:59, 28 ноября 2016 Root (обсуждение | вклад) автоматически отпатрулировал версию 3214 страницы Практикум по дискретным структурам
- 18:57, 28 ноября 2016 Root (обсуждение | вклад) переименовал страницу Программная реализация дискретных структур в Практикум по дискретным структурам без оставления перенаправления
- 13:40, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 13:38, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 13:35, 25 ноября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 8.pdf»
- 16:51, 24 ноября 2016 ZakharovVA (обсуждение | вклад) загружена новая версия «Файл:Colloquium-2016.pdf»
- 16:48, 24 ноября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Colloquium-2016.pdf»
- 20:15, 23 ноября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:К А Попков КС-замык.doc»
- 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)
- 00:32, 6 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 HW2 Overview.pdf»
- 22:52, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 3.pdf»
- 22:52, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 2.pdf»
- 22:51, 2 ноября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Fpga lecture 1.pdf»
- 14:12, 2 ноября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf»
- 14:05, 2 ноября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7.pdf» (математические методы верификации схем и программ. лекция 7: табличный и автоматный алгоритмы проверки LTL-формул и около того)
- 15:29, 1 ноября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 418.pdf»
- 08:26, 31 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect3.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 3: debug схем (чтение нетлистов и диаграмм Мура, симуляция))
- 04:30, 31 октября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Вопросы ЭТДУС 418.pdf»
- 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»
- 13:49, 23 октября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part56.pdf»
- 13:25, 23 октября 2016 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf»
- 10:41, 23 октября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:MIPSfpgaMSUInfo2016.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. общая информация о модельном процессоре, описание инст…)
- 11:48, 12 октября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Popkov.docx»
- 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)
- 00:30, 11 октября 2016 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Prac318 Autumn 2016 Part2.pdf»
- 00:29, 11 октября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part34.pdf»
- 18:43, 7 октября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 6.pdf»
- 11:22, 6 октября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 5.pdf»
- 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»
- 14:38, 3 октября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivdm-s.pdf»
- 14:51, 2 октября 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:ДГДМ Вопросы.pdf»
- 11:22, 2 октября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Igdm-book.pdf»
- 20:47, 28 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Kalavac.docx»
- 20:45, 28 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Galavac.docx»
- 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»
- 01:28, 26 сентября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК 318-418.pdf»
- 01:24, 26 сентября 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Cstnmmvlsi1617.pdf»
- 21:34, 24 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 4.pdf»
- 22:53, 21 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part2.pdf»
- 11:39, 21 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 3.pdf»
- 20:54, 20 сентября 2016 RomanovDS (обсуждение | вклад) загрузил «Файл:Zukov.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Part1.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac318 Autumn 2016 Overview.pdf»
- 18:55, 18 сентября 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:Prac 318 Autumn 2016 rules.pdf»
- 13:58, 16 сентября 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam2-2016.docx»
- 12:14, 14 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf»
- 12:07, 14 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1.pdf» (618 группа, математические методы верификации схем и программ, семинар по логике Хоара)
- 14:13, 9 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 2.pdf»
- 14:12, 9 сентября 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Lecture Verification 1.pdf»
- 15:15, 6 сентября 2016 KonovodovV (обсуждение | вклад) загрузил «Файл:Cybernetics2.png»
- 23:34, 22 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 418 graph partitioning 2016.pdf»
- 23:33, 22 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 418 technology 2016.pdf»
- 23:32, 22 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 418 placement 2016.pdf»
- 23:30, 22 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:VLSI 418 routing 2016.pdf»
- 23:26, 22 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:MMMSBIS 2016.pdf»
- 20:22, 17 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:SAT SMT Vijay Ganesh lecture 6.pdf»
- 20:22, 17 июня 2016 ShupletsovMS (обсуждение | вклад) загрузил «Файл:SAT SMT Vijay Ganesh lecture 5.pdf»
- 18:52, 14 июня 2016 DanilovB (обсуждение | вклад) загрузил «Файл:ОК WT-06-10-Results.pdf»
- 23:24, 10 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 15:04, 10 июня 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm-exam1-2016.pdf»
- 14:49, 9 июня 2016 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Dm2-exam2016-v.doc»
- 14:29, 9 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 13:26, 9 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 exam 2016.xls» (результаты экзамена по математической логике и логическому программированию, 318 группа, 2016 год)
- 22:59, 8 июня 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы ОК 320-328 16.pdf»
- 22:58, 8 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-ALL.pdf»
- 22:54, 8 июня 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Вопросы к экзамену ОК 320-328 2015-06-04.pdf»
- 19:43, 8 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Ex2016-1.pdf»
- 17:39, 7 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016))
- 11:28, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG16.pdf»
- 11:28, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-ALL.pdf»
- 11:14, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG16.pdf»
- 11:14, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-ALL.pdf»
- 11:13, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P3.pdf»
- 11:13, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P2.pdf»
- 11:13, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P1.pdf»
- 08:22, 6 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Ex2016-1.pdf»
- 08:22, 6 июня 2016 DanilovB (обсуждение | вклад) загрузил «Файл:Exercise2016.pdf»
- 22:56, 2 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar zfc.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматической теории множеств)
- 21:28, 1 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar sat-smt.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматическим теориям и задачам выполнимости формул)
- 17:12, 1 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P1.pdf»
- 17:12, 1 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P2.pdf»
- 17:11, 1 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P3.pdf»
- 17:11, 1 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-ALL.pdf»
- 17:09, 1 июня 2016 DanilovB (обсуждение | вклад) загрузил «Файл:S-PROG16-ALL.pdf»
- 17:08, 1 июня 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-A-PROG16.pdf»
- 22:42, 31 мая 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Ex2016-1.pdf»
- 23:41, 28 мая 2016 ZakharovVA (обсуждение | вклад) загрузил «Файл:Группа 521(new).docx»
- 17:32, 21 мая 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-ALL.pdf»
- 17:32, 21 мая 2016 DanilovB (обсуждение | вклад) загрузил «Файл:GR-2016-05-20-SALL.pdf»
- 17:31, 21 мая 2016 DanilovB (обсуждение | вклад) загружена новая версия «Файл:GR-S-PROG16-P3.pdf»