Файл:Mathlog 318 lecture 7.pdf
Материал из Кафедра математической кибернетики
Версия от 22:56, 11 марта 2016; PodymovVV (обсуждение | вклад)
Mathlog_318_lecture_7.pdf (размер файла: 367 КБ, MIME-тип: application/pdf)
лекция 7 по курсу математической логики для 318 группы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 12:07, 30 марта 2020 | (367 КБ) | PodymovVV (обсуждение | вклад) | мелкие правки |
12:43, 22 марта 2020 | (366 КБ) | PodymovVV (обсуждение | вклад) | 2020, весна. Начало метода резолюций - до задачи унификации включительно. | |
20:19, 10 марта 2019 | (351 КБ) | PodymovVV (обсуждение | вклад) | обновленная версия, программа 2018/2019 у.г. | |
07:39, 12 марта 2018 | (300 КБ) | PodymovVV (обсуждение | вклад) | обновленная версия, программа 2017/2018 у.г. | |
13:17, 14 марта 2017 | (318 КБ) | PodymovVV (обсуждение | вклад) | ||
09:54, 12 марта 2016 | (318 КБ) | PodymovVV (обсуждение | вклад) | математическая логика и логическое программирование, лекция 7 по обновлённой программе (2016) | |
02:58, 25 марта 2015 | (433 КБ) | PodymovVV (обсуждение | вклад) | лекция 7 по курсу математической логики для 318 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.