Файл:Mathlog 318 lecture 10.pdf

Материал из Кафедра математической кибернетики
Версия от 17:20, 30 марта 2015; PodymovVV (обсуждение | вклад)

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

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