Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
20 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 21:21 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 21:19 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 21:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 26.pdf» (2024-2025, без существенных изменений)
17 октября 2024
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 18:56 . . (+9) . . SavitskiyIV (обсуждение | вклад) (→2024-2025 учебный год)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 18:55 . . (+2) . . SavitskiyIV (обсуждение | вклад) (→2024-2025 учебный год)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 18:55 . . (+3363) . . SavitskiyIV (обсуждение | вклад) (→2024-2025 учебный год)
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (опечатки)
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (опечатки)
- (Журнал загрузок); 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» (опечатки)
- (разн. | история) . . м Математические методы верификации схем и программ; 15:57 . . (+2) . . PodymovVV (обсуждение | вклад)
7 октября 2024
- (разн. | история) . . м Языки описания схем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Элементы теории синтеза, надежности и контроля дискретных управляющих систем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Проектирование больших систем на С++; 23:15 . . (+61) . . PodymovVV (обсуждение | вклад)