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