Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
18 сентября 2024
- (разн. | история) . . Спецсеминары; 22:11 . . (0) . . DanilovB (обсуждение | вклад) (→2023-2024, осенний семестр)
- (разн. | история) . . Спецсеминары; 22:10 . . (-1) . . DanilovB (обсуждение | вклад) (→2023-2024, весенний семестр)
17 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 21:02 . . (+84) . . ZhukovVV (обсуждение | вклад)
- (Журнал загрузок); 16:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (русификация)
- (Журнал загрузок); 16:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (русификация)
16 сентября 2024
- (разн. | история) . . Графы и их приложения; 19:42 . . (+9) . . SeleznevaSN (обсуждение | вклад) (→Лекции)
15 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 21:09 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 20:22 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 20:15 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:14 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s01.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:14 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:14 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 09.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:14 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 08.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Проектирование больших систем на С++; 06:10 . . (-33) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 06:09 . . (-21) . . ZhukovVV (обсуждение | вклад)
12 сентября 2024
- (разн. | история) . . Участник:SavitskiyIV; 20:18 . . (+74) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Участник:SavitskiyIV; 20:17 . . (0) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Участник:SavitskiyIV; 20:16 . . (+1451) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 11:33 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 11:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2024-2025, без существенных изменений)
10 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 21:23 . . (+223) . . ZhukovVV (обсуждение | вклад)
9 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 03:58 . . (+209) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 03:57 . . (-1) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 03:56 . . (+43) . . ZhukovVV (обсуждение | вклад)
8 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 20:48 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 20:46 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:46 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 07.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:46 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 06.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:45 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 05.pdf»
- (Журнал загрузок); 20:45 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 04.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 20:44 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2024-2025, без существенных изменений)