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

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

Текущая версия на 13:18, 2 апреля 2020

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

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

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

Дата/времяРазмерыУчастникПримечание
текущий13:18, 2 апреля 2020 (335 КБ)PodymovVV (обсуждение | вклад)весна 2020. от резолютивного вывода до теоремы эрбрана.
17:43, 18 марта 2018 (283 КБ)PodymovVV (обсуждение | вклад)обновлённая версия: весенний семестр 2017/2018 учебного года
15:09, 27 марта 2017 (284 КБ)PodymovVV (обсуждение | вклад)
18:16, 26 марта 2016 (290 КБ)PodymovVV (обсуждение | вклад)математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016)
18:51, 26 марта 2015 (243 КБ)PodymovVV (обсуждение | вклад)лекция 9 по курсу математической логики для 318 группы
  • Вы не можете перезаписать этот файл.

Нет страниц, ссылающихся на данный файл.