Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
17 октября 2024
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (опечатки)
16 октября 2024
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 21:59 . . (+2) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 21:59 . . (+424) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 21:56 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241018.pdf»
- (Журнал загрузок); 20:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (опечатки)
- (разн. | история) . . Математические методы верификации схем и программ; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:00 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:00 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (2024-2025, суть та же, улучшил изложение)
- (разн. | история) . . Проектирование больших систем на С++; 08:42 . . (-18) . . ZhukovVV (обсуждение | вклад)
14 октября 2024
- (разн. | история) . . Проектирование больших систем на С++; 10:02 . . (+61) . . ZhukovVV (обсуждение | вклад)
13 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:45 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 23.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:43 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (опечатка)
- (разн. | история) . . Языки описания схем; 18:56 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:55 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 25.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 18:20 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 18:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 34.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 33.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 32.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 31.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 30.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 29.pdf» (2024-2025, слегка расширил/улучшил рассказ)
- (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 28.pdf» (2024-2025, без существенных изменений)
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» (опечатки)
7 октября 2024
- (разн. | история) . . Большие графы и модели сложных сетей; 23:05 . . (+13) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Modern trends in discrete mathematics and computer science; 23:04 . . (+13) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Заглавная страница; 23:04 . . (+89) . . PodymovVV (обсуждение | вклад) (→Информация)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 14:31 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 27.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 26.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 25.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:29 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 19.pdf» (переформулировал одно определение)
- (разн. | история) . . Заглавная страница; 14:19 . . (-30) . . PodymovVV (обсуждение | вклад) (→Информация)
- (разн. | история) . . Проектирование больших систем на С++; 03:56 . . (+42) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 03:56 . . (+47) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 00:48 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 00:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 20.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 19.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 00:47 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 18.pdf» (2024-2025, без существенных изменений)