Файл:Mathlog 318 b5.pdf

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
Mathlog_318_b5.pdf(размер файла: 86 КБ, MIME-тип: application/pdf)

Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие

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

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

Дата/времяРазмерыУчастникПримечание
текущий10:18, 13 февраля 2024 (86 КБ)PodymovVV (обсуждение | вклад)весна 2023-2024, без существенных изменений
13:05, 16 февраля 2023 (86 КБ)PodymovVV (обсуждение | вклад)2022-2023, весенний семестр. Без существенных изменений
11:37, 2 марта 2022 (121 КБ)PodymovVV (обсуждение | вклад)Техническая правка: убрал ненужный заголовок слайдов
22:59, 20 февраля 2022 (133 КБ)PodymovVV (обсуждение | вклад)Технические правки, без существенных содержательных изменений.
18:57, 13 февраля 2022 (133 КБ)PodymovVV (обсуждение | вклад)Слегка поправлена раскладка слов
18:27, 6 февраля 2022 (121 КБ)PodymovVV (обсуждение | вклад)Весна 2022. Теперь тут про выполнимость и общезначимость в логике высказываний.
00:47, 15 февраля 2021 (328 КБ)PodymovVV (обсуждение | вклад)Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие
  • Вы не можете перезаписать этот файл.

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