Файл:Mathlog 318 b8.pdf — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) (Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы) |
PodymovVV (обсуждение | вклад) (PodymovVV загружена новая версия «Файл:Mathlog 318 b8.pdf») |
(нет различий)
|
Версия 12:36, 20 февраля 2021
Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
Дата/время | Размеры | Участник | Примечание | |
---|---|---|---|---|
текущий | 18:02, 25 февраля 2024 | (147 КБ) | PodymovVV (обсуждение | вклад) | опечатки |
15:17, 20 февраля 2024 | (147 КБ) | PodymovVV (обсуждение | вклад) | весна 2023-2024, без существенных изменений | |
14:36, 20 февраля 2023 | (147 КБ) | PodymovVV (обсуждение | вклад) | 2022-2023, весенний семестр. Теперь тут про семантические таблицы логики предикатов. | |
13:07, 16 февраля 2023 | (197 КБ) | PodymovVV (обсуждение | вклад) | 2022-2023, весенний семестр. Без существенных изменений | |
23:00, 20 февраля 2022 | (277 КБ) | PodymovVV (обсуждение | вклад) | Технические правки, без существенных содержательных изменений. | |
19:01, 13 февраля 2022 | (277 КБ) | PodymovVV (обсуждение | вклад) | Весна 2022. Теперь это про метод семантических таблиц в логике высказываний | |
12:36, 20 февраля 2021 | (221 КБ) | PodymovVV (обсуждение | вклад) | исправил ошибку в примерах таблиц | |
18:51, 19 февраля 2021 | (221 КБ) | PodymovVV (обсуждение | вклад) | Математическая логика для 318, блок 8. метод семантических таблиц в логике предикатов: таблицы |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл: