|
как решать задачи на высказывания |
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 20.04.2012 | Доступ: свободный | Студентов: 5897 / 1923 | Оценка: 4.12 / 3.58 | Длительность: 08:24:00
Тема: Математика
Лекция 10:
Логическое следование формул
< Лекция 1 || Лекция 10
Аннотация: Понятие логического следствия. Свойства логического следования. Метод резолюций.
< Лекция 1 || Лекция 10