Издательство: Лань, 2008
Переплёт: Твердый переплет, 288 страниц
Серия: Учебники для вузов. Специальная литература
Категория: Учебная литература
ISBN: 978-5-8114-0082-9
Тираж: 3000
📒 Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.