учебник по математике

Основы теории принятия решений, Доросинский Л., 2014.

   В книге рассмотрены современные методы распознавания образов: классическая теория принятия решений (проверка простых и многоальтернативных гипотез), оценка параметров и "обучение с учителем", параметрические и непараметрические методы классификации (оценка плотности распределения, Правило ближайших соседей, линейный дискриминант Фишера), нейронные сети, генетические алгоритмы и методы имитационного моделирования. Книга предназначена для специалистов, аспирантов и студентов, изучающих современные методы цифровой обработки сигналов.

Элементы теории графов, Домнин Л.Н., 2007.

   Книга посвящена теории графов и состоит из пяти разделов. В первом даны основные понятия и определения теории графов, рассмотрены виды графов и способы их описания. Второй раздел посвящен вопросу о связности ориентированных графов. Важнейший вид графов - деревья рассмотрен в третьем разделе. Разобраны задачи описания и пересчета деревьев, а также задача о кратчайшем остове. Четвертый раздел посвящен вопросам пересчета и перечисления путей в графах. Здесь же приведены различные варианты задачи о кратчайшем пути и алгоритмы ее решения. В пятом разделе рассматриваются фундаментальные, эйлеровы и гамильтоновы циклы. Разбираются условия существования и алгоритмы поиска таких циклов в графе.
Учебное пособие подготовлено на кафедре "Высшая и прикладная математика" по материалам курса лекций по теории графов, читаемого автором для студентов специальности "Прикладная математика" и может быть использовано студентами других специальностей при изучении соответствующих разделов дискретной математики.

Элементы теории графов, Теория Графов, Lazarev А., 2010.

Фрагмент из книги:
Леонард Эйлер (нем. Leonhard Euler; 4 (15) апреля 1707, Базель, Швейцария — 7 (18) сентября 1783, Санкт-Петербург, Российская империя) — российский и швейцарский математик, внёсший значительный вклад в развитие математики, а также механики, физики, астрономии и ряда прикладных наук.
Эйлер — автор более чем 800 работ по математическому анализу, дифференциальной геометрии, теории чисел, приближённым вычислениям, небесной механике, математической физике, оптике, баллистике, кораблестроению, теории музыки и др. Многие его работы оказали значительное влияние на развитие науки.

Математические модели динамических систем, Асанов А.З., 2007.

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

Теория графов, Алексеев В.Е., Захарова Д.В., 2012.

   В учебно-методическом пособии излагаются основные понятия и фундаментальные факты теории графов, методы метрического и структурного анализа графов, алгоритмы решения экстремальных задач на графах. Рассматриваются важнейшие классы графов: деревья, двудольные графы, планарные графы. Пособие содержит также задачи для практических занятий и задания для самостоятельной работы студентов.
Электронное учебно-методическое пособие предназначено для студентов ИНГУ, обучающихся по направлению подготовки 010300 «Фундаментальная информатика и информационные технологии», изучающих курс «Теория конечных графов и ее приложения».

Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983.

   Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.

Апология математики, Успенский В.А.

Фрагмент из книги:
"Человек отличается от свиньи, в частности, тем, что ему иногда хочется поднять голову и посмотреть на звёзды”. Это изречение принадлежит Виктору Амбарцумяну (в 1961 - 1964 гг. президенту Международного астрономического союза). А почти за двести лет до того на ту же тему высказался Иммануил Кант. Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной. Трудно представить человека, не впечатлявшегося видами неба. (Впрочем, воспоминания переносят меня в осень 1947 года, на лекцию по астрономии для студентов первого курса механико-математического факультета МГУ. Лекцию читает профессор Куликов. Он делает нам назидание. “В прошлом веке профессор Киевского университета Митрофан Хандриков, - говорит профессор Куликов, - на экзамене спросил студента, каков видимый размер Луны во время полнолуния, и получил ответ, что тот не может этого знать, поскольку никогда не видал Луны”.).

Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962.

  Настоящий перевод трудов семинара "Софус Ли" содержит систематическое и полное изложение теории алгебр Ли и некоторых вопросов топологии групп Ли. Целый ряд содержащихся здесь фактов можно найти лишь в разрозненных журнальных статьях.
В процессе изложения авторы используют методы и результаты различных разделов современной математики, в частности гомологической алгебры и алгебраической геометрии. Книга будет с интересом прочитана студентами старших курсов математических факультетов, аспирантами и научными работниками, интересующимися теорией алгебр и групп Ли и смежными вопросами.