Premium domains portfolio DN Epic Store - Mighty Pack Of Catching Domain Names Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Новинки

Все новинки

Лидеры продаж

А. А. Люксембург. Автоматизированное построение математических теорий
Ценa:94 руб.Купить

А. А. Люксембург. Автоматизированное построение математических теорий

Издательство:Едиториал УРСС
Год издания:2005
Страниц:32
ISBN:5-354-01005-5

Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей.
Для студентов, аспирантов, математиков.

В. М. Жуков. Практикум по высшей математике для инженерных специальностей
Ценa:46 руб.Купить

В. М. Жуков. Практикум по высшей математике для инженерных специальностей

Издательство:Феникс
Год издания:2007
Страниц:176
ISBN:978-5-222-12686-8

В практикуме по высшей математике представлены следующие разделы: линейная алгебра, векторная алгебра, аналитическая геометрия, введение в математический анализ, производная и дифференциал функции, приложения производной функции одной переменной, дифференциальное исчисление функций двух переменных, неопределенный интеграл, определенный интеграл и его приложения. В начале каждого раздела приведена краткая теория и основные формулы. Задачи, предложенные для решения, приведены в порядке возрастания сложности и разделены на задачи для решения на практических занятиях и домашнего задания. В завершении каждого раздела приведены ответы.
Разделы математики соответствуют содержанию учебной программы первого года обучения математике согласно требованиям Государственного образовательного ...

Все бестселлеры

Основания математики, логика

Алгебра

Геометрия

Общая математика

Высшая математика

Математический и функциональный анализ

Вычислительная математика, численные методы

Математическая кибернетика

Математическое моделирование

Теория вероятностей и математическая статистика