Файл:Mathlog 318 lecture 8.pdf
Материал из Кафедра математической кибернетики
Версия от 15:09, 27 марта 2017; PodymovVV (обсуждение | вклад)
Mathlog_318_lecture_8.pdf (размер файла: 351 КБ, MIME-тип: application/pdf)
лекция 8 по курсу математической логики для 318 группы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 12:43, 22 марта 2020 | (351 КБ) | PodymovVV (обсуждение | вклад) | 2020, весна. Алгоритм унификации с доказательством. |
20:19, 10 марта 2019 | (355 КБ) | PodymovVV (обсуждение | вклад) | обновленная версия, программа 2018/2019 у.г. | |
17:43, 18 марта 2018 | (303 КБ) | PodymovVV (обсуждение | вклад) | обновлённая версия: весенний семестр 2017/2018 учебного года | |
15:09, 27 марта 2017 | (309 КБ) | PodymovVV (обсуждение | вклад) | ||
00:04, 20 марта 2016 | (304 КБ) | PodymovVV (обсуждение | вклад) | математическая логика и логическое программирование, лекция 8 по обновлённой программе (2016) | |
11:46, 18 марта 2015 | (283 КБ) | PodymovVV (обсуждение | вклад) | лекция 8 по курсу математической логики для 318 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.