МАТЕМАТИКА

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

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

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

Учебно-методическое пособие подготовлено на кафедре математического анализа математического факультета Воронежского государственного университета.

Биобиблиографический указатель составлен к 65-летию со дня рождения Л. С. Казарина, доктора физико-математических наук, профессора, заведующего кафедрой алгебры и математической логики Ярославского государственного университета им. П. Г. Демидова. Публикации Л. С. Казарина даются в хронологическом порядке. Составители выражают благодарность всем лицам, помогавшим в подготовке указателя.

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

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

Методические указания содержат материалы, необходимые для изучения дисциплины "Линейная алгебра": теоретические сведения по темам "Системы линейных уравнений, их решение методом Гаусса и Жордана-Гаусса", "Задача линейного программирования, ее решение графическим методом и симплекс-методом", контрольные работы, темы практических занятий с перечнем диагностических целей, темы рефератов, список литературы.

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

Настоящий курс, состоящий из 11 лекций, предназначен для студентов-бакалавров экономических специальностей очной и заочной форм обучения. Изложение теоретического материала по всем темам сопровождается рассмотрением большого числа примеров и задач.

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

Учебное пособие подготовлено на кафедре математических методов исследования операций факультета ПММ Воронежского государственного университета

Учебно-методическое пособие подготовлено на кафедре математических методов исследования операций факультета ПММ Воронежского государственного университета.

Логика высказываний рассматривается в данном учебном пособии применительно к восприятию студентов-гуманитариев, с более подроб- ным, чем в классических учебниках, изложением наиболее важных ее разделов. Адресовано студентам, изучающим курс «Логика» в рамках социаль- но-экономических и гуманитарных направлений подготовки.

Изложена теория нормальных форм в приложении к динамическим системам с конечномерным и бесконечномерным фазовым пространством. Приводится эффективный алгоритм вычисления коэффициентов нормальной формы. Учебное пособие по дисциплине „Численные методы анализа динамических систем" (блок ДС) предназначено студентам специальностей 010100 Математика и 010200 Прикладная математика и информатика очной формы обучения. Рис. 21. Библиогр.: 32 назв. Табл. 4

Учебное пособие «Лабораторные работы по курсу "Методы вычислений"» представляет собой сборник из восьми лабораторных работ по основным разделам указанного курса. Перед каждой лабораторной работой приводятся без доказательств основные факты и теоремы по теме предлагаемой работы. Предназначено д.ля студентов 3 — 4 курсов, обучающихся по специальности 010100 Математика (дисциплина «Методы вычислений», блок ОПД) и направлению 510100 Математика (дисциплина «Методы вычислений», блок ОПД), очной формы обучения.

Изложена теория нормальных форм в приложении к динамическим системам с конечномерным и бесконечномерным фазовым пространством. Приводится эффективный алгоритм вычисления коэффициентов нормальной формы. Рис. 21. Библиогр.: 32 назв. Табл. 4.

В основу пособия положен двухсеместровый курс лекций для студентов магистратуры направления «Прикладная математика и информатика», ориентированных на работу в области систем и сетей телекоммуникаций, а также информационных технологий. В главе 1 излагаются основы классической теории телетрафика,а в главах 2 и 3 — ее обобщение на мультисервисные модели Эрланга и Энгсета. В главе 4 рассматриваются основы теории открытых и замкнутых сетей массового обслуживания, а в главе 5 анализируются модели буферизации в узле коммутации пакетов и фрагмента системы спутниковой связи. В главе 6 кратко изложены основные понятия и методы управления доступом в мультисервисных сетях связи. В главе 7 предлагается несколько новейших моделей сетей сотовой и оптической связи. Во всех главах приводятся эффективные алгоритмы расчета показателей качества обслуживания. Пособие включает также три справочно-математических и два учебно-методических приложения. Для студентов, аспирантов, преподавателей ряда смежных специальностей, а также специалистов исследовательских подразделений в области телекоммуникационных и компьютерных систем и сетей.

Логика и формы научного мышления. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Лекции по теории информации. Гриф. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)

Линейная алгебра с приложениями к аналитической геометрии. Используемые программы: Adobe Acrobat. Труды сотрудников СГАУ (электрон. версия)