Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
2 сентября 2025
- (Журнал загрузок); 21:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (небольшие улучшения)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 19:21 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 19:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 09.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 08.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 07.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (незначительная правка)
- (разн. | история) . . Математические методы верификации схем и программ; 19:14 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 19:14 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:09 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (опечатки)
- (разн. | история) . . Языки описания схем; 16:49 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 16:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 08.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 16:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 07.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 16:48 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 06.pdf» (2025/2026, без существенных изменений)
- (разн. | история) . . Участник:SeleznevaSN; 16:21 . . (-18) . . SeleznevaSN (обсуждение | вклад) (→Области научных интересов)
- (разн. | история) . . Участник:SeleznevaSN; 16:18 . . (-134) . . SeleznevaSN (обсуждение | вклад) (→Аспиранты и студенты)
- (разн. | история) . . Участник:SeleznevaSN; 16:17 . . (-1) . . SeleznevaSN (обсуждение | вклад) (→Лекционные курсы)
- (разн. | история) . . Участник:SeleznevaSN; 16:16 . . (-32) . . SeleznevaSN (обсуждение | вклад) (→Лекционные курсы)
- (разн. | история) . . Обобщенная выполнимость; 15:56 . . (-21) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Обобщенная выполнимость; 15:56 . . (0) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Обобщенная выполнимость; 15:55 . . (-41) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Обобщенная выполнимость; 15:55 . . (-1928) . . SeleznevaSN (обсуждение | вклад)
1 сентября 2025
- (разн. | история) . . Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс); 19:47 . . (0) . . SavitskiyIV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 16:23 . . (+54) . . ZhukovVV (обсуждение | вклад)
- (Журнал загрузок); 10:21 . . SavitskiyIV (обсуждение | вклад) загружена новая версия «Файл:Функциональные системы лекции.pdf»
