Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
17 ноября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 13:30 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 13:26 . . (-34) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 12:12 . . (-34) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 12:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s05.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 11:59 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (опечатки)
- (Журнал загрузок); 11:56 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» (помарки)
13 ноября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 10:14 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2024-2025, без существенных изменений)
12 ноября 2024
- (разн. | история) . . Проектирование больших систем на С++; 18:10 . . (+119) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 17:19 . . (+42) . . ZhukovVV (обсуждение | вклад)
11 ноября 2024
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 00:16 . . (+9) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 00:16 . . (-1) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 00:15 . . (+2) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 00:15 . . (+613) . . SavitskiyIV (обсуждение | вклад)
10 ноября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 22:30 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 22:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 47.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 45.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:29 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 44.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 22:24 . . (0) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Языки описания схем; 22:23 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 22:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 31.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 30.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:06 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 26.pdf» (опечатка)
7 ноября 2024
- (Журнал загрузок); 21:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатка)
- (Журнал загрузок); 19:15 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem01112024.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 19:14 . . (-1) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 19:13 . . (0) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 19:10 . . (0) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 19:08 . . (+22) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 19:05 . . (+778) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 18:52 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specem 01112024.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 18:05 . . (+355) . . RomanovDS (обсуждение | вклад) (→Расписание докладов)
- (Журнал загрузок); 18:01 . . RomanovDS (обсуждение | вклад) загрузил «Файл:Specsem20241108.pdf»
- (Журнал загрузок); 13:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатка)
- (Журнал загрузок); 13:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатка)
- (разн. | история) . . Проектирование больших систем на С++; 11:48 . . (+42) . . ZhukovVV (обсуждение | вклад)
