Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 16:04, 13 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11)
- 18:08, 11 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча)
- 20:48, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям)
- 14:44, 3 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (отсюда и дальше по лекциям (по мат.логике) будет всё существенно переделано)
- 20:14, 3 апреля 2016 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 lecture 10.pdf (Удалена старая версия 20160403170530!Mathlog_318_lecture_10.pdf: файл неактуален)
- 20:14, 3 апреля 2016 Root (обсуждение | вклад) удалил страницу Файл:Mathlog 318 lecture 10.pdf (Удалена старая версия 20160403140137!Mathlog_318_lecture_10.pdf: файл неактуален)
- 20:05, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 17:20, 30 марта 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 10.pdf» (лекция 10 по курсу математической логики для 318 группы)