Файл:Mathlog 318 lecture 9.pdf

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

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

лекция 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 группы
  • Вы не можете перезаписать этот файл.

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