Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не читается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики – о логике, множествах,...
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы,...
Книга посвящена основам математического (аналитического, численного и вероятностного) и технологиям компьютерного моделирования реальных процессов, явлений и объектов. Рассмотрены более 50 физических объектов, их математические модели, задания к выполнению и компьютерные программы для отработки умений и навыков решения задач методами численного, вероятностного (методом Монте-Карло) моделирования...
В работе излагается учебный материал, достаточный для успешного начала работ в области параллельного программирования. Для этого в учебнике дается краткая характеристика принципов построения параллельных вычислительных систем, рассматриваются математические модели параллельных алгоритмов и программ для анализа эффективности параллельных вычислений, приводятся примеры...
В книге изложены теория, методы и основные элементы компьютерных технологий оптимизации. Наиболее подробно описаны методы решения конечномерных задач с учетом таких особенностей, как невыпуклость и плохая обусловленность минимизируемых функционалов. Рассмотрены многопараметрические и многокритериальные задачи. В качестве модельной предметной области выбраны задачи управления. Рассматриваемый...
В учебном пособии приведена информация, необходимая для успешного построения и использования имитационных моделей сложных систем. Это основные положения, которые изучаются при подготовке студентов математических специальностей: элементы теории вероятностей; основные понятия математической статистики; использование метода статистических испытаний как основы моделирования вероятностных систем;...
Практическое руководство по новой перспективной системе визуального блочного математического моделирования VisSim 3/4.5/5, обеспечивающей интеграцию с массовыми системами компьютерной математики Mathcad и MATLAB. Даны основы математического моделирования, полное описание библиотеки блоков и применение VisSim для обработки, включая фильтрацию, сигналов, моделирования и анализа различных систем и устройств....
Монография посвящена вопросам обоснования корректности задач для систем нелинейных уравнений, имеющих прикладное значение в математической физике. Содержание книги направлено на выявление и анализ основных математических структур, связанных с вопросами обоснования методов математического моделирования, приводящих к нелинейным системам законов сохранения, включающих в себя систему Навье—Стокса...
В книге дан анализ ошибок и неточностей, недавно обнаруженных в традиционных методах расчета и популярных пакетах прикладных программ (MATLAB, Mathcad и др.), и их связь с открытыми в Санкт-Петербургском государственном университете (СПбГУ) новыми свойствами эквивалентных (равносильных) преобразований. Эти ошибки и неточности расчетов являются причиной многих аварий и катастроф. В книге изложены пути...
В книге рассмотрен широкий круг математических аспектов оптимизации: математическое моделирование, безусловная минимизация в конечномерных и бесконечномерных гильбертовых пространствах, основы дискретной минимизации и задачи оптимального управления. Значительное внимание уделено построению численных методов решения задач оптимизации и описанию алгоритмов их реализации. Приведено большое...
Представлены некоторые прикладные модели экономических процессов, а также модели, содержащие дифференциальные уравнения. Приведено большое количество экономических задач с решениями и использованием информационной системы Excel. Теоретический материал дополнен примерами. Для контроля и усвоения изучаемых тем даны упражнения и задачи для самостоятельного решения. Для студентов экономических...
Содержит сведения о вычислительных и экспериментальных методах научного эксперимента (планирование эксперимента, измерение, моделирование и идентификация моделей, цифровая обработка сигналов), используемых при создании информационно-измерительных систем с косвенными измерениями. Рассмотрены вопросы исследования моделей и объектов с использованием информационно-измерительных систем.
Для...
Книга предназначена для начального ознакомления с основами теории вероятностей и математической статистики и развития навыков решения практических задач.
Основное внимание уделяется краткости изложения полного курса «Теории вероятностей и математической статистики», состоящего из теоретического и практического материала. Структура изложения максимально приближена к лекционным и практическим...
Дискретная математика нашла широкое применение в исследованиях больших систем и проектировании дискретных устройств автоматики, в защите и передаче информации, в управлении организационно-экономическими системами, в математической лингвистике и языках программирования. В книге изложены основы теории множеств и отношений, общей и булевой алгебр, комбинаторики и математической логики, теории графов,...
В учебном пособии представлены методы линейного программирования и математической статистики, позволяющие принять оптимальное или близкое к оптимальному бизнес-решение в условиях рыночной экономики. Описана методика построения математических моделей, графическое и численное решение задач оптимизации в среде MS Excel. Рассмотрено применение статистических критериев, позволяющее принимать решение на...
В учебнике излагаются основы теории множеств, отношений и переключательных функций, теории графов и мографов, основы функциональных композиций и декомпозиций, которые образуют единый методически взаимосвязанный курс «Дискретная математика». В конце каждой главы приведены задачи и упражнения, а также история и прагматика соответствующего раздела дискретной математики. Книга предназначена для...
Книга посвящена описанию программных средств разработки математического обеспечения в среде MATLAB. Особое внимание уделяется вопросам проектирования пользовательских приложений, представления данных с максимальным использованием средств программирования и отладки приложений, с увязкой программ решения задач линейной алгебры, дискретной математики, математического анализа с основными идеями...
Книга является пособием по математическому моделированию в пакете MathCad и включает большое число примеров из физики, химии, эконометрики и других разделов. Подробно рассмотрено применение пакета MathCad для решения как обыкновенных дифференциальных уравнений, так и дифференциальных уравнений в частных производных, что открывает новые возможности для преподавания курсов математической физики, численных...
В книге представлено описание новых выпусков системы MATLAB 6, вышедших в свет в 2001-2002 годах. Сохраняя свое назначение, ядро системы не только обеспечивает высокую эффективность математических вычислений и качественную визуализацию результатов, но и удобную интерактивную среду, основанную на новом графическом интерфейсе.Читатель найдет в книге описание графической операционной среды системы MATLAB 6,...
В книге рассматриваются основы нечеткого моделирования - нового направления применения наукоемких технологий для решения практических задач. Подробно описываются базовые понятия теории нечетких множеств и нечеткой логики, необходимые для построения нечетких моделей систем в бизнесе, технике и политике. Рассматриваются особенности нечеткого моделирования в средах MATLAB и fuzzyTECH. Изложение...
