Свежие правки

Перейти к: навигация, поиск

Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.

Настройки свежих правок Показать последние 50 | 100 | 250 | 500 изменений за 1 | 3 | 7 | 14 | 30 дней
Показать малые правки | Показать ботов | Скрыть непредставившихся | Скрыть представившихся участников | Скрыть свои правки
Показать изменения с 02:12, 24 ноября 2024.

23 ноября 2024

(разн. | история) . . Проектирование больших систем на С++‎; 22:51 . . (+124)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
(разн. | история) . . Проектирование больших систем на С++‎; 19:09 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

22 ноября 2024

(разн. | история) . . Проектирование больших систем на С++‎; 20:50 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

21 ноября 2024

(Журнал загрузок); 22:08 . . DanilovB (обсуждение | вклад) загружена новая версия «Файл:Курс ОК-24-2 311-319.pdf» ‎
(разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 21:40 . . (+408)‎ . . ‎RomanovDS (обсуждение | вклад)‎ (→‎Расписание докладов)
(Журнал загрузок); 21:38 . . RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem20241115.pdf» ‎
(Журнал загрузок); 21:36 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241115.pdf» ‎
(разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 21:33 . . (-1)‎ . . ‎RomanovDS (обсуждение | вклад)‎ (→‎Расписание докладов)
(разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 21:32 . . (-1)‎ . . ‎RomanovDS (обсуждение | вклад)‎ (→‎Расписание докладов)
(разн. | история) . . Теория управляющих систем и математические модели СБИС‎; 21:32 . . (+315)‎ . . ‎RomanovDS (обсуждение | вклад)‎ (→‎Расписание докладов)
(Журнал загрузок); 21:30 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241122.pdf» ‎

20 ноября 2024

(Журнал загрузок); 17:53 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf» ‎
(Журнал загрузок); 17:51 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf» ‎(Внесены исправления)
(разн. | история) . . Математические методы верификации схем и программ‎; 10:34 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
(Журнал загрузок); 10:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 39.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 37.pdf» ‎(2024-2025, без существенных изменений)

19 ноября 2024

(разн. | история) . . Функциональные системы‎; 16:30 . . (+53)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
(разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 16:25 . . (-2169)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
(разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 16:23 . . (-1)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
(разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 16:22 . . (+2338)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎

17 ноября 2024

(разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 13:30 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
(Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» ‎(2024-2025, без существенных изменений)
(разн. | история) . . Математические методы верификации схем и программ‎; 13:26 . . (-34)‎ . . ‎PodymovVV (обсуждение | вклад)‎
(Журнал загрузок); 13:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 13:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» ‎(2024-2025, без существенных изменений)
(разн. | история) . . Языки описания схем‎; 12:12 . . (-34)‎ . . ‎PodymovVV (обсуждение | вклад)‎
(Журнал загрузок); 12:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s05.pdf» ‎(2024-2025, без существенных изменений)
(Журнал загрузок); 11:59 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» ‎(опечатки)
(Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» ‎(опечатки)
(Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» ‎(опечатки)
(Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» ‎(опечатки)
(Журнал загрузок); 11:56 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» ‎(помарки)

Источник — «https://mk.cs.msu.ru/index.php/Служебная:Свежие_правки»

Навигация