Математическая логика
Скорубский В. И., Поляков В. И., Зыков А. Г.
В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к...
ISBN: 978-5-534-11631-1
Издательство:
Юрайт
Дата выхода: май 2019
Оставить комментарий