Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
- 11:39, 21 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
- 15:24, 17 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления)
- 19:58, 8 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправлены опечатки)
- 20:49, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (2018/2019 учебный год. аксиоматические теории: выразимость, арифметика пресбургера)
- 23:05, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (еще раз поправлено доказательство разрешимости арифметики Пресбургера)
- 15:57, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»
- 12:06, 11 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (черновик)
- 23:45, 21 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (математическая логика и логическое программирование, лекция 11 по обновлённой программе (2016))
- 04:56, 7 апреля 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 11.pdf» (лекция 11 по курсу математической логики для 318 группы)