Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
13 декабря 2025
- (разн. | история) . . Математические методы верификации схем и программ; 11:22 . . (-523) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 11:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
- (Журнал загрузок); 11:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
12 декабря 2025
- (Журнал загрузок); 00:04 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Планы семинаров ДГДМиК.pdf»
- (Журнал загрузок); 00:03 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Программа ДГДМиК.pdf»
11 декабря 2025
- (Журнал загрузок); 20:18 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
- (Журнал загрузок); 20:15 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
9 декабря 2025
- (разн. | история) . . Проектирование больших систем на С++; 19:37 . . (+1) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 19:37 . . (-28) . . ZhukovVV (обсуждение | вклад)
7 декабря 2025
- (разн. | история) . . Проектирование больших систем на С++; 12:54 . . (+546) . . ZhukovVV (обсуждение | вклад)
6 декабря 2025
- (Журнал загрузок); 13:42 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
5 декабря 2025
- (разн. | история) . . Проектирование больших систем на С++; 14:53 . . (+2) . . ZhukovVV (обсуждение | вклад)
4 декабря 2025
- (Журнал загрузок); 13:06 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
3 декабря 2025
- (Журнал загрузок); 15:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
- (Журнал загрузок); 15:26 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
1 декабря 2025
- (разн. | история) . . Графы и их приложения; 23:35 . . (+20) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Графы и их приложения; 23:35 . . (0) . . SeleznevaSN (обсуждение | вклад) (→Экзамен)
- (разн. | история) . . Графы и их приложения; 23:34 . . (+65) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (Журнал загрузок); 11:42 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (подрихтовал)
- (Журнал загрузок); 11:42 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатка)
- (разн. | история) . . Проектирование больших систем на С++; 00:04 . . (-157) . . ZhukovVV (обсуждение | вклад)
27 ноября 2025
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 15:20 . . (0) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 12:55 . . (-34) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 12:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 12:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
- (Журнал загрузок); 12:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (опечатки)
- (Журнал загрузок); 11:59 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (опечатки)
- (разн. | история) . . Функциональные системы; 10:23 . . (-882) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 10:22 . . (0) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 10:21 . . (-497) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 10:20 . . (+12) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дискретная математика (КФ); 10:19 . . (-515) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дискретная математика (КФ); 10:19 . . (+11) . . SavitskiyIV (обсуждение | вклад)
- (Журнал загрузок); 10:18 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:ДМ 2h Презентация.pdf»
24 ноября 2025
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 12:44 . . (0) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 12:43 . . (+405) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 12:39 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20251124.pdf»
23 ноября 2025
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 17:32 . . (-345) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 17:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 53.pdf» (2025/2026, теперь тут алгоритм проверки моделей для логики ветвящегося времени)
- (Журнал загрузок); 17:29 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 52.pdf» (2025/2026, теперь тут темпоральные логики)
- (Журнал загрузок); 17:29 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 51.pdf» (2025/2026, теперь тут модели крипке)
- (Журнал загрузок); 17:29 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2025/2026, теперь тут начало рассказа о проверке моделей)
- (Журнал загрузок); 17:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2025/2026, теперь тут логика хоара)
- (Журнал загрузок); 17:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2025/2026, теперь тут модельные императивные программы)
- (Журнал загрузок); 17:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2025/2026, теперь тут начало про формальную верификацию)
- (разн. | история) . . Математические методы верификации схем и программ; 17:26 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 17:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2025/2026, без существенных изменений)
- (разн. | история) . . Проектирование больших систем на С++; 08:22 . . (-20) . . ZhukovVV (обсуждение | вклад)
22 ноября 2025
- (разн. | история) . . Проектирование больших систем на С++; 22:42 . . (+70) . . ZhukovVV (обсуждение | вклад)
20 ноября 2025
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 21:27 . . (+636) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
