Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 18:51, 8 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (перекинул один слайд из 49)
- 14:05, 4 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Весна 2022/2023. Теперь тут про императивные программы и их частичную корректность)
- 09:49, 17 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b48.pdf» (Исправил несколько опечаток)
- 19:12, 15 мая 2022 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b48.pdf» (Курс мат.логики для группы 318 и остальных. Блок 48. Проверка моделей относительно CTL)