Файл:Mathlog 318 b36.pdf — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
(PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
(нет различий)

Версия 09:55, 5 апреля 2023

Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории

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

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

Дата/времяРазмерыУчастникПримечание
текущий12:11, 8 апреля 2024 (172 КБ)PodymovVV (обсуждение | вклад)опечатка
11:57, 7 апреля 2024 (172 КБ)PodymovVV (обсуждение | вклад)весна 2023-2024, без существенных изменений
09:55, 5 апреля 2023 (172 КБ)PodymovVV (обсуждение | вклад)опечатки
23:19, 3 апреля 2023 (172 КБ)PodymovVV (обсуждение | вклад)Весенний семестр 2022-2023. Темы те же
08:35, 28 марта 2022 (267 КБ)PodymovVV (обсуждение | вклад)Весна 2022. Теперь это теорема Чёрча
14:22, 15 мая 2021 (320 КБ)PodymovVV (обсуждение | вклад)поправил опечатки
22:11, 18 апреля 2021 (327 КБ)PodymovVV (обсуждение | вклад)Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории
  • Вы не можете перезаписать этот файл.

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