Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
7 октября 2024
- (разн. | история) . . Языки описания схем; 00:33 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 00:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 24.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 23.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 22.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 21.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 20.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:26 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 19.pdf» (2024-2025, без существенных изменений)
4 октября 2024
- (разн. | история) . . Графы и их приложения; 15:57 . . (+107) . . SeleznevaSN (обсуждение | вклад) (→Экзамен)
- (разн. | история) . . Графы и их приложения; 15:50 . . (-177) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
1 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 23:16 . . (+43) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 21:26 . . (+75) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 21:25 . . (-31) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:36 . . (+118) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:32 . . (-1001) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:19 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (2024-2025, без существенных изменений)
30 сентября 2024
- (разн. | история) . . Спецсеминары; 19:09 . . (+1537) . . PodymovVV (обсуждение | вклад)
28 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 04:07 . . (+42) . . ZhukovVV (обсуждение | вклад)
26 сентября 2024
- (Журнал загрузок); 20:11 . . RomanovDS (обсуждение | вклад) загружена новая версия «Файл:Specsem20240927.pdf»
- (Журнал загрузок); 20:07 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20240927.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 20:05 . . (+405) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 20:04 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20240927.docx»
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 17:32 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 17:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 24.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 23.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 22.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 21.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 20.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 17:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 18.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . м Математические методы верификации схем и программ; 17:06 . . (-5) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 14:35 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s02.pdf» (2024-2025, без существенных изменений)
25 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 14:28 . . (+43) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 13:59 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2024-2025, без существенных изменений)
24 сентября 2024
- (разн. | история) . . Проектирование больших систем на С++; 23:47 . . (+4) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 23:47 . . (+112) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 18:23 . . (+42) . . ZhukovVV (обсуждение | вклад)
22 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 16:08 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 16:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 17.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 16:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 16.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 16:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 15.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:53 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (лёгкая правка шрифта и улучшен пример в конце)
- (разн. | история) . . Математические методы верификации схем и программ; 15:23 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (2024-2025, без существенных изменений)