Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
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, без существенных изменений)