Файл:Mathlog 318 seminar natural inference.pdf
Материал из Кафедра математической кибернетики
Версия от 15:49, 7 апреля 2021; PodymovVV (обсуждение | вклад)
Mathlog_318_seminar_natural_inference.pdf (размер файла: 139 КБ, MIME-тип: application/pdf)
мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 13:25, 4 апреля 2022 | (139 КБ) | PodymovVV (обсуждение | вклад) | Расширил список задач, теперь оно на два семинара. |
15:52, 7 апреля 2021 | (122 КБ) | PodymovVV (обсуждение | вклад) | и ещё капельку поправил (расположение правил вывода) | |
15:49, 7 апреля 2021 | (122 КБ) | PodymovVV (обсуждение | вклад) | поправил несколько слов (чисто стилистика) | |
18:02, 3 мая 2020 | (122 КБ) | PodymovVV (обсуждение | вклад) | Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории) | |
16:04, 25 апреля 2019 | (148 КБ) | PodymovVV (обсуждение | вклад) | суперобновлённая версия (программа 2018/2019 учебного года) | |
14:08, 27 апреля 2018 | (135 КБ) | PodymovVV (обсуждение | вклад) | мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл: