INTRODUCCIN
Un sistema algebraico computacional o sistema de lgebra computacional SAC
(CAS, del ingls computer algebra system) es un programa de ordenador o
calculadora avanzada que facilita el clculo simblico. La principal diferencia entre
un CAS y una calculadora tradicional es la habilidad del primero para trabajar
con ecuaciones y frmulas simblicamente, en lugar de numricamente. Es decir,
una expresin como a + b es interpretada siempre como "la suma de dos
variables", y no como "la suma de dos nmeros" (con valores asignados). Un CAS
nos permite automatizar manipulaciones tediosas o difciles, como por ejemplo,
desarrollar por el binomio de Newton la expresin
La mayor parte de las calculadoras que se comercializan son fabricadas por las
empresas Casio, Hewlett-Packard y Texas Instruments. Casio es el proveedor de
gran parte de las calculadoras que utilizan los escolares de todo el mundo; son de
bajo precio y contienen las operaciones y funciones matemticas ms frecuentes.
Hewlett-Packard y Texas Instruments tienen calculadoras de ms alto nivel, muy
utilizadas en entornos tcnicos y profesionales y con versiones avanzadas que
son capaces de procesar clculo simblico, como por ejemplo integracin de
funciones indefinidas. Algunas de estas calculadoras tienen posibilidad de
conectarse a otros elementos de captacin automtica de datos para operar sobre
ellos, o a un ordenador para intercambiar datos y programas.
Mxima es un sistema para la manipulacin de expresiones simblicas y
numricas, incluyendo diferenciacin, integracin, expansin en series de Taylor,
transformadas de Laplace, ecuaciones diferenciales ordinarias, sistemas de
ecuaciones lineales, y vectores, matrices y tensores. Mxima produce resultados
con alta precisin usando fracciones exactas y representaciones con aritmtica de
coma flotante arbitraria. Adicionalmente puede graficar funciones y datos en dos y
tres dimensiones.
OBJETIVOS
OBJETIVO GENERAL
Conocer cmo se manejan los diferentes programas de las computadoras y
medios magnticos con inteligencia artificial, por medio de comandos (calculo
simblico) introducidos a estos, por mxima (software comercial).
OBJETIVOS ESPECFICOS
Saber que es calculo o algebra simblica.
Conocer cmo se manejan los diferentes programas que manejar este tipo de
sistema.
Diferenciar entre los equipos que manejan este tipo de programas, (computadoras,
calculadoras) como influye en las diferentes experiencias y que procesos son los
que realizan.
Saber que programa se est ejecutando y todos sus comandos, que pueden
facilitar algn trabajo en tiempo futuro, como lo es el programa utilizado en este
caso (mxima).
trabajar el programa de una manera ptima, realizando un proceso de manejo de
ecuaciones, y ejecutando en si todos sus comandos permisibles con la ayuda de
clculo simblico, y registrar posteriormente este proceso.
MARCO TEORICO
CALCULO Y/O ALGEBRA SIMBLICA
MANIPULACIN DE EXPRESIONES
Suelen incluir los siguientes tipos de manipulaciones:
Con expresiones simblicas:
Simplificacin de una expresin a la forma ms simple o a una forma
estndar.
Cambio en la forma de las expresiones: expansin de productos y
potencias, factorizacin, reescritura de un cociente de polinomios como
suma de fracciones parciales, reescritura de funciones trigonomtricas
como exponenciales (y viceversa), etc.
Operaciones con matrices incluyendo productos de matrices, inversa
de una matriz, etc.
Resolucin de algunas ecuaciones.
Clculo de algunos lmites de funciones.
Clculo de derivadas y derivadas parciales.
Clculo de algunas integrales indefinidas, definidas y de algunas
transformadas integrales.
Aproximacin de funciones por desarrollo en series de potencias.
Resolucin de algunas ecuaciones diferenciales.
Con expresiones numricas:
Manipulacin exacta de fracciones y radicales.
Realizacin de operaciones con precisin arbitraria.
Respecto a la presentacin de resultados:
Visualizado de las expresiones matemticas en una forma
bidimensional, usando con frecuencia sistemas de composicin similares
a TeX.
En los prrafos precedentes, la palabra algunos indica que la operacin no
siempre puede ser realizada por el sistema. Un programa de esta clase puede
encontrar
limitaciones
a
la
hora
de
resolver
ciertas
expresiones derivadas, integrales, anti derivadas, lmites, cuando stas tienen
alguna ambigedad o indefinicin, o por las propias limitaciones del sistema.
Algunas versiones ofrecen al usuario la posibilidad de programar sus
propios algoritmos matemticos y solventar, en parte, tales limitaciones. El estudio
de algoritmos aplicables a los sistemas algebraicos computarizados se
denomina lgebra computacional.
CALCULO SIMBOLICO EN OTROS EQUIPOS
Las principales calculadoras que se comercializan, son realizadas por medio de
clculo simblico, la mayor parte de las calculadoras que se comercializan son
fabricadas por las empresas Casio, Hewlett-Packard y Texas Instruments. Casio
es el proveedor de gran parte de las calculadoras que utilizan los escolares de
todo el mundo; son de bajo precio y contienen las operaciones y funciones
matemticas ms frecuentes. Hewlett-Packard y Texas Instruments tienen
calculadoras de ms alto nivel, muy utilizadas en entornos tcnicos y profesionales
y con versiones avanzadas que son capaces de procesar clculo simblico, como
por ejemplo integracin de funciones indefinidas. Algunas de estas calculadoras
tienen posibilidad de conectarse a otros elementos de captacin automtica de
datos para operar sobre ellos, o a un ordenador para intercambiar datos y
programas.
MXIMA
Mxima es un sistema para la manipulacin de expresiones simblicas y
numricas, incluyendo diferenciacin, integracin, expansin en series de Taylor,
transformadas de Laplace, ecuaciones diferenciales ordinarias, sistemas de
ecuaciones lineales, y vectores, matrices y tensores. Mxima produce resultados
con alta precisin usando fracciones exactas y representaciones con aritmtica de
coma flotante arbitraria. Adicionalmente puede graficar funciones y datos en dos y
tres dimensiones.
Mxima es un descendiente de Macsyma, el legendario sistema de lgebra
computacional desarrollado a finales de 1960 en el instituto tecnolgico de
Massachusetts (MIT). Este es el nico sistema basado en el esfuerzo voluntario y
con una comunidad de usuarios activa, gracias a la naturaleza del open source.
Macsyma fue revolucionario es sus das y muchos sistemas posteriores, tales
como Maple y Mathematica, estuvieron inspirados en l. En 1998 l obtuvo
permiso para liberar el cdigo fuente bajo la licencia pblica general (GPL) de
GNU.
CLCULO NUMRICO CON MXIMA
Como la mayora de sistemas algebraicos, Mxima se especializa en operaciones
simblicas. Tambin ofrece capacidades numricas especiales, como son los
nmeros enteros y racionales, los cuales pueden crecer en tamao slo limitado
por la memoria de la mquina; y nmeros reales en coma flotante, cuya precisin
puede ser arbitrariamente larga (bfloat). Permite el manejo de expresiones
simblicas y numricas, y adems produce resultados con una alta precisin.
Para clculos intensivos en reales de coma flotante, Mxima ofrece la posibilidad
de generar cdigo en otros lenguajes de programacin, como Fortran, que quiz
se ejecuten de manera ms eficiente.
Mxima es un sistema de propsito general; como tal los clculos especiales
como la factorizacin de nmeros grandes, la manipulacin de polinomios
extremadamente grandes, etc. son normalmente realizados de forma ms eficiente
y rpida en sistemas especializados.
DESCRIPCIN DEL PROCESO
Lo que se busca con el software es el aprender a solucionar problemas
relacionados con cualquier tema de matemtica. Lo que hicimos para aprender a
manejar el software fue tomar videos tutoriales que fueron de mucha ayuda para la
resolucin de unos problemas tomados.
Tomamos problemas relacionados con temas vistos en clase, como lo eran
ejercicios de cinemtica, trabajo y energa.
El ejercicio principal a mostrar es tomado del libro Sears Zemansky
Decimosegunda edicin volumen 1, el cual nos dice:
Un bloque de hielo con masa 6.00 kg esta inicialmente en reposo, en una
superficie horizontal sin friccin. Un obrero le aplica despus una fuerza horizontal
F y el bloque se mueve sobre el eje x, de modo que su posicin en funcin de
m 2
m 3
0,2 2 t +0,02 3 t
tiempo est dada por
.
s
s
a) Calcule la velocidad del objeto en t=4 segundos
b) Calcule la magnitud de F en t=4 segundos
c) Calcule el trabajo efectuado por la fuerza F durante los primeros 4
segundos del movimiento.
En base a este ejercicio lo que se hace con el software es escribir en el panel de
entrada la ecuacin de posicin en funcin de tiempo.
Como nos pide el inciso a) la velocidad en un tiempo determinado y se conoce
que la velocidad es igual a la primera derivada de la posicin en funcin del
tiempo, tomamos la ecuacin y nos dirigimos a la barra de herramientas donde
dice Anlisis y a continuacin seleccionamos el comando de Derivar y el software
enseguida nos pide cual ecuacin, cual incgnita y el nmero de veces a derivar,
como es la primera derivada se le escribe 1.
Al ya tener la primera derivada, por consiguiente es la velocidad del movimiento,
se procede a remplazar en la variable t por 4 segundos, que es lo que nos pide la
primera pregunta. Despus de remplazar nos dirigimos a la barra de herramientas
donde dice Ecuacin y enseguida el comando de Resolver. Esto nos resuelve la
operacin que buscamos y por consiguiente nos arroja la respuesta del inciso a).
Para el inciso b) nos pide la magnitud de la fuerza del movimiento en un tiempo
determinado, se deduce que por la segunda ley de Newton la fuerza aplicada a un
objeto es igual al producto entre su masa y aceleracin (F=ma). Al conocer esto
necesitamos hallar la aceleracin del objeto durante el movimiento.
Se conoce que la aceleracin es la segunda derivada de la posicin en funcin del
tiempo, por consiguiente en el software se escribe de nuevo la ecuacin que
genero el movimiento y se procede a derivar tal como se hizo con el anterior
inciso, lo que cambia en este es que cuando nos pida el nmero de veces a
derivar la ecuacin procederemos a escribir all el nmero 2.
Al tener la segunda derivada, que por consiguiente es la aceleracin del
movimiento se procede a remplazar la variable t por 4 segundos, ya que nos pide
eso el inciso b) y continuamos con el proceso de Resolver como en el anterior
inciso. Eso nos genera el resultado buscado que es la aceleracin del movimiento
en dicho tiempo.
Despus ya se procede con la segunda ley de Newton (F=ma) y se remplazan los
valores tales como la masa y la aceleracin que es la que buscamos
anteriormente, luego vamos con el comando Resolver y esto nos genera la
respuesta al inciso b) que es la fuerza.
Despus continuamos con el inciso c) que nos pide el trabajo generado por el
movimiento en un tiempo t. Como se conoce que el trabajo es igual a la fuerza
realizada por la distancia recorrida en este caso en el tiempo t (W=F r ) pero en
este caso el trabajo es ejercido por el cambio en la energa cintica del
mv 2 mvo 2
movimiento por consiguiente W= 2 + 2
y se deduce que la velocidad inicial
mv 2
es 0, entonces nos quedara W= 2
, esto se pone en el software y se
remplazan valores tales como la masa y la velocidad ya conocida por el inciso a)
despus se procede con el comando de Resolver y nos genera la respuesta del
trabajo para el inciso c)
ANLISIS DE RESULTADOS, LOGROS ALCANZADOS Y CONCLUSIONES
BIBLIOGRAFA
Microsoft Encarta 2009. 1993-2008 Microsoft Corporation. Reservados
todos los derechos.
