Практикум; Уфимск. гос. авиац. техн. ун-т. — Уфа: УГАТУ, 2013. —
119 с. — ISBN 978-5-4221-0427-7.
Изложены основы алгебры высказываний, логики предикатов, теории
алгоритмов и методы решения основных типов задач. Все необходимые
определения сформулированы в первой части практикума. Приведены
примеры решения задач и задания для самостоятельной работы.
Поречный С.С., Михтанюк А.А., Юсупова Л.Р. Элементы математической логики
Практикум
- формат pdf
- размер 1,26 МБ
- добавлен 20 сентября 2016 г.