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

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

Текущая версия на 15:49, 4 апреля 2021

Математическая логика для 318, блок 32. Натуральное исчисление предикатов (полнота)

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

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

Дата/времяРазмерыУчастникПримечание
текущий15:49, 4 апреля 2021 (206 КБ)PodymovVV (обсуждение | вклад)случайно залил версию не-handout, поправил
14:28, 4 апреля 2021 (253 КБ)PodymovVV (обсуждение | вклад)Математическая логика для 318, блок 32. Натуральное исчисление предикатов (полнота)
  • Вы не можете перезаписать этот файл.

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