Файл:Mathlog 318 lecture 7.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf») |
(нет различий)
|
Текущая версия на 12:07, 30 марта 2020
лекция 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 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.