Файл:Mathlog 318 lecture 9.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf») |
(не показаны 4 промежуточных версий 1 участника) | |
(нет различий)
|
Текущая версия на 13:18, 2 апреля 2020
лекция 9 по курсу математической логики для 318 группы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 13:18, 2 апреля 2020 | (335 КБ) | PodymovVV (обсуждение | вклад) | весна 2020. от резолютивного вывода до теоремы эрбрана. |
17:43, 18 марта 2018 | (283 КБ) | PodymovVV (обсуждение | вклад) | обновлённая версия: весенний семестр 2017/2018 учебного года | |
15:09, 27 марта 2017 | (284 КБ) | PodymovVV (обсуждение | вклад) | ||
18:16, 26 марта 2016 | (290 КБ) | PodymovVV (обсуждение | вклад) | математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016) | |
18:51, 26 марта 2015 | (243 КБ) | PodymovVV (обсуждение | вклад) | лекция 9 по курсу математической логики для 318 группы |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.