Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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»
31 августа 2025
- (Журнал загрузок); 21:58 . . DanilovB (обсуждение | вклад) загрузил «Файл:Курс ОК-25-2 311-319.pdf»
- (разн. | история) . . Основы кибернетики (2-й поток, 3 курс); 21:58 . . (0) . . DanilovB (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 21:12 . . (-1149) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 21:03 . . (-1019) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 19:31 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 19:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 06.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 05.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:31 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 04.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 03.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 02.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:30 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 01.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 19:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:28 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:26 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 05.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:26 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 04.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 03.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 02.pdf» (стилистическая правка на титуле)
- (Журнал загрузок); 19:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:HDL VP 01.pdf» (стилистическая правка на титуле)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 19:13 . . (-496) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 17:00 . . (0) . . PodymovVV (обсуждение | вклад)
