Математические программы

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

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

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

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

Курс представляет собой конспект занятий практикума по компьютерной геометрии, разработанного и внедренного на механико-математическом факультете МГУ сотрудниками кафедры дифференциальной геометрии и приложений. Первая часть книги содержит подробное описание вычислительных, графических, динамических и анимационных возможностей пакета Mathematica Wolfram Research, Inc....

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

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

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

Курс посвящен различным аспектам использования системы компьютерных вычислений Maxima для решения математических, физических и технических задач. Maxima - развитие коммерческой системы Macsyma, разрабатывавшейся в Массачусетском технологическом институте с 1968 по 1982 г. Это была первая универсальная система символьных вычислений и одна из первых систем, основанных...

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

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

Курс посвящен основам работы в математическом пакете MathCAD 14. Рассмотрены различные технологические возможности среды. Приведены примеры решений типовых задач. Описана структура программы ее основные сервисы и приемы работы в среде с различными структурами данных. Рассмотрены различные технологические возможности выполнения символьных вычислений. Представлены методы...

Курс состоит из теоретической и практической частей. В каждой работе приводятся необходимые теоретические сведения для выполнения и понимания практических примеров. В практической части рассматриваются характерные примеры и их полная программная реализация в таких средах, как MATLAB, GPSS/PC. Большая часть программного кода реализована в MATLAB. Данный курс охватывает...

Книга является практическим руководством по моделированию задач с использованием приложения М8 Ехсе1. Книга предназначена для школьников, студентов и преподавателей, которые хотят быть знакомы с М8 Ехсе1 «на Вы», а также научиться моделированию, разработке моделей, алгоритмов и программ. Прочитав эту книгу, Вы научитесь использовать возможности М8 Ехсе1, о которых...

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

Описаны принципы создания и использования алгоритмов решения задач оптимизации на базе современного пакета прикладных программ Mathcad. Пособие предназначено для студентов, обучающихся по магистерским программам «Машины и агрегаты пищевой промышленности» и «Процессы и аппараты пищевых производств» (направление 151000 Технологические машины и оборудование). Оно может...

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

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

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