Математика

Рассмотрены аналитические методы решения задач поиска экстремума функций многих переменных на основе необходимых и достаточных условий. Изложены численные методы нулевого, первого и второго порядков решения задач безусловной минимизации, а также численные методы поиска условного экстремума. Описаны алгоритмы решения задач линейного программирования, целочисленного...

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

В наше время книги А.П. Киселёва стали библиографической редкостью и неизвестны молодым учителям. А между тем дальнейшее совершенствование преподавания математики невозможно без личного знакомства каждого учителя с учебниками, некогда считавшимися эталонными. Именно по этой причине и предпринимается переиздание «Алгебры» А.П. Киселёва.

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

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

Книга посвящена тем свойствам коник (кривых второго порядка), которые формулируются и доказываются на чисто геометрическом языке (проективном или метрическом).Изложение начинается с элементарных фактов и доведено до весьма нетривиальных результатов, классических и современных. Глава 2 является содержательным дополнением к традиционному курсу евклидовой планиметрии,...

В учебнике изложен курс геометрии для 10–11 классов средней школы (профильный уровень). Подробно разобран теоретический материал и многочисленные задачи. В каждой главе приводятся задачи для самостоятельного решения, к которым даны ответы и указания. Наряду со «стандартными» широко представлены «нестандартные» задачи, в том числе задачи математических олимпиад разного...

В предлагаемой книге излагается теория коммутативных нормированных колец с ее применениями к анализу и топологии. В конце книги в виде приложения воспроизведена статья И.М. Гельфанда и М.А. Наймарка <Нормированные кольца с инволюцией и их представления>, могущая служить введением в теорию некоммутативных нормированных колец с инволюцией. Книга рассчитана на математиков (студентов старших курсов, аспирантов и научных работников),...

Электронный курс излагается достаточно коротко, с необходимыми обоснованиями основных положений учебного материала. Основная особенность - сочетание необходимого теоретического материала с широким использованием методов решения основных типов задач по всем разделам курса. К каждой теме сформулированы вопросы для самопроверки, в основном по теории. Цель этих вопросов...

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

В пособии приведены основные сведения из теории несобственных интегралов и описаны методы исследования их сходимости на основе применения различных признаков. Материал пособия снабжен достаточно большим количеством примеров, а также задач для самостоятельной работы, что способствует выработке практических навыков исследования сходимости и вычисления несобственных интегралов....

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов....

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами...

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

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

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

Излагаются элементы теории вероятностейи теории случайных процессов. Много внимания уделяется решению задач, которые занимают б?ольшую часть пособия.

В книге рассматриваются методы и средства определения интегральных характеристик периодических сигналов. Разработанные методы, алгоритмы, аппаратные и программные средства построены на принципах аппроксимации сигналов и процессов аналитическими моделями на основе априорной информации о свойствах объектов исследования. Они весьма эффективны при создании контрольно-измерительной...

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

В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический...