Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 15:58, 2 мая 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022-2023. Теперь тут интуиционистская логика)
- 19:10, 15 мая 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b46.pdf» (Весна 2022. Теперь тут общие слова про формальную верификацию)
- 02:56, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b46.pdf» (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)