Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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 . . (-91) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математическая логика (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, без существенных изменений)
23 апреля 2024
- (разн. | история) . . м Математическая логика (318, 319/2, 241, 242); 13:28 . . (-78) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математическая логика (318, 319/2, 241, 242); 13:27 . . (+78) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 13:27 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b43.pdf» (весна 2023-2024, без существенных изменений)
22 апреля 2024
- (Журнал загрузок); 10:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 38.pdf» (опечатки)
21 апреля 2024
- (разн. | история) . . Математическая логика (318, 319/2, 241, 242); 23:40 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 23:37 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (весна 2023-2024, без существенных изменений)
- (разн. | история) . . Распределённые алгоритмы; 23:15 . . (+254) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 23:13 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 40.pdf» (распределённые алгоритмы, весна 2023-2024, блок 40)
- (Журнал загрузок); 23:13 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 39.pdf» (распределённые алгоритмы, весна 2023-2024, блок 39)
- (Журнал загрузок); 23:13 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 38.pdf» (распределённые алгоритмы, весна 2023-2024, блок 38)
- (Журнал загрузок); 16:07 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 37.pdf» (опечатки)
17 апреля 2024
- (Журнал загрузок); 20:16 . . DanilovB (обсуждение | вклад) загрузил «Файл:Specsem20240418.pdf»
- (разн. | история) . . Теория управляющих систем и математические модели СБИС; 20:15 . . (+255) . . DanilovB (обсуждение | вклад)
14 апреля 2024
- (Журнал загрузок); 21:00 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 32.pdf» (опечатки)
- (Журнал загрузок); 20:56 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 37.pdf» (опечатки)
- (разн. | история) . . Распределённые алгоритмы; 20:40 . . (+197) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 20:39 . . PodymovVV (обсуждение | вклад) загрузил «Файл:DA VP 37.pdf» (распределённые алгоритмы, весна 2023-2024, блок 37)