Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
17 мая 2022
- (разн. | история) . . Большие графы и модели сложных сетей; 12:48 . . (-1605) . . KonovodovV (обсуждение | вклад)
- (разн. | история) . . Большие графы и модели сложных сетей; 10:46 . . (-1408) . . KonovodovV (обсуждение | вклад)
- (Журнал загрузок); 09:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- (разн. | история) . . Большие графы и модели сложных сетей; 09:17 . . (-57) . . KonovodovV (обсуждение | вклад) (→Экзамен)
- (разн. | история) . . Большие графы и модели сложных сетей; 09:12 . . (+111) . . KonovodovV (обсуждение | вклад)
- (разн. | история) . . Основы кибернетики (3-й поток); 09:09 . . (+185) . . DanilovB (обсуждение | вклад)
15 мая 2022
- (разн. | история) . . Математическая логика и логическое программирование (группа 318); 19:14 . . (-8) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 19:12 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)
- (Журнал загрузок); 19:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (Весна 2022. Теперь тут про императивные программы и логику Хоара)
- (Журнал загрузок); 19:10 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- (Журнал удалений); 19:09 . . Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160701!Mathlog_318_b45.pdf: дубль)
- (Журнал удалений); 19:09 . . Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 b45.pdf (Удалена старая версия 20220515160836!Mathlog_318_b45.pdf: загружено по ошибке)
- (Журнал загрузок); 19:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- (Журнал загрузок); 19:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Формальная верификация)
- (Журнал загрузок); 19:06 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (Весна 2022. Теперь тут темпоральные логики)
- (Журнал загрузок); 19:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (Весна 2022. Теперь тут эпистемичекие логики)
11 мая 2022
- (разн. | история) . . Шаблон:Important Announcements; 20:20 . . (+465) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - титульный лист.doc» (Титульный лист курсовой работы 2022)
- (Журнал загрузок); 20:17 . . PodymovVV (обсуждение | вклад) загрузил «Файл:Курсовая работа - требования.pdf» (Требования к курсовой работе 2022)
