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

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

Примеры вывода в ИС (продолжение). Допустимые правила. Использование допустимых правил. Равносильные правила.
- Выбрать элемент Лекция 3 часть 1_2016
  
  Лекция 3 часть 1_2016 Гиперссылка
- Выбрать элемент Лекция 3 часть 2_2016
  
  Лекция 3 часть 2_2016 Гиперссылка

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

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

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

Действия с вторник, 8 сентября 2026, 10:23

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

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