Файл:Mathlog 318 b13.pdf

Материал из Кафедра математической кибернетики
Версия от 18:54, 19 февраля 2021; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Mathlog_318_b13.pdf(размер файла: 211 КБ, MIME-тип: application/pdf)

Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации построения вывода

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяРазмерыУчастникПримечание
текущий12:05, 4 марта 2024 (211 КБ)PodymovVV (обсуждение | вклад)весна 2023-2024, без существенных изменений
14:22, 2 марта 2023 (211 КБ)PodymovVV (обсуждение | вклад)2022-2023, весенний семестр. Теперь тут про лёвенгейма-сколема, мальцева и автоматизацию док-ва теорем
23:02, 20 февраля 2022 (241 КБ)PodymovVV (обсуждение | вклад)Весна 2022. Теперь это про полноту табличного вывода в логике предикатов.
18:54, 19 февраля 2021 (313 КБ)PodymovVV (обсуждение | вклад)Математическая логика для 318, блок 13. завершения рассказа про метод семантических таблиц: пара утверждений и возможности автоматизации п…
  • Вы не можете перезаписать этот файл.

Следующая 1 страница ссылается на данный файл: