Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
20 ноября 2024
- (Журнал загрузок); 17:53 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
- (Журнал загрузок); 17:51 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf» (Внесены исправления)
- (разн. | история) . . Математические методы верификации схем и программ; 10:34 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 10:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 39.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 37.pdf» (2024-2025, без существенных изменений)
19 ноября 2024
- (разн. | история) . . Функциональные системы; 16:30 . . (+53) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 16:25 . . (-2169) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 16:23 . . (-1) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 16:22 . . (+2338) . . SavitskiyIV (обсуждение | вклад)
17 ноября 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 13:30 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 50.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 49.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 48.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Математические методы верификации схем и программ; 13:26 . . (-34) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Языки описания схем; 12:12 . . (-34) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 12:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP s05.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 11:59 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 46.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (опечатки)
- (Журнал загрузок); 11:56 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 29.pdf» (помарки)
