Рабочие листы
к вашим урокам
Скачать
1 слайд
«Система Axiom и ее возможности для символьных вычислений»
Выполнила: Багданова Яна
2 слайд
«Аксиома» (Axiom) — свободная универсальная система компьютерной алгебры.
Она состоит из среды интерпретатора, компилятора и библиотеки, описывающей строгую, математически правильную иерархию типов.
Что такое «Аксиома»
3 слайд
Ричард Дженкс
(1937-2003)
4 слайд
Лицензия BSD - это лицензионное соглашение, впервые применённое для распространения UNIX-подобных операционных систем BSD.
Лицензия BSD
5 слайд
6 слайд
Начало работы
7 слайд
ССЫЛКИ НА РЕЗУЛЬТАТЫ
8 слайд
ПАРАМЕТРЫ ВЫВОДА «ОТКРЫТОЙ АКСИОМЫ»
9 слайд
ПАРАМЕТРЫ ВЫВОДА «ОТКРЫТОЙ АКСИОМЫ»
10 слайд
СЕАНС РАБОТЫ С АКСИОМОЙ В ПРОГРАММЕ TEXMACS
11 слайд
АРИФМЕТИКА
12 слайд
АРИФМЕТИКА
13 слайд
Арифрметика по молдулю 2
14 слайд
Переменные, макросы и функции
15 слайд
ПЕРЕМЕННЫЕ И МАКРОСЫ
16 слайд
ПЕРЕМЕННЫЕ И МАКРОСЫ
17 слайд
Функция — это последовательность действий (операций).
Функция задаётся конструкцией:
имя (аргументы) == тело функции.
Результат функции — результат последней операции в её теле.
ФУНКЦИИ
18 слайд
ФУНКЦИИ
19 слайд
ФУНКЦИИ
20 слайд
21 слайд
ОПЕРАТОРЫ
Абстракные операции создаются функцией operator с аргументом, означающим имя оператора, которое будет использоваться для обозначения этого оператора
22 слайд
ПРОИЗВОДНЫЕ
Производные выводятся с помощью функции differentiate. Для краткости можно использовать лишь букву D (заглавную).
23 слайд
ПРОИЗВОДНЫЕ
24 слайд
Последовательности, в том числе бесконечные, создаются конструкцией
[f(n) for n in a]
ПОСЛЕДОВАТЕЛЬНОСТИ
Для применения некоторой функции ко всем членам последовательности используется функция map.
Для свёртки конечной последовательности с помощью некоторой операции (сложение, умножение, разность, минимум, максимум) используется функция reduce, суммы задаются функцией sum .
25 слайд
ТАБИЛИРОВАНИЕ ФУНКЦИИ
26 слайд
27 слайд
28 слайд
Матрицы создаются функцией matrix
Диагональные матрицы можно создать проще — функцией diagonalMatrix.
Ранг матрицы вычисляется функцией rank
Определитель — determinant
Обратная матрица — inverse
Транспонированная — transpose
Доступ к элементам матрицы — матрица (строка, столбец) .
МАТРИЦЫ
29 слайд
МАТРИЦЫ
30 слайд
31 слайд
Векторы создаются функцией vector.
Вектор имеет фиксированное число элементов (в отличие от списка или массива) любого, но только одного типа.
ВЕКТОРЫ
32 слайд
33 слайд
34 слайд
Неопределённые и определённые интегралы берутся с помощью функции integrate
ИНТЕГРАЛЫ
35 слайд
НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
36 слайд
37 слайд
38 слайд
ОПРЕДЕЛЁННЫЙ ИНТЕГРАЛ
39 слайд
СПАСИБО ЗА ВНИМАНИЕ!
Рабочие листы
к вашим урокам
Скачать
«Аксиома» (Axiom) — свободная универсальная система компью терной алгебры. Она состоит из среды интерпретатора, компилятора и биб лиотеки, описывающей строгую, математически правильную иерархию ти пов.Разработка «Аксиомы» ведётся с 1971 года. В то время она назы валась«Черновик»(Scratchpad) и была большим проектом универсальной системы компьютерной алгебры, созданным в «Межделмаше» (IBM) под руководством Ричарда Дженкса (RichardJenks). На протяжении 20 лет про ект «Аксиома», руководимый Барри Тагером (BarryTager), был инструмен том серьёзных исследований в вычислительной математике. В 1990-е, когда удача отвернулась от IBM, проект был продан компании «Числовые алгоритмы» (NumericalAlgorithmsGroup) и, став ком мерческим продуктом, получил своё нынешнее имя. По разным причинам«Аксиома» продавалась не очень хорошо и в октябре 2001 года покинуларынок программного обеспечения. В сентябре 2002 года «Аксиома» была выпущена под свободной лицензией БСД,2) а 27-го августа 2003 года сталадоступна для загрузки с сайта Фонда свободного программного обеспече ния — «Саванна» В 2007 году на основе «Аксиомы» были созданы ещё два проекта: «Фрикас» и «Открытая Аксиома». В настоящее время «Аксиома» доступна и может быть использована на многих системахтипа Юникс, в том числе Линукс, а также Виндоус.Одной из причин коммерческого провала «Аксиомы» можно считать(а можно и не считать) саму её суть: она многое делает не так, как большинство программ. В основе «Аксиомы» лежит строгая математика, и это — еёприоритет над красивой внешностью или удобством использования. Однакоудобство использования — понятие субъективное, и для подготовленногоспециалиста «Аксиома» — настоящий подарок и удовольствие.«Аксиома» не только интерактивная программа с построчным вводом,она также — компилятор полноценного языка, с помощью которогоможно строить и исследовать математические конструкции. Фактически,такие построения составляют суть развития «Аксиомы» как программы.Неполный список включает: понятия группы и кольца, арифметику произвольнойточности, комплексные и гиперкомплексные числа, матрицы, ряды, пределы, производные, интегралы, дифуры, а также их комбинации вроде матриц, рядов из матриц и многое другое.Решающая сила «Аксиомы» кроется в её великолепной структуре,которая позволяет наращивать новые возможности, не увеличивая общую сложность системы (программа «не умрёт под собственной тяжестью», чем страдают многие, не только научные, коммерческие монстры). Дизайн «Аксиомы» позволяет интегрировать её с другими инструментами типа численных библиотек на Фортране или Си. «Аксиома» — литературная программа, технология литературного программирования Дональда Кнута используется по всему исходному коду, что позволяет «Аксиоме» иметь актуальную документацию и быть понятной новым разработчикам. В настоящее время не существует конкурента «Аксиоме» на её поле и, что особенно важно, в плане структуры и организации проекта. «Аксиома» предлагает основу для математических изысканий любой сложности и новизны. Она предоставляет язык для компьютерного описания математических объектов и их отношений.Хотя «Аксиома» уже сейчас представляет собой мощную систему,перспектива использования её для создания новых разделов математикипоистине завораживает. В последние годы «Аксиома» была использованадля успешного решения задач теоретической математики, математическойфизики, комбинаторики, обработки сигналов и параллельных вычислений.С её помощью были получены новые диофантовы приближения для числа
6 665 049 материалов в базе
Настоящий материал опубликован пользователем Скучилова Татьяна Витальевна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материал
Ваша скидка на курсы
40%
Курс профессиональной переподготовки
500/1000 ч.
Курс профессиональной переподготовки
600 ч.
Курс повышения квалификации
36 ч. — 180 ч.
Курс повышения квалификации
72 ч. — 180 ч.
Мини-курс
2 ч.
Мини-курс
3 ч.
Мини-курс
10 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.