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

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 (обсуждение | вклад)‎
• (разн. | история) . . Половинкина Татьяна Ивановна‎; 20:02 . . (+69)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 16:53 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 34.pdf» ‎(опечатка)
• (Журнал загрузок); 16:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» ‎(опечатка)
• (разн. | история) . . Математические вопросы кибернетики‎; 16:02 . . (+1)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎2024-2025 учебный год)
• (Журнал загрузок); 16:00 . . SeleznevaSN (обсуждение | вклад) загрузил «Файл:Mvk-24-10-25.pdf» ‎
• (разн. | история) . . Математические вопросы кибернетики‎; 16:00 . . (-1)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎ (→‎2024-2025 учебный год)
• (разн. | история) . . Математические вопросы кибернетики‎; 15:59 . . (+1)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎
• (разн. | история) . . Математические вопросы кибернетики‎; 15:58 . . (+515)‎ . . ‎SeleznevaSN (обсуждение | вклад)‎

20 октября 2024

• (разн. | история) . . Языки описания схем‎; 22:39 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎ (→‎Упражнения)
• (Журнал загрузок); 22:38 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s03.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Математическая логика и логическое программирование (3-й поток)‎; 22:33 . . (0)‎ . . ‎PodymovVV (обсуждение | вклад)‎
• (Журнал загрузок); 22:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 38.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 22:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 37.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 22:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 36.pdf» ‎(2024-2025, без существенных изменений)
• (Журнал загрузок); 22:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 35.pdf» ‎(2024-2025, без существенных изменений)
• (разн. | история) . . Математические методы верификации схем и программ‎; 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» ‎(опечатки)