Об истории использования отечественных систем символьных преобразований в механических приложениях
Выполнение громоздких выкладок с формулами на компьютере (компьютерная алгебра) как одна из первых попыток моделирования интеллектуальной деятельности. Характеристика этапов и проблем развития и использования компьютерной алгебры в задачах механики.
Подобные документы
- 101. Векторная алгебра
Сущность векторной алгебры. Изучение математических операций с векторами (сложение, умножение). Понятие векторного пространства и линейной зависимости векторов, необходимость коллинеарности и компланарности. Скалярное произведение векторов и координаты.
конспект урока, добавлен 16.01.2010 - 102. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Получение обобщенных уравнений электродинамики и гидроаэродинамики, устанавливающих иерархию и взаимосвязь основных величин, изменяющихся в пространстве и времени, с помощью четырехвекторов и алгебры Клиффорда. Бивектор гравитационно-инерциального поля.
статья, добавлен 27.05.2018Способы деления многочленов. Основная теорема алгебры комплексных чисел. Особенности попарного выделения сопряженных корней. Правила представления неправильных дробей. Использование метода неопределенных коэффициентов. Разложение функций на множители.
лекция, добавлен 09.07.2015- 105. Линейная алгебра
Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.
курс лекций, добавлен 22.01.2013 - 106. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Использование алгебраического метода решения задач на построение в теории конструктивных задач. Определение взаимосвязи алгебры и геометрии. Обзор примеров задач на построение и схем их решения. Построение отрезков, заданных основными формулами.
курсовая работа, добавлен 25.01.2017Классификация моделей и методов формализованного представления систем. Изучение основных этапов имитационного моделирования. Корреляция и причинная зависимость. Линейные регрессионные уравнения. Идентификация параметров распределения случайной величины.
учебное пособие, добавлен 25.04.2014Ознакомление с ключевыми этапами становления математики. Формирование арифметики, геометрии и алгебры. Предпосылки создания системы счисления. Значение вавилонской и египетской цивилизаций в развитии математики. Анализ греческих методов вычислений.
реферат, добавлен 23.05.2016Разрешение вопросов и задач линейной алгебры, а также определение понятий. Исследование элементов аналитической геометрии на прямых, плоскостях, в трехмерном и в N–мерном пространствах. Математический анализ, а также дифференциальное исчисление.
курс лекций, добавлен 24.01.2011Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Определитель как одно из основных понятий линейной алгебры. Нахождение обратной матрицы. Коэффициенты при переменных и свободные членов. Методы Крамера и Гаусса. Отрезки, отсекаемые плоскостью на осях координат. Исследование функции и построение графика.
контрольная работа, добавлен 08.10.2014Аксиоматическое построение множества натуральных чисел. Отношение делимости и его свойства. Полная и приведенная системы вычетов, теорема Эйлера и Ферма. Тригонометрическая форма записи комплексного числа. Действия над ними в алгебраической форме.
учебное пособие, добавлен 19.01.2015- 114. Прикладна алгебра
Комп'ютерна алгебра і обчислювальний аналіз. Основні поняття диференціальної алгебри. Напівгрупи, автомати та формальні мови. Застосування методів Берисай де-Поя. Деференціальне рівняння Ріша. Система алгебраїчних рівнянь. Гратки та їх застосування.
курс лекций, добавлен 07.12.2011 Анализ определений внутренних и внешних устойчивых множеств на графе с определением его ядра. Обзор построения нелокальных правил коллективных решений. Нахождение значений векторов турнирной матрицы, методом индивидуальных порядков линейной алгебры.
лекция, добавлен 29.09.2013Решение заданий базового уровня по все модулям алгебры и геометрии в 9 классе. Закрепление знаний школьного курса математики в процессе обучения. Планирование работы участника экзамена. Освоение государственных Федеральных образовательных стандартов.
презентация, добавлен 15.05.2014Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021- 118. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 - 119. Теория вероятности
Понятие алгебры событий. Рассмотрение стохастического эксперимента определения вероятности. Свойства суммы и произведения событий. Методы расчета совместного появления двух величин. Основные формулы для исчисления функции Лапласа и теоремы Байеса.
методичка, добавлен 07.10.2015 Элементы векторной алгебры. Басизы и координаты. Скалярное произведение. Прямые на плоскости и в пространстве. Замены координат. Конические сечения: эллипс, гипербола, парабола. Теоремы единственности для кривых второго порядка. Пополнение плоскости.
курс лекций, добавлен 10.09.2016Математика в Древнем Вавилоне. Число во времена Пифагора и ранних пифагорейцев. Геометрическая алгебра в современности. Формулы сокращённого умножения. Квадрат суммы, разность квадратов. Геометрическое объяснение дистрибутивного закона умножения.
реферат, добавлен 26.12.2011- 122. Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012 Основні поняття елементарної математики: алгебра, геометрія, тригонометрія. Елементи лінійної алгебри і аналітичної геометрії. Рішення систем лінійних однорідних рівнянь. Диференціальне числення функції однієї змінної. Поняття межі послідовності.
курс лекций, добавлен 08.09.2011- 124. Методы решения задач
Основные понятия векторной алгебры, примеры решения задач. Вычисление производных тригонометрических функций. Нахождение точек экстремума, минимума и максимума функции, построение ее графика. Определение площади фигуры при помощи интегрирования.
контрольная работа, добавлен 04.11.2012 Суть основного правила комбинаторики. Анализ булевой алгебры характеристических векторов и высказываний. Особенность дизъюнктивных и конъюнктивных нормальных форм. Функционально-полные системы функций. Главные параметры поиска многочлена Жегалкина.
курс лекций, добавлен 08.02.2015