Файл:Mathlog 318 lecture 11.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
(PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
 
(нет различий)

Текущая версия на 19:58, 8 апреля 2019

лекция 11 по курсу математической логики для 318 группы

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий19:58, 8 апреля 2019 (365 КБ)PodymovVV (обсуждение | вклад)поправлены опечатки
20:49, 7 апреля 2019 (365 КБ)PodymovVV (обсуждение | вклад)2018/2019 учебный год. аксиоматические теории: выразимость, арифметика пресбургера
23:05, 21 апреля 2017 (352 КБ)PodymovVV (обсуждение | вклад)еще раз поправлено доказательство разрешимости арифметики Пресбургера
15:57, 18 апреля 2017 (351 КБ)PodymovVV (обсуждение | вклад)
12:06, 11 апреля 2017 (648 КБ)PodymovVV (обсуждение | вклад)черновик
23:45, 21 апреля 2016 (307 КБ)PodymovVV (обсуждение | вклад)математическая логика и логическое программирование, лекция 11 по обновлённой программе (2016)
04:56, 7 апреля 2015 (304 КБ)PodymovVV (обсуждение | вклад)лекция 11 по курсу математической логики для 318 группы
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: