Свежие правки

10 ноября 2024

• (Журнал загрузок); 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 (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 08:37 . . (-53)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

5 ноября 2024

• (разн. | история) . . Математические методы верификации схем и программ‎; 23:18 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 23:17 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 23:17 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» ‎(2024-2025, без существенных изменений)

4 ноября 2024

• (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 15:39 . . (+191)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎
• (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)‎; 15:37 . . (+984)‎ . . ‎SavitskiyIV (обсуждение | вклад)‎

2 ноября 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 20:25 . . (+53)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 20:22 . . (0)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 20:09 . . (+137)‎ . . ‎ZhukovVV (обсуждение | вклад)‎

30 октября 2024

• (разн. | история) . . Математические методы верификации схем и программ‎; 19:54 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 19:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Nusmv.pdf» ‎(2024-2025, без существенных изменений)

27 октября 2024

• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 18:19 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 43.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 42.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 41.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 40.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 39.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Математические методы верификации схем и программ‎; 18:14 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 18:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Nusmv.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Языки описания схем‎; 18:08 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 18:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s04.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 28.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 18:05 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 27.pdf» ‎(2024-2025, без существенных изменений)

23 октября 2024

• (разн. | история) . . Графы и их приложения‎; 17:28 . . (-2715)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎Лекции)
• (разн. | история) . . Графы и их приложения‎; 17:26 . . (-1643)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎

22 октября 2024

• (разн. | история) . . Проектирование больших систем на С++‎; 22:10 . . (-6)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 22:09 . . (0)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Проектирование больших систем на С++‎; 22:08 . . (+50)‎ . . ‎ZhukovVV (обсуждение | вклад)‎
• (разн. | история) . . Математические методы верификации схем и программ‎; 19:56 . . (-32)‎ . . ‎PodymovVV (обсуждение | вклад)‎ (→‎Семинары)
• (Журнал загрузок); 19:55 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem03.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Проектирование больших систем на С++‎; 18:34 . . (+42)‎ . . ‎ZhukovVV (обсуждение | вклад)‎ (→‎Содержание курса)

21 октября 2024

• (разн. | история) . . Марченков Сергей Серафимович‎; 20:04 . . (-210)‎ . . ‎Root (обсуждение | вклад)‎
• (разн. | история) . . Участник:MarchenkovSS‎; 20:03 . . (+237)‎ . . ‎Root (обсуждение | вклад)‎