Файл:Mathlog 318 lecture 6.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf») |
(не показана 1 промежуточная версия 1 участника) | |
(нет различий)
|
Текущая версия на 12:58, 16 марта 2020
лекция 6 по курсу математической логики для 318 группы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 12:58, 16 марта 2020 | (371 КБ) | PodymovVV (обсуждение | вклад) | 2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность |
19:06, 3 марта 2019 | (365 КБ) | PodymovVV (обсуждение | вклад) | обновлённая версия: весенний семестр 2018/2019 учебного года | |
07:56, 5 марта 2018 | (335 КБ) | PodymovVV (обсуждение | вклад) | обновлённая версия: весенний семестр 2017/2018 учебного года | |
12:56, 14 марта 2017 | (319 КБ) | PodymovVV (обсуждение | вклад) | ||
22:51, 7 марта 2016 | (319 КБ) | PodymovVV (обсуждение | вклад) | математическая логика и логическое программирование, лекция 6 по обновлённой программе (2016) | |
14:23, 11 марта 2015 | (326 КБ) | PodymovVV (обсуждение | вклад) | лекция 6 по курсу математической логики для 318 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.