Издательство: Академия
Год выпуска: 2010
ISBN: 978-5-7695-7045-2
Формат: 60x90/16
Кол-во страниц: 448
Описание: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (В.И.Игошин "Задачи и упражнения по математической логике и теории алгоритмов"). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика".