Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
5 октября 2022
- (разн. | история) . . Проектирование больших систем С++; 12:16 . . (-393) . . KonovodovV (обсуждение | вклад)
3 октября 2022
- (Журнал загрузок); 20:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (Пересечение -> синхронная композиция)
- (Журнал загрузок); 20:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (Добавлено важное уточнение про конечность модели)
- (Журнал загрузок); 20:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (Поправлено несколько опечаток)
- (Журнал загрузок); 20:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (Исправлено несколько опечаток)
- (разн. | история) . . Математические методы верификации схем и программ; 14:12 . . (+659) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:07 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 15.pdf» (Методы верификации (618, 621). Блок 15. Автоматный алгоритм model checking для LTL: уточнённая схема)
- (Журнал загрузок); 14:07 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 14.pdf» (Методы верификации (618, 621). Блок 14. Автоматы Бюхи для моделей Крипке и ltl-формул)
- (Журнал загрузок); 14:06 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 13.pdf» (Методы верификации (618, 621). Блок 13. Пересечение и проверка пустоты автоматов Бюхи)
- (Журнал загрузок); 14:05 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 12.pdf» (Методы верификации (618, 621). Блок 12. Автоматы Бюхи, обычные и обобщённые)
- (Журнал загрузок); 14:05 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Verif VP 11.pdf» (Методы верификации (618, 621). Блок 11. Автоматный алгоритм model checking для LTL: общая схема)
- (Журнал загрузок); 13:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (Поправлена опечатка (в какой-то момент пропала формулировка теоремы))
- (разн. | история) . . Проектирование больших систем С++; 13:33 . . (-9) . . KonovodovV (обсуждение | вклад) (→Содержание курса)
- (Журнал загрузок); 09:48 . . DanilovB (обсуждение | вклад) загрузил «Файл:Problems-22-2 1.pdf»
- (разн. | история) . . Основы кибернетики (2-й поток, 3 курс); 09:48 . . (+113) . . DanilovB (обсуждение | вклад) (→Дополнительные материалы по курсу)
- (разн. | история) . . Проектирование больших систем С++; 09:22 . . (+58) . . KonovodovV (обсуждение | вклад) (→Содержание курса)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 08:00 . . (+545) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 07:57 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 21.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 21. Алгоритм унификации)
- (Журнал загрузок); 07:57 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 20.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 20. Композиция подстановок. Задача унификации (постановка))
- (Журнал загрузок); 07:56 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 19.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 19. Системы дизъюнктов)
- (Журнал загрузок); 07:55 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 18.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 18. ССФ)
- (Журнал загрузок); 07:55 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP 17.pdf» (Мат. лог. и лог. прог., 3 поток. Блок 17. ПНФ)
2 октября 2022
- (разн. | история) . . Проектирование больших систем С++; 14:45 . . (+22) . . KonovodovV (обсуждение | вклад) (→Содержание курса)
- (разн. | история) . . Проектирование больших систем С++; 14:42 . . (+321) . . KonovodovV (обсуждение | вклад)
1 октября 2022
- (Журнал загрузок); 18:55 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
- (Журнал загрузок); 18:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (Немного поменял обозначение последовательностей и того, откуда берутся их элементы (готическое S и Сигма вместо Сигма и Икс).)
29 сентября 2022
- (Журнал загрузок); 12:17 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (Исправлено несколько опечаток)
- (Журнал загрузок); 12:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (Исправлено несколько опечаток)
- (Журнал загрузок); 12:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (Исправлено несколько опечаток)
28 сентября 2022
- (разн. | история) . . Проектирование больших систем С++; 12:17 . . (+268) . . KonovodovV (обсуждение | вклад) (→Содержание курса)
- (разн. | история) . . Проектирование больших систем С++; 10:11 . . (-19) . . KonovodovV (обсуждение | вклад)
- (Журнал загрузок); 07:03 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-22-09-30.pdf»
- (разн. | история) . . Математические вопросы кибернетики; 07:01 . . (+582) . . SeleznevaSN (обсуждение | вклад)
