Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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, без существенных изменений)