Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (опечатка)
- (разн. | история) . . Языки описания схем; 15:03 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 15:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 18.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 17.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 16.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 15.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 14.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 13.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 12.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 11.pdf» (2024-2025, без существенных изменений)
18 сентября 2024
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 22:20 . . (0) . . DanilovB (обсуждение | вклад)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 22:19 . . (+10) . . DanilovB (обсуждение | вклад)
- (разн. | история) . . Математические вопросы проектирования СБИС (Архив); 22:18 . . (+3250) . . DanilovB (обсуждение | вклад)
- (Журнал загрузок); 22:15 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240920.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 22:15 . . (-2803) . . DanilovB (обсуждение | вклад)
- (разн. | история) . . Спецсеминары; 22:11 . . (0) . . DanilovB (обсуждение | вклад) (→2022-2023, весенний семестр)
- (разн. | история) . . Спецсеминары; 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, без существенных изменений)