Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
12 мая 2024
- (разн. | история) . . Шаблон:Important Announcements; 22:11 . . (+244) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Распределённые алгоритмы; 15:48 . . (+310) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 15:46 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 43.pdf» (распределенные алгоритмы 2023-2024, блок 43)
- (Журнал загрузок); 15:46 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 42.pdf» (распределенные алгоритмы 2023-2024, блок 42)
- (Журнал загрузок); 15:46 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 41.pdf» (распределенные алгоритмы 2023-2024, блок 41)
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 15:02 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos4.pdf» (выпуск 2024)
- (Журнал загрузок); 15:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP gos3.pdf» (выпуск 2024)
7 мая 2024
- (разн. | история) . . Математическая логика (318, 319/2, 241, 242); 16:22 . . (-339) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 16:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (теперь здесь снова интуиционистская логика (в связи с урезанием концовки по болезни))
6 мая 2024
- (разн. | история) . . Математическая логика (318, 319/2, 241, 242); 22:04 . . (-649) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 22:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (2023-2024, теперь тут про логику хоара)
- (Журнал загрузок); 22:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b47.pdf» (2023-2024, теперь тут про императивные программы)
- (Журнал загрузок); 22:02 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (2023-2024, теперь тут про формальную верификацию)
- (Журнал загрузок); 22:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b45.pdf» (2023-2024, без существенных изменений)
- (Журнал загрузок); 22:01 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b44.pdf» (2023-2024, без существенных изменений)