Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
11 октября 2024
- (Журнал загрузок); 00:51 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem 20241011.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 00:51 . . (+1) . . DanilovB (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 00:51 . . DanilovB (обсуждение | вклад) загружена новая версия «Файл:Specsem20241011.pdf»
- (Журнал загрузок); 00:50 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specem 241011.pdf»
10 октября 2024
- (Журнал загрузок); 00:01 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20241011.pdf»
- (Журнал загрузок); 00:01 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20241004.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 00:01 . . (+723) . . DanilovB (обсуждение | вклад) (→Расписание докладов)
8 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 23:00 . . (+81) . . ZhukovVV (обсуждение | вклад)
- (Журнал загрузок); 22:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (опечатки)
- (Журнал загрузок); 22:53 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 22.pdf» (опечатки)
- (разн. | история) . . м Математические методы верификации схем и программ; 15:57 . . (+2) . . PodymovVV (обсуждение | вклад)