Хабаровск: Изд-во Тихоокеан. гос. ун-та, 2013. — 91 с. — ISBN
978-5-7389-1141-5.
В учебном пособии в доступной форме изложены основы математической
логики. Даны понятия алгебры высказываний, исчисления высказываний,
логики и исчисления предикатов, приведены вопросы, задачи и
упражнения для закрепления теоретического материала. Представлен
современный библиографический список.
Для студентов, обучающихся по специальностям «Прикладная математика», «Программное обеспечение», «Информационные системы», «Управление и информатика в технических системах», а также читателей, интересующихся вопросами математической логики и дискретной математики.
Для студентов, обучающихся по специальностям «Прикладная математика», «Программное обеспечение», «Информационные системы», «Управление и информатика в технических системах», а также читателей, интересующихся вопросами математической логики и дискретной математики.