Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 12:43, 22 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (2020, весна. Алгоритм унификации с доказательством.)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 17:43, 18 марта 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновлённая версия: весенний семестр 2017/2018 учебного года)
- 15:09, 27 марта 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»
- 00:04, 20 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (математическая логика и логическое программирование, лекция 8 по обновлённой программе (2016))
- 11:46, 18 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 8.pdf» (лекция 8 по курсу математической логики для 318 группы)