Файл:Mathlog 318 seminar natural inference.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf») |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf») |
(не показаны 2 промежуточных версий 1 участника) | |
(нет различий)
|
Текущая версия на 13:25, 4 апреля 2022
мат.логика и лог.прог. для группы 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 страница ссылается на данный файл: