Таблица | Карточка | RUSMARC | |
Разрешенные действия: Прочитать Загрузить (1,4 Мб) Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Системно излагаются основы математической логики. Основное внимание уделяется методу резолюций и решению задач возникающих при применении метода в исчисление предикатов. Приводятся графические иллюстрации и примеры. Проводится постоянная систематизация материала в виде схем и упорядоченного изложения основных тезисов представленного материала. Используется методика изложения «от простого к сложному».
Права на использование объекта хранения
Статистика использования
Количество обращений: 10319
За последние 30 дней: 371 Подробная статистика |