Вклад участника
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)
- 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) . . Математические методы верификации схем и программ
- 15:59, 22 сентября 2020 (разн. | история) . . (+136) . . Н Файл:Seminar Verification 2 eng.pdf (Английский перевод версии 2019 года (то же без "eng") с косметическими правками) (текущая)
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Языки описания схем
- 14:31, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 14:30, 16 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 19:00, 14 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 10:56, 12 сентября 2020 (разн. | история) . . (0) . . м Языки описания схем
- 10:55, 12 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 23:45, 8 сентября 2020 (разн. | история) . . (-38) . . Математические методы верификации схем и программ
- 23:44, 8 сентября 2020 (разн. | история) . . (+134) . . Н Файл:Seminar Verification 1 eng.pdf (курс методов верификации. осень 2020. семинар по логике хоара на английском) (текущая)
- 11:14, 8 сентября 2020 (разн. | история) . . (-164) . . Математические методы верификации схем и программ
- 11:11, 8 сентября 2020 (разн. | история) . . (+116) . . Н Файл:Lecture Verification 2 eng.pdf (магистерский курс методов верификации, лекция про логику Хоара) (текущая)
- 21:53, 4 сентября 2020 (разн. | история) . . (+6) . . м Языки описания схем
- 21:52, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 21:52, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 21:51, 4 сентября 2020 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 23:56, 1 сентября 2020 (разн. | история) . . (+9) . . м Языки описания схем
- 23:52, 1 сентября 2020 (разн. | история) . . (+39) . . м Математические методы верификации схем и программ
- 01:01, 3 июля 2020 (разн. | история) . . (+22) . . Математическая логика (318, 319/2, 241, 242)
- 14:47, 1 июля 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt») (текущая)
- 23:52, 28 июня 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 10:17, 28 июня 2020 (разн. | история) . . (+9) . . Математическая логика (318, 319/2, 241, 242)
- 20:46, 23 июня 2020 (разн. | история) . . (0) . . Файл:Test.txt (PodymovVV загружена новая версия «Файл:Test.txt»)
- 18:20, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:03, 28 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:38, 26 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 19:08, 24 мая 2020 (разн. | история) . . (+12) . . Математическая логика (318, 319/2, 241, 242)
- 19:03, 24 мая 2020 (разн. | история) . . (+17) . . Математическая логика (318, 319/2, 241, 242)
- 19:02, 24 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf») (текущая)
- 18:26, 18 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:41, 17 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 12:00, 17 мая 2020 (разн. | история) . . (-1274) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 17 мая 2020 (разн. | история) . . (+4) . . Математическая логика (318, 319/2, 241, 242)
- 11:42, 17 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf») (текущая)
- 11:41, 17 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf») (текущая)
- 10:41, 16 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf») (текущая)
- 19:40, 14 мая 2020 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 19:39, 14 мая 2020 (разн. | история) . . (-8415) . . м Математическая логика (318, 319/2, 241, 242)
- 19:34, 14 мая 2020 (разн. | история) . . (-230) . . Математическая логика (318, 319/2, 241, 242)
- 19:28, 14 мая 2020 (разн. | история) . . (-3) . . Математическая логика (318, 319/2, 241, 242)
- 19:27, 14 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 16:02, 13 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:21, 9 мая 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:46, 8 мая 2020 (разн. | история) . . (+87) . . Математическая логика (318, 319/2, 241, 242)
- 22:01, 3 мая 2020 (разн. | история) . . (-34) . . Математическая логика (318, 319/2, 241, 242)
- 18:02, 3 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 11:27, 3 мая 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf») (текущая)
- 11:35, 29 апреля 2020 (разн. | история) . . (+82) . . Математическая логика (318, 319/2, 241, 242)
- 19:30, 27 апреля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:28, 27 апреля 2020 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 11:28, 27 апреля 2020 (разн. | история) . . (+585) . . Математическая логика (318, 319/2, 241, 242)
- 02:00, 27 апреля 2020 (разн. | история) . . (+290) . . Математическая логика (318, 319/2, 241, 242)
- 01:58, 27 апреля 2020 (разн. | история) . . (+113) . . Н Файл:Mathlog 318 lecture 12 13.pdf (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 11:39, 21 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf») (текущая)
- 12:51, 20 апреля 2020 (разн. | история) . . (-1) . . м Математическая логика (318, 319/2, 241, 242)
- 12:50, 20 апреля 2020 (разн. | история) . . (+85) . . Математическая логика (318, 319/2, 241, 242)
- 12:25, 19 апреля 2020 (разн. | история) . . (-4) . . м Математическая логика (318, 319/2, 241, 242)
- 15:58, 17 апреля 2020 (разн. | история) . . (+5) . . м Математическая логика (318, 319/2, 241, 242)
- 15:57, 17 апреля 2020 (разн. | история) . . (-25) . . Математическая логика (318, 319/2, 241, 242)
- 15:53, 17 апреля 2020 (разн. | история) . . (+72) . . Математическая логика (318, 319/2, 241, 242)
- 15:49, 17 апреля 2020 (разн. | история) . . (-687) . . Математическая логика (318, 319/2, 241, 242)
- 15:35, 17 апреля 2020 (разн. | история) . . (+984) . . Математическая логика (318, 319/2, 241, 242)
- 15:26, 17 апреля 2020 (разн. | история) . . (-53) . . Математическая логика (318, 319/2, 241, 242)
- 15:24, 17 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 12:49, 14 апреля 2020 (разн. | история) . . (-643) . . Математическая логика (318, 319/2, 241, 242)
- 16:06, 13 апреля 2020 (разн. | история) . . (+95) . . Математическая логика (318, 319/2, 241, 242)
- 16:04, 13 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf») (текущая)
- 18:36, 11 апреля 2020 (разн. | история) . . (+2472) . . Математическая логика (318, 319/2, 241, 242)
- 18:11, 11 апреля 2020 (разн. | история) . . (-588) . . м Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)