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