Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 21:50, 3 февраля 2021 (разн. | история) . . (+37) . . м Математическая логика (318, 319/2, 241, 242)
- 17:03, 3 февраля 2021 (разн. | история) . . (-2537) . . м Математическая логика (318, 319/2, 241, 242)
- 16:57, 3 февраля 2021 (разн. | история) . . (+211) . . м Математическая логика (318, 319/2, 241, 242) (начало подготовки страницы к семестру 2021-весна)
- 01:05, 3 февраля 2021 (разн. | история) . . (-76) . . м Математическая логика (группы 318, 241) (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (-68) . . Языки описания схем
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 05.pdf») (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 04.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 03.pdf») (текущая)
- 11:00, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf») (текущая)
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Языки описания схем
- 18:51, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 02.pdf»)
- 18:50, 9 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 01.pdf») (текущая)
- 14:43, 2 декабря 2020 (разн. | история) . . (-44) . . м Языки описания схем
- 22:14, 1 декабря 2020 (разн. | история) . . (-184) . . Математические методы верификации схем и программ
- 22:11, 1 декабря 2020 (разн. | история) . . (+118) . . Н Файл:Seminar Verification 10 eng.pdf (курс методов верификации, 2020. английский перевод семинара по UPPAAL) (текущая)
- 14:47, 1 декабря 2020 (разн. | история) . . (-151) . . Математические методы верификации схем и программ
- 14:45, 1 декабря 2020 (разн. | история) . . (+235) . . Н Файл:Lecture Verification 10 eng.pdf (курс методов верификации программ, 2020. английский перевод лекции про алгоритм верификации для tctl и про сети временных автоматов) (текущая)
- 15:30, 25 ноября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 20:26, 24 ноября 2020 (разн. | история) . . (-133) . . Математические методы верификации схем и программ
- 20:24, 24 ноября 2020 (разн. | история) . . (+117) . . Н Файл:Lecture Verification 9 eng.pdf (курс методов верификации, 2020. лекция про временные автоматы и tctl) (текущая)
- 14:26, 20 ноября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 14:22, 16 ноября 2020 (разн. | история) . . (-8) . . Языки описания схем
- 14:21, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 06.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 06.pdf») (текущая)
- 14:20, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 05.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 05.pdf») (текущая)
- 13:53, 16 ноября 2020 (разн. | история) . . (+133) . . Языки описания схем
- 13:52, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 22.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 22.pdf») (текущая)
- 13:47, 16 ноября 2020 (разн. | история) . . (+103) . . Н Файл:Hdl lecture 24.pdf (языки описания схем, 2020. символьные автоматы с таймерами) (текущая)
- 13:47, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 23.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 23.pdf») (текущая)
- 13:46, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 22.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 22.pdf»)
- 13:46, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 21.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 21.pdf») (текущая)
- 13:45, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 20.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 20.pdf») (текущая)
- 13:44, 16 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf») (текущая)
- 10:43, 13 ноября 2020 (разн. | история) . . (+8) . . Языки описания схем
- 10:40, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 04.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 04.pdf») (текущая)
- 10:40, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf») (текущая)
- 10:39, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf») (текущая)
- 10:39, 13 ноября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 19:30, 12 ноября 2020 (разн. | история) . . (0) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 18:44, 9 ноября 2020 (разн. | история) . . (-78) . . Математические методы верификации схем и программ
- 18:43, 9 ноября 2020 (разн. | история) . . (+127) . . Н Файл:Seminar Verification 8 eng.pdf (курс методов верификации, 2020. семинар с задачами по средству spin (англ.)) (текущая)
- 15:45, 4 ноября 2020 (разн. | история) . . (-22) . . м Языки описания схем
- 15:04, 3 ноября 2020 (разн. | история) . . (-104) . . Математические методы верификации схем и программ
- 15:03, 3 ноября 2020 (разн. | история) . . (+125) . . Н Файл:Seminar Verification 7 eng.pdf (курс методов верификации, 2020. английский перевод обзора средства spin.) (текущая)
- 20:21, 27 октября 2020 (разн. | история) . . (-78) . . Языки описания схем
- 20:15, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 03.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 03.pdf»)
- 20:15, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 02.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 02.pdf»)
- 16:16, 27 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 13:52, 23 октября 2020 (разн. | история) . . (+80) . . Языки описания схем
- 13:48, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 13:48, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 13:47, 23 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 18:28, 20 октября 2020 (разн. | история) . . (-78) . . Математические методы верификации схем и программ
- 18:28, 20 октября 2020 (разн. | история) . . (+159) . . Н Файл:Seminar Verification 5 eng.pdf (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv)) (текущая)
- 14:20, 20 октября 2020 (разн. | история) . . (-188) . . Математические методы верификации схем и программ
- 14:19, 20 октября 2020 (разн. | история) . . (+207) . . Н Файл:Lecture Verification 7 eng.pdf (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl) (текущая)
- 16:09, 19 октября 2020 (разн. | история) . . (-11) . . Математические методы верификации схем и программ
- 16:08, 19 октября 2020 (разн. | история) . . (+184) . . Н Файл:Seminar Verification 4 eng.pdf (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV)) (текущая)
- 18:57, 16 октября 2020 (разн. | история) . . (+153) . . Заглавная страница
- 19:41, 15 октября 2020 (разн. | история) . . (+39) . . м Выставка кафедр 2020
- 20:22, 14 октября 2020 (разн. | история) . . (+1) . . Выставка кафедр 2020
- 19:41, 14 октября 2020 (разн. | история) . . (+336) . . Выставка кафедр 2020
- 19:29, 14 октября 2020 (разн. | история) . . (+3884) . . Н Выставка кафедр 2020 (Новая страница: «На этой странице собраны ссылки на материалы, которые обычно демонстрируются на ежегодн…»)
- 19:10, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Выставка кафедр Задачки (миниатюра).png (Осень 2020) (текущая)
- 19:09, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Выставка кафедр Информационный лист (миниатюра).png (Осень 2020) (текущая)
- 18:48, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Постер кафедры (миниатюра).png (Осень 2020) (текущая)
- 17:59, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Постер кафедры.jpg (Осень 2020) (текущая)
- 17:57, 14 октября 2020 (разн. | история) . . (0) . . Н Файл:Постер кафедры.png (текущая)
- 17:51, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Выставка кафедр Задачки.pdf (Осень 2020) (текущая)
- 17:29, 14 октября 2020 (разн. | история) . . (+15) . . Н Файл:Выставка кафедр Информационный лист.pdf (Осень 2020)
- 17:28, 14 октября 2020 (разн. | история) . . (0) . . Н Файл:Постер кафедры.pdf (текущая)
- 15:32, 14 октября 2020 (разн. | история) . . (+46) . . Языки описания схем
- 15:31, 14 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 15:31, 14 октября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 20:44, 6 октября 2020 (разн. | история) . . (+1395) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 20:25, 6 октября 2020 (разн. | история) . . (-1455) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 20:24, 6 октября 2020 (разн. | история) . . (+27) . . Спецсеминары
- 20:23, 6 октября 2020 (разн. | история) . . (+1528) . . Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 20:04, 6 октября 2020 (разн. | история) . . (+1435) . . Дискретная математика и математическая кибернетика (→Расписание докладов)
- 17:38, 6 октября 2020 (разн. | история) . . (-47) . . Математические методы верификации схем и программ
- 17:37, 6 октября 2020 (разн. | история) . . (+123) . . Н Файл:Seminar Verification 3 eng.pdf (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский) (текущая)
- 20:07, 5 октября 2020 (разн. | история) . . (-23) . . м Языки описания схем
- 16:27, 30 сентября 2020 (разн. | история) . . (+67) . . Н Лаборатория дискретных управляющих систем и их приложений (Новая страница: «Пока что на этой странице ничего нет.») (текущая)
- 22:51, 28 сентября 2020 (разн. | история) . . (-112) . . Спецсеминары
- 22:45, 28 сентября 2020 (разн. | история) . . (+319) . . м Спецсеминары
- 22:29, 28 сентября 2020 (разн. | история) . . (+81) . . м Спецсеминары
- 22:20, 28 сентября 2020 (разн. | история) . . (0) . . Заглавная страница
- 22:17, 28 сентября 2020 (разн. | история) . . (-87) . . Заглавная страница
- 22:17, 28 сентября 2020 (разн. | история) . . (+1935) . . Н Спецсеминары (Новая страница: «''Если хотите связаться с преподавателем, но не можете, то напишите Подымов Владислав Ва…»)
- 22:03, 28 сентября 2020 (разн. | история) . . (-59) . . Заглавная страница
- 22:02, 28 сентября 2020 (разн. | история) . . (-86) . . м Категория:Спецкурсы кафедры МК (Полностью удалено содержимое страницы) (текущая)
- 22:01, 28 сентября 2020 (разн. | история) . . (+2168) . . Н Спецкурсы (Новая страница: «''Если хотите связаться с преподавателем, но не можете, то напишите Подымов Владислав Ва…»)
- 13:09, 27 сентября 2020 (разн. | история) . . (+139) . . Языки описания схем
- 13:06, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl practice 01.pdf (PodymovVV загружена новая версия «Файл:Hdl practice 01.pdf»)
- 12:42, 27 сентября 2020 (разн. | история) . . (+170) . . Языки описания схем
- 12:39, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:38, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 12:37, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 12:23, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 12:21, 27 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 16:01, 22 сентября 2020 (разн. | история) . . (-15) . . Математические методы верификации схем и программ
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)