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

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

Текущая версия на 11:39, 21 апреля 2020

лекция 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 страница ссылается на данный файл: