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

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 (обсуждение | вклад)‎