Файл:Mathlog 318 lecture 6.pdf
Материал из Кафедра математической кибернетики
Версия от 19:06, 3 марта 2019; PodymovVV (обсуждение | вклад)
Mathlog_318_lecture_6.pdf (размер файла: 371 КБ, MIME-тип: application/pdf)
лекция 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 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.