Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659580116

Книга ISBN13 9783659580116 - Разработка методов обоснования гипотез формальных теорий (Николай Глазунов) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Разработка методов обоснования гипотез формальных теорий
Цель настоящей небольшой книги - ввести читателя в обширную область исследований, посвященную обоснованию гипотез формальных теорий с использованием компьютерных методов. Она формируется шесть последних десятилетий на основе математической логики, теории чисел, алгебры, алгебраической геометрии, анализа, численных методов и компьютерных наук. Среди теоретико-числовых, алгебраических и арифметико-геометрических объектов, изучаемых в книге, присутствуют формальные системы, диофантовы уравнения, алгебраические кривые, пространства модулей, критические решетки и определители. Приведен ряд современных конструкций, позволяющих компьютерное исследование этих объектов. Изложение следует не вкусам и интересам автора, а целям обоснования гипотез, возникших при исследовании классических проблем. В книге излагаются как начальные, так и фундаментальные результаты геометрии чисел и теории алгебраических многообразий. Книга содержит открытые проблемы и отвечающие им гипотезы.
Авторы: Николай Глазунов
Издательство: LAP Lambert Academic Publishing
Год: 2014
Местонахождение: OZON.ru
ISBN: 9783659580116


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.