Файл:Mllp 318 seminar definability.pdf
Материал из Кафедра математической кибернетики
Версия от 10:49, 16 апреля 2019; PodymovVV (обсуждение | вклад)
Mllp_318_seminar_definability.pdf (размер файла: 145 КБ, MIME-тип: application/pdf)
мат.логика и логическое программирование для группы 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. Семинар по определимости в интерпретациях. |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.