Неделя: Лекция 2. Правила вывода. Дерево вывода. Примеры вывода | CS201. Математическая логика | EDU-MMCS

Оглавление секции

Определение дерева, дерева вывода, линейного доказательства. Предложение о связи линейного доказательства и дерева вывода. Примеры построения деревьев вывода
- Выбрать элемент Лекция 2 часть1_2016
  
  Лекция 2 часть1_2016 Гиперссылка
- Выбрать элемент Лекция 2 часть 2_2016
  
  Лекция 2 часть 2_2016 Гиперссылка

Предстоящие события

Нет предстоящих событий

Последние действия

Действия с понедельник, 7 сентября 2026, 09:28

Полный отчет о последних действиях

Со времени Вашего последнего входа ничего не произошло