Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
15 сентября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 21:09 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 14.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 13.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:08 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 12.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 11.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 20:22 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2024-2025, без существенных изменений)