Файл:Mllp 318 seminar definability.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf») |
(нет различий)
|
Текущая версия на 17:14, 22 апреля 2021
мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 17:14, 22 апреля 2021 | (145 КБ) | PodymovVV (обсуждение | вклад) | пара новых пунктов, слегка поправленная стилистика |
10:49, 16 апреля 2019 | (144 КБ) | PodymovVV (обсуждение | вклад) | немного поменял последние пункты упражнения 2 | |
16:11, 11 апреля 2019 | (144 КБ) | PodymovVV (обсуждение | вклад) | ||
15:18, 20 апреля 2018 | (144 КБ) | PodymovVV (обсуждение | вклад) | мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях. |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.