Об истории использования отечественных систем символьных преобразований в механических приложениях
Выполнение громоздких выкладок с формулами на компьютере (компьютерная алгебра) как одна из первых попыток моделирования интеллектуальной деятельности. Характеристика этапов и проблем развития и использования компьютерной алгебры в задачах механики.
Подобные документы
Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
реферат, добавлен 25.12.2015- 52. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Элементы линейной алгебры, векторного анализа и аналитической геометрии. Определение значения матричного многочлена. Разложение элемента по рядам, сведение к треугольному виду. Матричное уравнение. Исследование системы на совместность методом Гаусса.
учебное пособие, добавлен 12.05.2014Структурный анализ надежности систем. Методы расчета систем с последовательной структурой. Суть параллельной структуры. Расчет надежности систем с параллельной и смешанной структурами. Описание условий работоспособности с помощью функций алгебры логики.
лекция, добавлен 09.09.2017Производственная сфера хозяйства и использование математических методов для оценки её эффективности. Межотраслевой баланс производства и применение линейной алгебры в экономике. Графическое отображение закономерностей и расчётф зависимости явлений.
контрольная работа, добавлен 20.06.2012Определение и направления исследования алгебры путей на связных графах. Описание их свойств и центральных элементов тел, частных для случая, когда граф является полным неориентированным графом без петель. Формулирование теорем и их доказательство.
статья, добавлен 31.05.2013Решение уравнений и систем в различных кольцах и полях как классическая задача алгебры и теории чисел. Алгоритмы решения полиномиальных уравнений и систем в полях алгебраических чисел, основанные на лемме о подъеме решения полиномиального сравнения.
статья, добавлен 18.01.2021Основы линейной и векторной алгебры. Пределы и непрерывность. Дифференциальное исчисление функций с одной и несколькими переменными. Зависимость производной от направления. Аналитическая геометрия и комплексные числа. Тригонометрическая форма записи.
курс лекций, добавлен 09.10.2013- 59. Линейная алгебра
Понятия линейной алгебры и матричного множества. Определители квадратных матриц второго, третьего и высших порядков. Правило Крамера для решения систем линейных уравнений первой степени. Ортогональные функции как базис функционального пространства.
реферат, добавлен 30.05.2022 Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017Матрицы и определители, их основные свойства и операции над ними. Собственные векторы и значения матрицы. Примеры использования аппарата для классических экономических моделей. Свойства скалярного произведения. Плоскость и прямая в пространстве.
методичка, добавлен 14.12.2010Проведение исследования основных операций булевой алгебры. Получение практических навыков по преобразованию и упрощению булевых выражений методами непосредственных преобразований и карт Карно. Построение выражений в форме канонической суммы минтермов.
контрольная работа, добавлен 28.01.2020Аналитическая геометрия. Основные положения линейной алгебры. Использование систем линейных уравнений при решении экономических задач. Функции и теоремы математического анализа. Основные методы интегрирования. Дифференциальные и разностные уравнения.
учебное пособие, добавлен 12.03.2013Теоретические основы изучения функциональной линии в курсе алгебры основной школы. Понятие функции, способы её задания и исследования. Изображение замкнутых кривых на координатной плоскости. Методика изучения линейной, квадратной и кубической функции.
методичка, добавлен 30.01.2016Исследование различных систем "чисел", которые можно построить, исходя из действительных чисел, путем добавления рядя "мнимых единиц". Характеристика и доказательства теорем Ферма-Эйлера, Адольфа Гурвица и приложение к ней (Фердинанда Георга Фробениуса).
курсовая работа, добавлен 09.04.2012Понятие линейной алгебры и две ее основные задачи: решение системы линейных алгебраических уравнений и определение собственных значений и собственных векторов матрицы. Численные методы решения данных задач: Гаусса, Крамера, итерации для линейных систем.
контрольная работа, добавлен 12.12.2012Анализ предмета и модели механики. Объект классической механики. Момент силы относительно точки. Теорема о зависимости момента от центра. Теорема о проекциях моментов. Момент силы относительно оси. Главный момент системы сил. Вращательная система сил.
лекция, добавлен 11.01.2020Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Особенность использования простых математических приемов в сфере кредитования. Анализ применения статистических методов, используемых для анализа кредитных возможностей клиентов. Характеристика оптимизации транспортных потоков и затрат на перевозку.
статья, добавлен 27.02.2019Анализ использования результатов теоретического математического исследования. Рассмотрение процесса математизации технических наук как феномена при истории технических знаний в той или иной области. Главная особенность изучения математики инженером.
статья, добавлен 27.02.2019Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014Матрицы, определители, системы линейных уравнений. Элементарные преобразования матриц, ранг матрицы. Матричная запись системы линейных уравнений и ее матричное решение. Элементы векторной алгебры и аналитической геометрии. Смешанное произведение векторов.
учебное пособие, добавлен 25.11.2012Использование итерации в прикладной математике. Выполнение арифметических операций над переменными с плавающей точкой на компьютере. Преобразования матрицы чисел прямым и обратным ходом Гаусса. Решения линейных систем уравнений методом квадратного корня.
лабораторная работа, добавлен 21.03.2014Понятие и особенности групповых систем, моделирующих биосистему. Модель, инвариантная к выбору переменных состояния, характеризующая взаимодействие популяций как объектов группового моделирования. Примеры алгебраических преобразований L-системы.
статья, добавлен 08.12.2018