Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
12 сентября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 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, без существенных изменений)
- (разн. | история) . . Функциональные системы; 18:02 . . (+141) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Функциональные системы; 18:00 . . (+63) . . SavitskiyIV (обсуждение | вклад)
- (Журнал загрузок); 17:59 . . SavitskiyIV (обсуждение | вклад) загрузил «Файл:PostDiagram.pdf» (Диаграмма Поста для курса ФС)
- (разн. | история) . . Проектирование больших систем на С++; 01:51 . . (0) . . ZhukovVV (обсуждение | вклад) (→Занятия в 2024 г.)
7 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 22:31 . . (0) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:21 . . (+108) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:19 . . (+216) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 22:17 . . (+711) . . ZhukovVV (обсуждение | вклад)
6 сентября 2024
- (разн. | история) . . Избранные вопросы дискретной математики; 21:01 . . (+10) . . SeleznevaSN (обсуждение | вклад) (→Лекции)