Математическая логика и теория алгоритмов
Игошин В.И.
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
عام:
2008
الإصدار:
2-е изд
الناشر:
Академия
اللغة:
russian
الصفحات:
449
ISBN 10:
5769545933
ISBN 13:
9785769545931
ملف:
PDF, 52.64 MB
IPFS:
,
russian, 2008