Файл:Mathlog 318 lecture 11.pdf

Материал из Кафедра математической кибернетики
Версия от 11:39, 21 апреля 2020; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Mathlog_318_lecture_11.pdf(размер файла: 371 КБ, MIME-тип: application/pdf)

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

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

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

Дата/времяРазмерыУчастникПримечание
текущий11:39, 21 апреля 2020 (371 КБ)PodymovVV (обсуждение | вклад)поправил недочёты на последнем слайде (про исчисление дизъюнктов)
15:24, 17 апреля 2020 (371 КБ)PodymovVV (обсуждение | вклад)весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления
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 страница ссылается на данный файл: