Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 14:50, 25 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (опечатки)
- 14:21, 12 марта 2024 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (весна 2023-2024, без существенных изменений)
- 13:01, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (опечатки)
- 12:56, 16 марта 2023 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (2022-2023, весенний семестр. Темы те же.)
- 11:54, 8 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Поправлена стыдная ошибка: следствие не в ту сторону на слайде 2.)
- 21:00, 4 марта 2022 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b24.pdf» (Весна 2022. Теперь здесь про эрбрановские интерпретации)
- 21:52, 21 марта 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b24.pdf» (Математическая логика для 318, блок 24. Полнота резолютивного вывода и теорема Эрбрана)