Подробное описание документа

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1.

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучаюшихся по специальностям «Математика», «Прикладная математика».

УДК

510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

• Математическая логика - Учебники и пособия
• Алгоритмы - Учебники и пособия

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л

Похожие издания

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - М. : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2.

Кол-во в фондах 2 экз.

подробнее