Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 12:00, 18 мая 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 44.pdf» (опечатка)
- 09:46, 7 апреля 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 37.pdf» (опечатка)
- 20:35, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X06.pdf» (матлог 318 319 241 242 вне программы 6)
- 20:34, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X05.pdf» (матлог 318 319 241 242 вне программы 5)
- 20:34, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X04.pdf» (матлог 318 319 241 242 вне программы 4)
- 20:34, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X03.pdf» (матлогика 318 319 241 242 вне программы 3)
- 20:33, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X02.pdf» (матлогика 318 319 241 242 вне программы 2)
- 20:33, 31 марта 2026 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog VP X01.pdf» (матлогика 318-319-241-242, вне программы)
- 23:57, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 48.pdf» (2025-2026. Теперь здесь про алгоритм для ситиэль)
- 23:57, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 47.pdf» (2025-2026. Теперь здесь про ситиэль в модел чекине)
- 23:56, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 46.pdf» (2025-2026. Теперь здесь про системы переходов)
- 23:56, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 45.pdf» (2025-2026. Теперь здесь про модел чекин)
- 23:56, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 44.pdf» (2025-2026. Теперь здесь про логику Хоара)
- 23:55, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 43.pdf» (2025-2026. Теперь здесь про императивные программы)
- 23:55, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 42.pdf» (2025-2026. Теперь здесь про формальную верификацию)
- 23:54, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 41.pdf» (2025-2026. Теперь здесь про интуиционистскую логику)
- 23:54, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 40.pdf» (2025-2026. Теперь здесь про темпоральные логики)
- 23:53, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 39.pdf» (2025-2026. Теперь здесь про эпистемические логики)
- 23:53, 25 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 38.pdf» (2025-2026. Теперь здесь про модальные логики)
- 15:12, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 47.pdf» (2025-2026)
- 15:12, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 46.pdf» (2025-2026)
- 15:12, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 45.pdf» (2025-2026)
- 15:12, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 44.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 43.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 42.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 41.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 40.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 39.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 38.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 37.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 36.pdf» (2025-2026)
- 14:59, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 35.pdf» (2025-2026)
- 14:58, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 34.pdf» (2025-2026)
- 14:58, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 33.pdf» (2025-2026)
- 14:58, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 32.pdf» (2025-2026)
- 14:13, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 20.pdf» (опечатки)
- 14:13, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 18.pdf» (опечатки)
- 13:51, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 31.pdf» (2025-2026)
- 13:51, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 30.pdf» (2025-2026)
- 13:51, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 29.pdf» (2025-2026)
- 13:51, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 28.pdf» (2025-2026)
- 13:50, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 27.pdf» (2025-2026)
- 13:50, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 26.pdf» (2025-2026)
- 13:50, 24 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:DA VP 25.pdf» (2025-2026)
- 22:38, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 25.pdf» (опечатки)
- 22:29, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 37.pdf» (2025/2026, теперь тут про теорему чёрча)
- 22:29, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 36.pdf» (2025/2026, теперь тут про машины тьюринга)
- 22:29, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 35.pdf» (2025/2026, теперь тут про задачи алгоритмы разрешимость сводимость)
- 22:28, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 34.pdf» (2025/2026, теперь тут даша, саша, паша, пиво и нип)
- 22:28, 23 марта 2026 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog VP 33.pdf» (2025/2026)