Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
4 ноября 2024
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 15:39 . . (+191) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 15:37 . . (+984) . . SavitskiyIV (обсуждение | вклад)
2 ноября 2024
- (разн. | история) . . Проектирование больших систем на С++; 20:25 . . (+53) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:22 . . (0) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:09 . . (+137) . . ZhukovVV (обсуждение | вклад)
30 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 19:54 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 19:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» (2024-2025, без существенных изменений)
27 октября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 18:19 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 18:14 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 18:08 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s04.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 28.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 27.pdf» (2024-2025, без существенных изменений)
23 октября 2024
- (разн. | история) . . Графы и их приложения; 17:28 . . (-2715) . . SeleznevaSN (обсуждение | вклад) (→Лекции)
- (разн. | история) . . Графы и их приложения; 17:26 . . (-1643) . . SeleznevaSN (обсуждение | вклад)
22 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 22:10 . . (-6) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:09 . . (0) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:08 . . (+50) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 19:56 . . (-32) . . PodymovVV (обсуждение | вклад) (→Семинары)
- (Журнал загрузок); 19:55 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem03.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Проектирование больших систем на С++; 18:34 . . (+42) . . ZhukovVV (обсуждение | вклад) (→Содержание курса)
