Разработка методов обоснования гипотез формальных теорий
Алгебраические многообразия, геометрия чисел, приложения
978-3-659-58011-6
3659580112
288
2014-09-10
82.90 €
rus
https://images.our-assets.com/cover/230x230/9783659580116.jpg
https://images.our-assets.com/fullcover/230x230/9783659580116.jpg
https://images.our-assets.com/cover/2000x/9783659580116.jpg
https://images.our-assets.com/fullcover/2000x/9783659580116.jpg
Цель настоящей небольшой книги - ввести читателя в обширную область исследований, посвященную обоснованию гипотез формальных теорий с использованием компьютерных методов. Она формируется шесть последних десятилетий на основе математической логики, теории чисел, алгебры, алгебраической геометрии, анализа, численных методов и компьютерных наук. Среди теоретико-числовых, алгебраических и арифметико-геометрических объектов, изучаемых в книге, присутствуют формальные системы, диофантовы уравнения, алгебраические кривые, пространства модулей, критические решетки и определители. Приведен ряд современных конструкций, позволяющих компьютерное исследование этих объектов. Изложение следует не вкусам и интересам автора, а целям обоснования гипотез, возникших при исследовании классических проблем. В книге излагаются как начальные, так и фундаментальные результаты геометрии чисел и теории алгебраических многообразий. Книга содержит открытые проблемы и отвечающие им гипотезы.
https://morebooks.de/books/fr/published_by/lap-lambert-academic-publishing/47/products
Mathématiques
https://morebooks.de/store/fr/book/%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0-%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%BE%D0%B2-%D0%BE%D0%B1%D0%BE%D1%81%D0%BD%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F-%D0%B3%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7-%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D1%85-%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B9/isbn/978-3-659-58011-6