Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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, без существенных изменений)
- (разн. | история) . . Функциональные системы; 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 (обсуждение | вклад)