Санкт-Петербургский Дом Книги
ИНТЕРНЕТ-МАГАЗИН:
(800) 555-08-42
СПРАВОЧНАЯ СЛУЖБА ДОМА КНИГИ
НЕВСКИЙ, 28:
(812) 448-23-55
Настройки просмотра раздела
Количество товаров на странице:
Сортировка списка товаров:
Вывод постраничной навигации:
По нажатии на кнопку "Сохранить" данные параметры будут применены как для текущего раздела, так и для всех последующих разделов на всем сайте. Чтобы сменить режим просмотра в другом разделе, откройте эту форму повторно.
или скрыть настройки

Лежнёв А.В.

Высшая математика для экономистов: теория пределов и приложения: Учебник.

571,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Руни Э.

Математика за 15 минут.

«Математика за 15 минут» позволяет доступным образом понять математику как часть нашей повседневной жизни. Каждая глава отвечает на важный вопрос и разъясняет, как числа используются для передачи информации. Математика составляет основу всей науки, и именно благодаря ей человечество достигло такого прогресса. Это мировое достижение и мировой язык. Торговля и коммерция построены на числах. Компьютеры, которые интегрированы во всех сферах общества, работают на числах. Большая часть информации, которую нам предоставляют для текущих потребностей, имеет математический характер. Без базового понимания чисел и математики невозможно сообщить время, составить расписание, грамотно взять кредит и даже приготовить по рецепту. Числа могут использоваться для просвещения, объяснения и уточнения — а еще для обмана, введения в заблуждение и сбивания с толку. «Математика за 15 минут» позволяет на практических, живых примерах из жизни доступным образом понять, какую огромную роль играют цифры.
488,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Бородин А.Н. и др.

Справочник по броуновскому движению. Факты и формулы. Учебное пособие

3 438,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Герасимов А.С.

Курс математической логики и теории вычислимости. Учебное пособие.

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.
1 252,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

189,00 i
Положить в корзину

*Указана цена интернет-магазина.
Цена в магазине на Невском, 28
может отличаться.

Ваша корзина пуста. Для оформления заказа Вам необходимо добавить товары в корзину с помощью соответствующей кнопки.

ВНИМАНИЕ!



МЫ В СОЦИАЛЬНЫХ СЕТЯХ: