Свежие правки
Ниже в хронологическом порядке перечислены последние изменения на страницах Кафедра математической кибернетики.
10 декабря 2024
- (разн. | история) . . Шаблон:Important Announcements; 18:05 . . (+1024) . . PodymovVV (обсуждение | вклад)
9 декабря 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 12:56 . . (+674) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 12:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r06.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 6. Формальная арифметика. Теорема Гёделя о неполноте)
- (Журнал загрузок); 12:53 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r05.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 5. Теорема Гёделя о полноте)
- (Журнал загрузок); 12:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r04.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 4. Изоморфизм Карри-Говарда)
- (Журнал загрузок); 12:52 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r03.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 3. Пара слов о лямбда-исчислении)
- (Журнал загрузок); 12:51 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r02.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 1. Натуральные исчисления)
- (Журнал загрузок); 12:50 . . PodymovVV (обсуждение | вклад) загрузил «Файл:MLLP VP r01.pdf» (Математическая логика и логическое программирование, третий поток. Вне программы 1. Логические исчисления)
- (Журнал загрузок); 12:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 58.pdf» (2024-2025, без существенных изменений)
7 декабря 2024
- (разн. | история) . . Проектирование больших систем на С++; 07:29 . . (+50) . . ZhukovVV (обсуждение | вклад)
3 декабря 2024
- (разн. | история) . . Проектирование больших систем на С++; 20:24 . . (+7) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:23 . . (+59) . . ZhukovVV (обсуждение | вклад)
- (разн. | история) . . Проектирование больших систем на С++; 20:22 . . (+42) . . ZhukovVV (обсуждение | вклад)
2 декабря 2024
- (разн. | история) . . Математическая логика и логическое программирование (3-й поток); 14:17 . . (0) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:17 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 57.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:16 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:MLLP VP 56.pdf» (2024-2025, без существенных изменений)
- (разн. | история) . . Графы и их приложения; 14:05 . . (+1) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Графы и их приложения; 14:04 . . (+255) . . SeleznevaSN (обсуждение | вклад) (→Объявления)
- (разн. | история) . . Проектирование больших систем на С++; 12:31 . . (-119) . . ZhukovVV (обсуждение | вклад)
1 декабря 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:19 . . (-32) . . PodymovVV (обсуждение | вклад)
- (Журнал загрузок); 14:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP all.pdf» (2024-2025)
30 ноября 2024
- (разн. | история) . . Проектирование больших систем на С++; 21:44 . . (+42) . . ZhukovVV (обсуждение | вклад)
