Учебное пособие. — Уфа: УГАТУ, 2005. — 158 с.
Настоящее учебное пособие содержит изложение основных разделов
математической логики (алгебра высказываний, исчисление
высказываний, алгебра предикатов) и основ теории алгоритмов. В
пособие включены разделы, посвященные практическому решению
типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса. Предназначено для студентов специальности 010503 – «Математическое обеспечение и администрирование информационных систем», написано в соответствии со стандартом курса «Математическая логика» для данной специальности. Пособие может быть использовано в системе дистанционного образования, а также для самостоятельной работы студентов.
типовых задач, а также вопросы для повторения, призванные способствовать активному изучению данного курса. Предназначено для студентов специальности 010503 – «Математическое обеспечение и администрирование информационных систем», написано в соответствии со стандартом курса «Математическая логика» для данной специальности. Пособие может быть использовано в системе дистанционного образования, а также для самостоятельной работы студентов.