В книге на примере изучения логики, теории множеств, алгебры, геометрии, анализа, теории графов рассматриваются некоторые общие характерные приемы и методы конструирования математических объектов и теорий, так называемые архетипы. Даются их наименования, описание и ссылки на них по ходу изложения материала. Сам материал представлен как на наивном, так и на современном строгом уровне, ряд теорем приводится с доказательством, подробно рассматривается построение конечных множеств и логики первого порядка с целью донести до широкого круга читателей возможность компьютерного моделирования математических доказательств. Вместе с тем, делается акцент на необходимости участия человека в этом процессе. В книге также дается ряд примеров из теории чисел, в частности, доказательство Великой Теоремы Ферма для случая п=3, 4, подробно рассмотрена теорема Гудстейна. Кроме того, проводится детальное описание движений в геометрии, всесторонне рассматривается аксиома выбора и ее влияние на математику, приводится ряд примеров из теории случайных графов с анализом их свойств.
Тираж 30 экз.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже