Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 18:10, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis CMOS.pdf»
- 18:06, 11 января 2023 ShupletsovMS (обсуждение | вклад) загружена новая версия «Файл:Logic synthesis intro.pdf»
- 20:13, 7 января 2023 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Cpp exam demo.pdf» (Возврат к версии от 09:19, 29 декабря 2022)
- 20:12, 7 января 2023 KonovodovV (обсуждение | вклад) загружена новая версия «Файл:Cpp exam demo.pdf» (fix bug in the last task)
- 12:19, 29 декабря 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Cpp exam demo.pdf»
- 12:17, 29 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (Исправлена одна из формулировок утверждений про шкалы (на конечный итог не влияет))
- 15:22, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:ВКА 2022.docx»
- 13:40, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы по курсу ВКА 2022.docx»
- 13:25, 26 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы к экзамену по курсу ВКА 2022.docx»
- 17:22, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP all.pdf» (ММ верификации СиП, 618 и 621, все лекции 2022 для экзамена в одном файле (кроме обзоров Spin и NuSMV))
- 17:02, 21 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP all.pdf» (Мат. лог. и лог. прог., 3 поток, все слайды лекций 2022 в одном файле)
- 12:23, 21 декабря 2022 AlekseevVB (обсуждение | вклад) загрузил «Файл:Вопросы Сложность алгоритмов 2022.doc»
- 13:24, 15 декабря 2022 KonovodovV (обсуждение | вклад) загрузил «Файл:Pbscpp content 2022.pdf»
- 22:14, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2022-2023.pdf» (Исправлены опечатки)
- 22:14, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК семинары 2022-2023.pdf» (Исправлены опечатки)
- 17:48, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК семинары 2022-2023.pdf» (Добавлена 3-я часть курса)
- 17:48, 14 декабря 2022 SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМК 2022-2023.pdf» (Добавлена 3-я часть курса)
- 22:00, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (Исправлены опечатки)
- 21:59, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (Исправлены опечатки)
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (Исправлены опечатки (и это блок 58, не 56))
- 21:58, 12 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (Исправлены опечатки)
- 21:02, 12 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-12-16.pdf»
- 23:08, 11 декабря 2022 Root (обсуждение | вклад) загрузил «Файл:Verif VP 32.pdf» (Методы верификации (618, 621). Блок 32. Решение BMC при помощи SAT)
- 23:08, 11 декабря 2022 Root (обсуждение | вклад) удалил страницу Файл:Verif CP 32.pdf (опечатка в названии)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif CP 32.pdf» (Методы верификации (618, 621). Блок 32. Решение BMC при помощи SAT)
- 23:05, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 31.pdf» (Методы верификации (618, 621). Блок 31. Проблема выполнимости булевых формул (SAT))
- 23:04, 11 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 30.pdf» (Методы верификации (618, 621). Блок 30. Bounded model checking (BMC), постановка задачи)
- 22:37, 11 декабря 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem221211.pdf»
- 22:35, 11 декабря 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Specsem221211.pdf»
- 17:25, 10 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 58.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Алгоритм model checking для CTL)
- 18:23, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l2-selezn.pdf»
- 18:18, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l4-selezn.pdf»
- 18:18, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 18:16, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загружена новая версия «Файл:Ivtg3-l5-selezn.pdf»
- 18:10, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg5-l5-selezn.pdf»
- 18:10, 8 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Ivtg4-l4-selezn.pdf»
- 20:23, 7 декабря 2022 SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-12-09.pdf»
- 15:28, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 29.pdf» (Методы верификации (618, 621). Блок 29. Редукция по конусу, абстракция данных)
- 15:27, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 28.pdf» (Методы верификации (618, 621). Блок 28. Бисимуляция состояний. Алгоритм проверки бисимуляции. Фактор-модель)
- 15:26, 7 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 27.pdf» (Методы верификации (618, 621). Блок 27. Симуляция и бисимуляция)
- 09:55, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 54.pdf» (Исправлены опечатки)
- 09:54, 7 декабря 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (Исправлены опечатки)
- 16:00, 5 декабря 2022 RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem221205.doc»
- 11:46, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 57.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 57. Темпоральные логики для спецификации)
- 11:43, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 56.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 56. Размеченные системы переходов)
- 11:42, 4 декабря 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 55.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 55. Верификация распределённых систем)
- 22:21, 30 ноября 2022 DanilovB (обсуждение | вклад) загружена новая версия «Файл:Msu-dgdmik-20-2-lectures.pdf»
- 22:20, 30 ноября 2022 DanilovB (обсуждение | вклад) загрузил «Файл:Msu-dgdmik-20-2-lectures.pdf»