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

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

Версия 18:08, 11 апреля 2020

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

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

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

Дата/времяРазмерыУчастникПримечание
текущий16:04, 13 апреля 2020 (410 КБ)PodymovVV (обсуждение | вклад)урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11
18:08, 11 апреля 2020 (465 КБ)PodymovVV (обсуждение | вклад)весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча
20:48, 7 апреля 2019 (364 КБ)PodymovVV (обсуждение | вклад)программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям
14:44, 3 апреля 2017 (363 КБ)PodymovVV (обсуждение | вклад)отсюда и дальше по лекциям (по мат.логике) будет всё существенно переделано
20:05, 3 апреля 2016 (366 КБ)PodymovVV (обсуждение | вклад)математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016)
17:20, 30 марта 2015 (242 КБ)PodymovVV (обсуждение | вклад)лекция 10 по курсу математической логики для 318 группы
  • Вы не можете перезаписать этот файл.

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