Файл:Mathlog 318 b40.pdf
Материал из Кафедра математической кибернетики
Версия от 08:08, 18 апреля 2022; PodymovVV (обсуждение | вклад)
Mathlog_318_b40.pdf (размер файла: 260 КБ, MIME-тип: application/pdf)
Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
| Дата/время | Размеры | Участник | Примечание | |
|---|---|---|---|---|
| текущий | 13:01, 9 апреля 2024 | (260 КБ) | PodymovVV (обсуждение | вклад) | весна 2023-2024, без существенных изменений |
| 14:36, 4 мая 2023 | (260 КБ) | PodymovVV (обсуждение | вклад) | опечатка | |
| 18:56, 18 апреля 2023 | (260 КБ) | PodymovVV (обсуждение | вклад) | опечатки | |
| 17:08, 18 апреля 2023 | (260 КБ) | PodymovVV (обсуждение | вклад) | Весна 2022-2023 | |
| 08:08, 18 апреля 2022 | (377 КБ) | PodymovVV (обсуждение | вклад) | Весна 2022. Теперь тут про определения и выразимость | |
| 14:40, 15 мая 2021 | (288 КБ) | PodymovVV (обсуждение | вклад) | поправил опечатки | |
| 20:53, 25 апреля 2021 | (288 КБ) | PodymovVV (обсуждение | вклад) | Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте |
- Вы не можете перезаписать этот файл.
Использование файла
Нет страниц, ссылающихся на данный файл.
