Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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» (опечатки)
- (разн. | история) . . м Математические методы верификации схем и программ; 15:57 . . (+2) . . PodymovVV (обсуждение | вклад)
7 октября 2024
- (разн. | история) . . м Языки описания схем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Элементы теории синтеза, надежности и контроля дискретных управляющих систем; 23:15 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Проектирование больших систем на С++; 23:15 . . (+61) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Практикум по дискретным структурам; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы физического синтеза сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели и методы логического синтеза сверхбольших интегральных схем; 23:14 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические методы верификации схем и программ; 23:12 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Графы и их применения; 23:11 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Геометрическая реализация графов и схем; 23:11 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Вероятностные и квантовые алгоритмы; 23:09 . . (-76) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Математические модели последовательных вычислений; 23:08 . . (+13) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Вероятностные и квантовые алгоритмы; 23:06 . . (+13) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . м Modern trends in discrete mathematics and computer science; 23:06 . . (+13) . . PodymovVV (обсуждение | вклад)