martes, 29 de marzo de 2011

       PRINCIPALES RAMAS DE LA MATEMÁTICAS



Aritmética



De Wikipedia, la enciclopedia libre

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas.
Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso referencias|Aritmética}} ~~~~
Este artículo trata sobre la aritmética elemental. Para otros usos de este término, véase teoría de números.


http://bits.wikimedia.org/skins-1.17/common/images/magnify-clip.png
Alegoría de la Aritmética. Pintura de Laurent de La Hyre.
La aritmética es la más antigua y elemental rama de la matemática, utilizada en casi todo el mundo, en tareas cotidianas como contar y en los más avanzados cálculos científicos. Estudia ciertas operaciones con los números y sus propiedades elementales. Proviene de ἀριθμητική (arithmētikē), término de origen griego, que a su vez proviene de αριθμός (arithmós, 'número').
Contenido
[editar] Historia


En la prehistoria, la aritmética se limita al uso de números enteros, encontrados inscritos en objetos que indican una clara concepción de la suma y resta; el más conocido es el hueso Ishango de África central, que se data entre 18000 y 20000 a. C.


Hay evidencias de que los babilonios tenían sólidos conocimientos de casi todos los aspectos de la aritmética elemental en 1800 a. C., aunque los historiadores sólo pueden especular sobre los métodos utilizados para generar los resultados aritméticos - tal y como se muestra, por ejemplo, en la tablilla de arcilla Plimpton 322, que parece a ser una lista de Pitágoras triples, pero sin mostrar cómo se haya generado la lista. Del mismo modo, el egipcio Papiro de Ahmes (que data de ca. 1650 a. C., aunque es una copia de un antiguo texto de ca. 1850 a. C.) muestra sumas, restas, multiplicaciones y divisiones, utilizando un sistema de fracciones.
Libro de Aritmética del siglo XVIII.


Nicomachus de Gerasa (ca. 60 - 120 a. C.) resume la filosofía de Pitágoras enfocada a los números, y sus relaciones, en su Introducción a la Aritmética. En esa época, las operaciones aritméticas básicas eran muy complicadas, hasta que comenzó a utilizarse el método conocido como "Método de los indios" (en latín "Modus Indorum") que se convirtió en la aritmética que hoy conocemos. La aritmética india era mucho más simple que la aritmética griega, debido a la simplicidad del sistema numérico indio que, además poseía el cero y una notación con valor numérico posicional. En el siglo VII, el obispo sirio Severo Sebhokt menciona este método con admiración, indicando no obstante que el método indio iba más allá de esa descripción. Los árabes aprendieron ese nuevo método y lo llamaron hesab. Fibonacci (también conocido como Leonardo de Pisa) presenta el "Método de los indios" en Europa en 1202; en su tratado Liber Abaci, Fibonacci dice que, comparado con este nuevo método, todos los demás habían sido erróneos. En la Edad Media, la aritmética es una de las siete artes liberales enseñada en las universidades.


Los modernos algoritmos de cálculo fueron posibles gracias a la introducción de los números árabes y la notación decimal posicional. Los números árabes, basados en la aritmética, fueron desarrollados por los grandes matemáticos indios Aryabhatta, Brahmagupta y Bhaskara I. Aryabhatta ideó la notación posicional, dando diferente valor a un número dependiendo del lugar ocupado, y Brahmagupta añadió el cero al sistema numérico indio. Brahmagupta desarrolló la moderna suma, resta, multiplicación y división, basadas en los números arábigos. A pesar de que ahora se considera elemental, su sencillez es la culminación de miles de años de desarrollo matemático. 


Por el contrario, el antiguo matemático Arquímedes dedicó todo un tratado para la elaboración de una notación con determinados números. El florecimiento del álgebra en el mundo medieval islámico y en el Renacimiento europeo fue fruto de la enorme simplificación de las operaciones mediante la notación decimal posicional.


[editar] Operaciones básicas

La Aritmética tiene siete operaciones básicas, que son:
A la consideración conjunta de todas estas operaciones se le conoce como cálculo aritmético.

Geometría

De Wikipedia, la enciclopedia libre


Alegoría de la Geometría.


La Geometría (del latín geometrĭa, que proviene del idioma griego γεωμετρία, geo tierra y metria medida), es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o el espacio, como son: puntos, rectas, planos, politopos (paralelas, perpendiculares, curvas, superficies, polígonos, poliedros, etc).
Es la justificación teórica de la geometría descriptiva o del dibujo técnico. También da fundamento a instrumentos como el compás, el teodolito, el pantógrafo o el sistema de posicionamiento global (en especial cuando se la considera en combinación con el análisis matemático y sobre todo con las ecuaciones diferenciales).
Sus orígenes se remontan a la solución de problemas concretos relativos a medidas. Tiene su aplicación práctica en física aplicada, mecánica, arquitectura, cartografía, astronomía, náutica, topografía, balística, etc. Y es útil en la preparación de diseños e incluso en la elaboración de artesanías.

Contenido

[editar] Historia

Artículo principal: Historia de la Geometría
La geometría es una de las más antiguas ciencias. Inicialmente, constituía un cuerpo de conocimientos prácticos en relación con las longitudes, áreas y volúmenes. En el Antiguo Egipto estaba muy desarrollada, según los textos de Heródoto, Estrabón y Diodoro Sículo. Euclides, en el siglo III a. C. configuró la geometría en forma axiomática, tratamiento que estableció una norma a seguir durante muchos siglos: la geometría euclidiana descrita en «Los Elementos».
El estudio de la astronomía y la cartografía, tratando de determinar las posiciones de estrellas y planetas en la esfera celeste, sirvió como importante fuente de resolución de problemas geométricos durante más de un milenio. René Descartes desarrolló simultáneamente el álgebra y la geometría, marcando una nueva etapa, donde las figuras geométricas, tales como las curvas planas, podrían ser representadas analíticamente, es decir, con funciones y ecuaciones. La geometría se enriquece con el estudio de la estructura intrínseca de los entes geométricos que analizan Euler y Gauss, que condujo a la creación de la topología y la geometría diferencial.

[editar] Axiomas, definiciones y teoremas

La geometría se propone ir más allá de lo alcanzado por la intuición. Por ello, es necesario un método riguroso, sin errores; para conseguirlo se han utilizado históricamente los sistemas axiomáticos. El primer sistema axiomático lo establece Euclides, aunque era incompleto. David Hilbert propuso a principios del siglo XX otro sistema axiomático, éste ya completo. Como en todo sistema formal, las definiciones, no sólo pretenden describir las propiedades de los objetos, o sus relaciones. Cuando se axiomatiza algo, los objetos se convierten en entes abstractos ideales y sus relaciones se denominan modelos.
Esto significa que las palabras "punto", "recta" y "plano" deben perder todo significado material. Cualquier conjunto de objetos que verifique las definiciones y los axiomas cumplirá también todos los teoremas de la geometría en cuestión, y sus relaciones serán virtualmente idénticas al del modelo tradicional.

[editar] Axiomas

En geometría euclidiana, los axiomas y postulados son proposiciones que relacionan conceptos, definidos en función del punto, la recta y el plano. Euclides planteó cinco postulados y fue el quinto (el postulado de paralelismo) el que siglos después –cuando muchos geómetras lo cuestionaron al analizarlo– originará nuevas geometrías: la elíptica (geometría de Riemann) o la hiperbólica de Nikolái Lobachevski.


En geometría analítica, los axiomas se definen en función de ecuaciones de puntos, basándose en el análisis matemático y el álgebra. Adquiere otro nuevo sentido hablar de puntos, rectas o planos. f(x) puede definir cualquier función, llámese recta, circunferencia, plano, etc.

[editar] Tipos de geometría

Entre los tipos de geometría más destacables se encuentran:

Cálculo

De Wikipedia, la enciclopedia libre
Para otros usos de este término, véase Cálculo (desambiguación).
En general el término cálculo (del latín calculus = piedra)[1] hace referencia, indistintamente, a la acción o el resultado correspondiente a la acción de calcular. Calcular, por su parte, consiste en realizar las operaciones necesarias para prever el resultado de una acción previamente concebida, o conocer las consecuencias que se pueden derivar de unos datos previamente conocidos.


No obstante, el uso más común del término cálculo es el lógico-matemático. Desde esta perspectiva, el cálculo consiste en un procedimiento mecánico, o algoritmo, mediante el cual podemos conocer las consecuencias que se derivan de unos datos previamente conocidos.


Las dos acepciones del cálculo (la general y la restringida) arriba definidas están íntimamente ligadas. El cálculo es una actividad natural y primordial en el hombre, que comienza en el mismo momento en que empieza a relacionar unas cosas con otras en un pensamiento o discurso. El cálculo lógico natural como razonamiento es el primer cálculo elemental del ser humano. El cálculo en sentido lógico-matemático aparece cuando se toma conciencia de esta capacidad de razonar y trata de formalizarse.[
editar] Cálculo como razonamiento y cálculo lógico-matemático

Por lo tanto, podemos distinguir dos tipos de operaciones:
  1. Operaciones orientadas hacia la consecución de un fin, como prever, programar, conjeturar, estimar, precaver, prevenir, proyectar, configurar, etc. que incluyen en cada caso una serie de complejas actividades y habilidades tanto de pensamiento como de conducta. En su conjunto dichas actividades adquieren la forma de argumento o razones que justifican una finalidad práctica o cognoscitiva.
  2. Operaciones formales como algoritmo que se aplica bien directamente a los datos conocidos o a los esquemas simbólicos de la interpretación lógico-matemática de dichos datos; las posibles conclusiones, inferencias o deducciones de dicho algoritmo son el resultado de la aplicación de reglas estrictamente establecidas de antemano.
Resultado que es:
Conclusión de un proceso de razonamiento.
Resultado aplicable directamente a los datos iniciales (resolución de problemas).
Modelo de relaciones previamente establecido como teoría científica y significativo respecto a determinadas realidades (Creación de modelos científicos).
Mero juego formal simbólico de fundamentación, creación y aplicación de las reglas que constituyen el sistema formal del algoritmo (Cálculo lógico-matemático, propiamente dicho).
Dada la importancia que históricamente ha adquirido la actividad lógico-matemática en la cultura humana el presente artículo se refiere a este último sentido. De hecho la palabra, en su uso habitual, casi queda restringida a este ámbito de aplicación; para algunos, incluso, queda reducida a un solo tipo de cálculo matemático, pues en algunas universidades se llamaba "Cálculo" a una asignatura específica de cálculo matemático.
En un artículo general sobre el tema no puede desarrollarse el contenido de lo que supone el cálculo lógico-matemático en la actualidad. Aquí se expone solamente el fundamento de sus elementos más simples, teniendo en cuenta que sobre estas estructuras simples se construyen los cálculos más complejos tanto en el aspecto lógico como en el matemático.

[editar] Historia del cálculo

[editar] De la Roma Clásica a la Edad Media


http://bits.wikimedia.org/skins-1.17/common/images/magnify-clip.png
Reconstrucción de un ábaco romano.



http://bits.wikimedia.org/skins-1.17/common/images/magnify-clip.png
Un ábaco moderno.


El término "cálculo" procede del latín calculus, piedrecita que se mete en el calzado y que produce molestia. Precisamente tales piedrecitas ensartadas en tiras constituían el ábaco romano que, junto con el suwanpan japonés, constituyen las primeras máquinas de calcular en el sentido de contar.
Los antecedentes de procedimiento de cálculo, como algoritmo, se encuentran en los que utilizaron los geómetras griegos, Eudoxo en particular, en el sentido de llegar por aproximación de restos cada vez más pequeños, a una medida de figuras curvas; así como Diofanto precursor del álgebra.
La consideración del cálculo como una forma de razonamiento abstracto aplicado en todos los ámbitos del conocimiento se debe a Aristóteles, quien en sus escritos lógicos fue el primero en formalizar y simbolizar los tipos de razonamientos categóricos (silogismos). Este trabajo sería completado más tarde por los estoicos, los megáricos, la Escolástica.
El algoritmo actual de cálculo aritmético como universal es fruto de un largo proceso histórico a partir de las aportaciones de Muhammad ibn al-Juarismi en el siglo IX.[2]
Se introdujo el 0, ya de antiguo conocido en la India y se construye definitivamente el sistema decimal de diez cifras con valor posicional de las mismas, introducido en Europa por los árabes. La escritura antigua de números en Babilonia, en Egipto, en Grecia o en Roma, hacía muy difícil un procedimiento mecánico de cálculo.[3]
El sistema decimal fue muy importante para el desarrollo de la contabilidad de los comerciantes de la Baja Edad Media, en los inicios del capitalismo.
El concepto de función por tablas ya era practicado de antiguo pero adquirió especial importancia en la Universidad de Oxford en el siglo XIV.[4] La idea de un lenguaje o algoritmo capaz de determinar todas las verdades, incluidas las de la fe, aparecen en el intento de Raimundo Lulio en su Ars Magna
A fin de lograr una operatividad mecánica se confeccionaban unas tablas a partir de las cuales se podía generar un algoritmo prácticamente mecánico. Este sistema de tablas ha perdurado en algunas operaciones durante siglos, como las tablas de logaritmos, o las funciones trigonométricas; las tablas venían a ser como la calculadora de hoy día; un instrumento imprescindible de cálculo. Las amortizaciones de los créditos en los bancos, por ejemplo, se calculaban a partir de tablas elementales hasta que se produjo la aplicación de la informática en el tercer tercio del siglo XX.
A finales de la Edad Media la discusión entre los partidarios del ábaco y los partidarios del algoritmo se decantó claramente por estos últimos.[5] De especial importancia es la creación del sistema contable por partida doble inventado por Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento.[6]

[editar] Renacimiento

Ejemplo de aplicación de un cálculo algebraico a la resolución de un problema según la interpretación de una teoría física


La expresión del cálculo algebraico y = xt, indica las relaciones sintácticas que existen entre tres variables que no tienen significado alguno.
Pero si interpretamos y como espacio, x como velocidad y t como tiempo, tal ecuación modeliza una teoría física que establece que el espacio recorrido por un móvil con velocidad constante es directamente proporcional a la velocidad con que se mueve y al tiempo que dura su movimiento.
Al mismo tiempo, según dicha teoría, sirve para resolver el problema de calcular cuántos kilómetros ha recorrido un coche que circula de Madrid a Barcelona a una velocidad constante de 60 km/h durante 4 horas de recorrido.
·         240 kilómetros recorridos = 60 km x 4 h
El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, y fue creado y desarrollado para responder a la necesidad de la contabilidad en los negocios de la burguesía renacentista.
El desarrollo del álgebra (con la introducción de un sistema de símbolos por un lado, y la resolución de problemas por medio de las ecuaciones) vino de la mano de los grandes matemáticos renacentistas como Tartaglia, Stévin, Cardano o Vieta y fue esencial para el planteamiento y solución de los más diversos problemas que surgieron en la época como consecuencia de los grandes descubrimientos que hicieron posible el progreso científico que surgirá en el siglo XVII.[7]


[editar] Siglos XVII y XVIII



Página del artículo de Leibniz "Explication de l'Arithmétique Binaire", 1703/1705.
En el siglo XVII el cálculo conoció un enorme desarrollo siendo los autores más destacados Descartes,[8] Pascal[9] y, finalmente, Leibniz y Newton[10] con el cálculo infinitesimal que en muchas ocasiones ha recibido simplemente, por absorción, el nombre de cálculo.
El concepto de cálculo formal en el sentido de algoritmo reglado para el desarrollo de un razonamiento y su aplicación al mundo de lo real[11] adquiere una importancia y desarrollo enorme respondiendo a una necesidad de establecer relaciones matemáticas entre diversas medidas, esencial para el progreso de la ciencia física que, debido a esto, es tomada como nuevo modelo de Ciencia frente a la especulación tradicional filosófica, por el rigor y seguridad que ofrece el cálculo matemático. Cambia así el sentido tradicional de la Física como Ciencia de la Naturaleza y toma el sentido de ciencia que estudia los cuerpos materiales, en cuanto materiales.
A partir de entonces el propio sistema de cálculo permite establecer modelos sobre la realidad física, cuya comprobación experimental[12] supone la confirmación de la teoría como sistema. Es el momento de la consolidación del llamado método científico cuyo mejor exponente es en aquel momento la Teoría de la Gravitación Universal y las leyes de la Mecánica de Newton.[13]


[editar] Siglos XIX y XX





Durante el siglo XIX y XX el desarrollo científico y la creación de modelos teóricos fundados en sistemas de cálculo aplicables tanto en mecánica como en electromagnetismo y radioactividad, etc. así como en astronomía fue impresionante. 

Las geometrías no euclidianas encuentran aplicación en modelos teóricos de astronomía y física. El mundo deja de ser un conjunto de infinitas partículas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de configuración o espacio de fases de n dimensiones que físicamente se hacen consistentes en la teoría de la relatividad, la mecánica cuántica, la teoría de cuerdas etc. que cambia por completo la imagen del mundo físico.


La lógica asimismo sufrió una transformación radical.[14] La formalización simbólica fue capaz de integrar las leyes lógicas en un cálculo matemático, hasta el punto que la distinción entre razonamiento lógico-formal y cálculo matemático viene a considerarse como meramente utilitaria.

En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalización de todo el sistema matemático, Frege, y de matematización de la lógica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalización del concepto como cálculo lógico. Se lograron métodos muy potentes de cálculo, sobre todo a partir de la posibilidad de tratar como “objeto” conjuntos de infinitos elementos, dando lugar a los números transfinitos de Cantor.

Mediante el cálculo la lógica encuentra nuevos desarrollos como lógicas modales y lógicas polivalentes.
Los intentos de axiomatizar el cálculo como cálculo perfecto por parte de Hilbert y Poincaré, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a nuevos intentos de axiomatización, Axiomas de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidad de un sistema de cálculo perfecto: consistente, decidible y completo en 1931, de grandes implicaciones lógicas, matemáticas y científicas.


[editar] Actualidad

En la actualidad, el cálculo en su sentido más general, en tanto que cálculo lógico interpretado matemáticamente como sistema binario, y físicamente hecho material mediante la lógica de circuitos eléctrónicos, ha adquirido una dimensión y desarrollo impresionante por la potencia de cálculo conseguida por los ordenadores, propiamente máquinas computadoras. La capacidad y velocidad de cálculo de estas máquinas hace lo que humanamente sería imposible: millones de operaciones por segundo.
El cálculo así utilizado se convierte en un instrumento fundamental de la investigación científica por las posibilidades que ofrece para la modelización de las teorías científicas, adquiriendo especial relevancia en ello el cálculo numérico.

[editar] Concepto general de cálculo

El cálculo es un sistema de símbolos no interpretados, es decir, sin significado alguno, en el que se establecen mediante reglas estrictas, las relaciones sintácticas entre los símbolos para la construcción de fórmulas bien formadas (fbf), así como las reglas que permiten transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas transformaciones son meramente tautologías.
Un cálculo consiste en:
  1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por enumeración, o definidos por una propiedad tal que permita discernir sin duda alguna cuándo un elemento pertenece o no pertenece al sistema.
  2. Un conjunto de reglas de formación de “expresiones bien formadas”(EBFs) que permitan en todo momento establecer, sin forma de duda, cuándo una expresión pertenece al sistema y cuándo no.
  3. Un conjunto de reglas de transformación de expresiones, mediante las cuales partiendo de una expresión bien formada del cálculo podremos obtener una nueva expresión equivalente y bien formada que pertenece al cálculo.
Cuando en un cálculo así definido se establecen algunas expresiones determinadas como verdades primitivas o axiomas, decimos que es un sistema formal axiomático.
Un cálculo así definido si cumple al mismo tiempo estas tres condiciones decimos que es un Cálculo Perfecto:
  1. Es consistente: No es posible que dada una expresión bien formada del sistema, f, y su negación, no − f, sean ambas teoremas del sistema. No puede haber contradicción entre las expresiones del sistema.
  2. Decidible: Dada cualquier expresión bien formada del sistema podemos encontrar un método que nos permita decidir mediante una serie finita de operaciones si dicha expresión es o no es un teorema del sistema.
  3. Completo: Cuando dada cualquier expresión bien formada del sistema, podemos establecer la demostración o prueba de que es un teorema del sistema.
La misma lógica-matemática ha demostrado que tal sistema de cálculo perfecto "no es posible" (véase el Teorema de Gödel).

[editar] El cálculo lógico

Artículo principal: Cálculo lógico
Entendemos aquí por cálculo lógico, un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos.
La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como conclusión a partir de otro(s) (premisas) mediante la aplicación de reglas de inferencia.[15]
Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.
Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo. Partimos de enunciados empíricos -supuestamente verdaderos y válidos- para concluir en otro enunciado que se deriva de aquellos, según las leyes de la lógica natural.[16]
La lógica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes, fundamentarlas y convertirlas en las reglas que permiten la transformación de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones en un algoritmo riguroso y eficaz, que garantiza que dada la verdad de las premisas, la conclusión es necesariamente verdadera.
Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento mediante la simbolización adecuada de fórmulas o Expresiones bien formadas (EBF) construimos un modelo o sistema deductivo.

[editar] Sistematización de un cálculo de deducción natural

[editar] Reglas de formación de fórmulas

I. Una letra enunciativa (con o sin subíndice) es una EBF.
II. Si A es una EBF, ¬ A también lo es.
III. Si A es una EBF y B también, entonces A B; A B; A B; A B, también lo son.
IV. Ninguna expresión es una fórmula del Cálculo sino en virtud de I,II,III.
Notas:
·         A, B,... con mayúsculas están utilizadas como metalenguaje en el que cada variable expresa cualquier proposición, atómica (p,q,r,s....) o molecular (p/\q), (p\/q)...
·         A, B,... son símbolos que significan variables; ¬, , \lor, →, \leftrightarrow, son símbolos constantes.
·         Existen diversas formas de simbolización. Utilizamos aquí la de uso más frecuente en España.[17]

[editar] Reglas de transformación de fórmulas

1) Regla de sustitución (R.T.1):
Dada una tesis EBF del cálculo, en la que aparecen variables de enunciados, el resultado de sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del cálculo, será también una tesis EBF del cálculo. Y ello con una única restricción, si bien muy importante: cada variable ha de ser sustituida siempre que aparece y siempre por el mismo sustituto.
Veamos el ejemplo:

1
\left [ \left ( p \land q \right ) \lor r \right ]\rightarrow t \lor s
Transformación
2
A \lor r \rightarrow B
donde  A = \left ( p \land q \right ); y donde  B = \left ( t \lor s \right )
3
 C \rightarrow B
donde  C = A \lor r

O viceversa
1
 C \rightarrow B
Transformación
2
A \lor r \rightarrow B
donde  A \lor r = C
3
\left [ \left ( p \land q \right ) \lor r \right ]\rightarrow t \lor s
donde  (p \land q) = A; y donde  (t \lor s) = B

2) Regla de separación (R.T.2):
Si X es una tesis EBF del sistema y lo es también X \rightarrowY, entonces Y es una tesis EBF del sistema.

[editar] Esquemas de inferencia

Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la forma:

lo que constituye un esquema de inferencia en el que una vez conocida la verdad de cada una de las premisas A, B,...N y, por tanto, de su producto, podemos obtener la conclusión Y con valor de verdad V, siempre y cuando dicho esquema de inferencia sea una ley lógica, es decir su tabla de verdad nos muestre que es una tautología.
Por la regla de separación podremos concluir Y, de forma independiente como verdad.
Dada la poca operatividad de las tablas de verdad, el cálculo se construye como una cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes lógicas utilizadas como reglas de transformación, como se expone en cálculo lógico.

[editar] Concepto de modelo

Cuando en un Cálculo C, se establece una "correspondencia" de cada símbolo con elementos determinados individuales distinguibles entre sí, de un Universo L, real, (tal universo L no es un conjunto vacío, por las mismas condiciones que hemos establecido) ENTONCES se dice que L es un MODELO de C.

[editar] El lenguaje natural como modelo de un cálculo lógico

Artículo principal: Cálculo lógico

Naturalmente el cálculo lógico es útil porque puede tener aplicaciones, pero ¿en qué consisten o cómo se hacen tales aplicaciones?
Podemos considerar que el lenguaje natural es un modelo de C si podemos someterlo, es decir, aplicarle una correspondencia en C.
Para ello es necesario someter al lenguaje natural a un proceso de formalización de tal forma que podamos reducir las expresiones lingüísticas del lenguaje natural a EBFs de un cálculo mediante reglas estrictas manteniendo el sentido de verdad lógica de dichas expresiones del lenguaje natural. Esto es lo que se expone en cálculo lógico.
Las diversas formas en que tratemos las expresiones lingüísticas dan lugar a sistemas diversos de formalización y cálculo:
  • Cálculo proposicional o cálculo de enunciados
Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o falsedad como una proposición atómica, como un todo sin analizar.
La oración simple: "Llueve", o "Las farolas se apagan por la noche" son consideradas como posible valor de verdad o falsedad de una variable "p".
  • Cálculo como lógica de clases
Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o falsedad como resultado del análisis de la oración como una relación de individuos o posibles individuos que pertenecen o no pertenecen a una clase.
Siendo una clase el criterio, como una propiedad o una definición, que permite ordenar a todos los posibles individuos de un Universo determinado como pertenecientes o no pertenecientes a dicha clase. La clase como propiedad o definición define al conjunto de posibles individuos, pero es independiente de la existencia de dichos individuos; no se identifica con el conjunto de individuos. Clase = Pegaso; Propiedad o definición = Caballo con alas; Individuos = ninguno.
Esta es la forma en la que en la actualidad se interpreta la lógica silogística de Aristóteles, que queda así se reducida a un cálculo según la lógica de clases.
La oración simple "Todos los caballos corren por el campo" está analizada como: La clase de todos los posibles seres que corren por el campo (B) incluye a la clase formada por todos los posibles seres que sean caballos (A).
  • Cálculo de predicados o cuantificacional
Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o falsedad como resultado del análisis de la misma de forma que una posible función predicativa (P), se predica de unos posibles sujetos variables (x) [tomados en toda su posible extensión: (Todos los x); o referente a algunos indeterminados: (algunos x)], o de una constante individual existente (a).
La oración simple "los perros muerden" se formaliza de la siguiente manera:                           
\land x = Todos los posibles perros;
P = todas las posibles acciones de morder.


\land xP(x) = Para todo x (siendo x un perro) x muerde = Todos los perros muerden.
En el caso de Desko que es mi perro al que simbolizo como una constante a:
P(a) = Mi perro Desko muerde.
  • Cálculo como lógica de relaciones
Cuando se toma la oración simple significativa con posible valor de verdad propio, verdado o falso, como resultado del análisis de la oración como una relación "R" que se establece entre un sujeto y un predicado.
Así la oración simple "Antonio es mayor que Pedro", se considera y simboliza bajo la relación "ser mayor que" (R) que se da entre Antonio (a) y Pedro (p) y se simboliza como aRp.
La simbolización y formación de EBFs en cada uno de esos cálculos, así como las reglas de cálculo se trata en cálculo lógico.

[editar] Cálculos matemáticos

[editar] Cálculo aritmético

Artículo principal: Aritmética

Aritmética es la rama de las matemáticas que estudia ciertas operaciones de los números y sus propiedades elementales. Proviene del griego arithmos y techne que quieren decir respectivamente números y habilidad.
El número en aritmética elemental tiene la consideración de número natural referido, en el campo de la experiencia, a la unidad, entendida bien como cantidad bien como medida.
De hecho el cálculo más natural y primitivo surge de la necesidad de contar y medir.[18] Pero las formas y modos para realizar el cálculo han surgido según las diversas formas de sistemas de numeración, así como su transcripción gráfica.

[editar] Algoritmos

Artículo principal: Algoritmo
[editar] Sistema numérico y sistema de numeración
Artículo principal: Sistema numérico
Artículo principal: Sistema de numeración


El sistema de numeración decimal, considerado como universal en la utilización más corriente, es un sistema posicional con base en 10 elementos o cifras (0, 1, 2, 3, 4, 5, 6, 7, 8, 9),[19] que adquieren un valor posicional a la hora de determinar el número.
Las posiciones se inician por la derecha: La primera indica las unidades; la segunda las decenas; la tercera las centenas; la cuarta el millar; siendo cada cifra a la izquiera tantas unidades de la potencia de 10 que corresponda al número de la posición.[20]
El número 7452: Se lee: Siete mil cuatrocientos cincuenta y dos. Y consta de 7 unidades de mil (7 unidades de millar; millar = 10³), 4 de cien (4 unidades de centenas; centena = 10²), 5 de 10 (5 unidades de decenas; decena = 10) y 2 unidades.

[editar] Operaciones básicas del cálculo: suma, resta, multiplicación y división

Las cuatro operaciones suma, resta, multiplicación y división son las operaciones básicas del cálculo, sobre las cuales se construyen todas las demás. Es lo que se enseña en la Escuela Primaria y se conoce como "Las cuatro reglas" y es considerado como la mínima expresión de un conocimiento básico.
Algoritmo de la Suma
Artículo principal: Suma
El algoritmo se construye a partir de unas tablas elementales. La operación de suma consiste en la unión de las unidades contenidas en dos números, "sumandos", siendo el resultado la "Suma". Las tablas se leen como "una y una dos".
Algoritmo de la resta


Artículo principal: Resta
El algoritmo se construye a partir de unas tablas elementales. La operación de resta se considera como la diferencia entre dos números, uno mayor "Minuendo" y otro menor "Sustraendo", siendo el resultado "Resta". Las tablas se leen como "de tres a cinco 2".
Algoritmo de la multiplicación


Una multiplicación de ejemplo


Artículo principal: Multiplicación
La multiplicación es una suma reiterativa de un mismo número, el "multiplicando", tantas veces como unidades tenga otro número, el "multiplicador". El algoritmo se construye a partir de unas tablas elementales. "Que se leen "una por una es 1"; "cinco por cuatro veinte" etc.(véase el artículo Tabla de multiplicar)


Algoritmo de la división

Artículo principal: División
La operación se realiza entre dos números, "dividendo" y "divisor", cuyo resultado expresa cuántas veces se encuentra contenido el divisor en el dividendo. Equivale a medir el dividendo tomando como unidad el divisor. El resultado se llama "cociente", y las unidades no divisibles se denominan "resto". Operacionalmente consiste en ir restando sucesivamente el divisor al dividendo hasta que finalmente quede un resto menor que el divisor. El algoritmo se construye a partir de unas tablas elementales que se leen: "una entre una a una".

[editar] Algoritmo de potencias y raíces



Algoritmo de la raíz cuadrada


Potencias


Por potencia se entiende el resultado de multiplicar un mismo número, llamado "base", tantas veces como indica un índice o "exponente".


Se representa como bn, donde b es la base y n el exponente.
El algoritmo de cálculo de una potencia, aplicando las tablas de multiplicar sucesivamente y su algoritmo no ofrecen problema alguno.
Raíces
Mayor dificultad ofrece el cálculo de raíces, exponiendo como caso elemental, el algoritmo de la raíz cuadrada.


La raíz es la operación inversa de la potencia. Se expresa \sqrt[n]{x}donde x se llama "radicando" y n "raíz", y se trata de calcular un número y tal que yn + r = x siendo r un resto, si lo hubiera, por no ser la raíz exacta.
Este algoritmo de cálculo aritmético está en desuso desde la introducción de las calculadoras electrónicas en el ambiente educativo.

[editar] Cálculo algebraico

Artículo principal: Álgebra elemental

[editar] Cálculo infinitesimal: breve reseña

El cálculo infinitesimal, llamado por brevedad "cálculo", tiene su origen en la antigua geometría griega. Demócrito calculó el volumen de pirámides y conos considerándolos formados por un número infinito de secciones de grosor infinitesimal (infinitamente pequeño). Eudoxo y Arquímedes utilizaron el "método de agotamiento" o exhaución para encontrar el área de un círculo con la exactitud finita requerida mediante el uso de polígonos regulares inscritos de cada vez mayor número de lados. En el periodo tardío de Grecia, el neoplatónico Pappus de Alejandría hizo contribuciones sobresalientes en este ámbito. Sin embargo, las dificultades para trabajar con números irracionales y las paradojas de Zenón de Elea impidieron formular una teoría sistemática del cálculo en el periodo antiguo.


En el siglo XVII, Cavalieri y Torricelli ampliaron el uso de los infinitesimales, Descartes y Fermat utilizaron el álgebra para encontrar el área y las tangentes (integración y Derivación en términos modernos). Fermat y Barrow tenían la certeza de que ambos cálculos estaban relacionados, aunque fueron Newton (hacia 1660), en Inglaterra y Leibniz en Alemania (hacia 1670) quienes demostraron que los problemas del área y la tangente son inversos, lo que se conoce como teorema fundamental del cálculo.


El descubrimiento de Newton, a partir de su teoría de la gravitación universal, fue anterior al de Leibniz, pero el retraso en su publicación aún provoca controversias sobre quién de los dos fue el primero. Newton utilizó el cálculo en mecánica en el marco de su tratado "Principios matemáticos de filosofía natural", obra científica por excelencia, llamando a su método de "fluxiones". Leibniz utilizó el cálculo en el problema de la tangente a una curva en un punto, como límite de aproximaciones sucesivas, dando un carácter más filosófico a su discurso. Sin embargo, terminó por adoptarse la notación de Leibniz por su versatilidad.


En el siglo XVIII aumentó considerablemente el número de aplicaciones del cálculo, pero el uso impreciso de las cantidades infinitas e infinitesimales, así como la intuición geométrica, causaban todavía confusión y duda sobre sus fundamentos. De hecho, la noción de límite, central en el estudio del cálculo, era aún vaga e imprecisa en ese entonces. Uno de sus críticos más notables fue el filósofo George Berkeley.


En el siglo XIX el trabajo de los analistas matemáticos sustituyeron esas vaguedades por fundamentos sólidos basados en cantidades finitas: Bolzano y Cauchy definieron con precisión los conceptos de límite en términos de épsilon_delta y de derivada, Cauchy y Riemann hicieron lo propio con las integrales, y Dedekind y Weierstrass con los números reales. Fue el periodo de la fundamentación del cálculo. Por ejemplo, se supo que las funciones diferenciables son continuas y que las funciones continuas son integrables, aunque los recíprocos son falsos. En el siglo XX, el análisis no convencional, legitimó el uso de los infinitesimales, al mismo tiempo que la aparición de las Computadoras ha incrementado las aplicaciones y velocidad del cálculo.


Actualmente, el cálculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado su carácter disciplinario en la formación de la sociedad culta del conocimiento, destacando en este ámbito textos propios de la disciplina como el de Louis Leithold, el de Earl W. Swokowski o el de James Stewart entre muchos otros; por otro su desarrollo como disciplina científica que ha desembocado en ámbitos tan especializados como el cálculo fraccional, la teoría de funciones analíticas de variable compleja o el análisis matemático. El éxito del cálculo ha sido extendido con el tiempo a las ecuaciones diferenciales, al cálculo de vectores, al cálculo de variaciones, al análisis complejo y a las topología algebraica y topología diferencial entre muchas otras ramas.


El desarrollo y uso del cálculo ha tenido efectos muy importantes en casi todas las áreas de la vida moderna: es fundamento para el cálculo numérico aplicado en casi todos los campos técnicos y/o científicos cuya principal característica es la continuidad de sus elementos, en especial en la física. Prácticamente todos los desarrollos técnicos modernos como la construcción, aviación, transporte, meteorología, etc. hacen uso del cálculo. Muchas fórmulas algebraicas se usan hoy en día en balística, calefacción, refrigeración, etc.


Como complemento del cálculo, en relación a sistemas teóricos o físicos cuyos elementos carecen de continuidad, se ha desarrollado una rama especial conocida como Matemática discreta.
Cálculo vectorial
De Wikipedia, la enciclopedia libre


El cálculo vectorial es un campo de las matemáticas referidas al análisis real multivariable de vectores en 2 o más dimensiones. Es un enfoque de la geometría diferencial como conjunto de fórmulas y técnicas para solucionar problemas muy útiles para la ingeniería y la física.


Consideramos los campos vectoriales, que asocian un vector a cada punto en el espacio, y campos escalares, que asocian un escalar a cada punto en el espacio. Por ejemplo, la temperatura de una piscina es un campo escalar: a cada punto asociamos un valor escalar de temperatura. El flujo del agua en la misma piscina es un campo vectorial: a cada punto asociamos un vector de velocidad.
Cuatro operaciones son importantes en el cálculo vectorial:
  • Gradiente: mide la tasa y la dirección del cambio en un campo escalar; el gradiente de un campo escalar es un campo vectorial.
  • Rotor o rotacional: mide la tendencia de un campo vectorial a rotar alrededor de un punto; el rotor de un campo vectorial es otro campo vectorial.
  • Divergencia: mide la tendencia de un campo vectorial a originarse o converger hacia ciertos puntos; la divergencia de un campo vectorial es un campo escalar.
  • Laplaciano: relaciona el "promedio" de una propiedad en un punto del espacio con otra magnitud, es un operador diferencial de segundo orden.
La mayoría de los resultados analíticos se entienden más fácilmente usando la maquinaria de la geometría diferencial, de la cual el cálculo vectorial forma un subconjunto.


[editar] Historia

El estudio de los vectores se origina con la invención de los cuaterniones de Hamilton, quien junto a otros los desarrollaron como herramienta matemáticas para la exploración del espacio físico. Pero los resultados fueron desilusionantes, porque vieron que los cuaterniones eran demasiado complicados para entenderlos con rapidez y aplicarlos fácilmente.


Los cuaterniones contenían una parte escalar y una parte vectorial, y las dificultades surgían cuando estas partes se manejaban al mismo tiempo. Los científicos se dieron cuenta de que muchos problemas se podían manejar considerando la parte vectorial por separado y así comenzó el Análisis Vectorial.
Este trabajo se debe principalmente al físico americano Josiah Willar Gibbs (1839-1903).

Álgebra

De Wikipedia, la enciclopedia libre
Para los usos matemáticos de la palabra álgebra como estructura algebraica, véase álgebra no asociativa, álgebra asociativa, álgebra sobre un cuerpo.


El álgebra es la rama de las matemáticas que estudia las estructuras, las relaciones y las cantidades (en el caso del álgebra elemental). Es una de las principales ramas de la matemática, junto a la geometría, el análisis matemático, la combinatoria y la teoría de números.


La palabra «álgebra» es de origen árabe, deriva del tratado escrito por el matemático persa Muhammad ibn Musa al-Jwarizmi, titulado Kitab al-yabr wa-l-muqabala (en árabe كتاب الجبر والمقابلة) (que significa "Compendio de cálculo por el método de completado y balanceado"), el cual proporcionaba operaciones simbólicas para la solución sistemática de ecuaciones lineales y cuadráticas. Etimológicamente, la palabra «álgebra» جبر (yabr) , proviene del árabe y significa "reducción".
Contenido


[editar] Álgebra elemental

Artículo principal: Álgebra elemental


Álgebra elemental es la forma más básica del álgebra. A diferencia de la aritmética, en donde sólo se usan los números y sus operaciones aritméticas (como +, −, ×, ÷), en álgebra los números son representados por símbolos (usualmente a, b, c, x, y, z). Esto es útil porque:
  • Permite la formulación general de leyes de aritmética (como a + b = b + a), y esto es el primer paso para una exploración sistemática de las propiedades de los números reales.
  • Permite referirse a números "desconocidos", formular ecuaciones y el estudio de cómo resolverlas.
  • Permite la formulación de relaciones funcionales.

[editar] Historia

Si bien la palabra "álgebra" viene del vocablo árabe (al-Jabr, الجبر), sus orígenes se remontan a los antiguos babilonios, que habían desarrollado un avanzado sistema aritmético con el que fueron capaces de hacer cálculos en una forma algebraica. Con el uso de este sistema fueron capaces de aplicar las fórmulas y soluciones para calcular valores desconocidos. Este tipo de problemas suelen resolverse hoy mediante ecuaciones lineales, ecuaciones de segundo grado y ecuaciones indefinidas. Por el contrario, la mayoría de los egipcios de esta época, y la mayoría de la India, griegos y matemáticos chinos en el primer milenio antes de Cristo, normalmente resolvían tales ecuaciones por métodos geométricos, tales como los descritos en la matemática Rhind Papyrus, Sulba Sutras, Elementos de Euclides, y los Nueve Capítulos sobre el Arte de las Matemáticas. El trabajo geométrico de los griegos, centrado en las formas, dio el marco para la generalización de las fórmulas más allá de la solución de los problemas particulares de carácter más general, sino en los sistemas de exponer y resolver ecuaciones.


Las mentes griegas matemáticas de Alejandría y Diofanto siguieron las tradiciones de Egipto y Babilonia, pero el Diophantus del libro Arithmetica está en un nivel mucho más alto. Más tarde, los matemáticos árabes y musulmanes desarrollaron métodos algebraicos a un grado mucho mayor de sofisticación. Aunque los babilonios y Diophantus utilizaron sobre todo los métodos especiales ad hoc para resolver ecuaciones, Al-Khowarizmi fue el primero en resolver ecuaciones usando métodos generales. Él resolvió el indeterminado de ecuaciones lineales, ecuaciones cuadráticas, ecuaciones indeterminadas de segundo orden y ecuaciones con múltiples variables.
La palabra "álgebra" es el nombre de la palabra árabe "Al-Jabr, الجبر" en el título del libro al-Kitab al-muḫtaṣar fi al-Gabr ḥisāb wa-l-muqābala, الكتاب المختصر في حساب الجبر والمقابلة, el sentido del Resumen del libro se refiere a la transposición y Cálculo de la Reducción de un libro escrito por el matemático persa islámico, Muhammad ibn Musa Al-Khwārizmī (considerado el "padre del álgebra"), en 820. La palabra Al-Jabr significa "reducción". El matemático helenístico Diophantus ha sido tradicionalmente conocido como el "padre del álgebra", pero en tiempos más recientes, hay mucho debate sobre si al-Khwarizmi, que fundó la disciplina de Al-Jabr, título que se merece su lugar. Los que apoyan Diophantus apuntan al hecho de que el álgebra que se encuentra en Al-Jabr es algo más elemental que el que se encuentra en el álgebra Arithmetica y que Arithmetica es sincopada mientras que Al-Jabr es totalmente retórica. Los que apoyan el punto de Al-Khwarizmi sobre el hecho de que presenta los métodos de "reducción" y "equilibrio" (la transposición de términos restará al otro lado de una ecuación, es decir, la cancelación de términos a ambos lados de la ecuación), al cual el término Al-Jabr se refería originalmente, y que dio una explicación exhaustiva de la solución de ecuaciones cuadráticas, apoyada por las pruebas geométricas, mientras que el tratamiento de álgebra como una disciplina independiente en su propio derecho. Su álgebra ya tampoco trataría "con una serie de los problemas por resolver", sino con una "exposición que empieza con lo primitivo en el que las combinaciones deben dar todos los posibles prototipos de ecuaciones, que en adelante explícitamente constituyen el verdadero objeto de estudio". También estudió una ecuación para su propio bien y "de forma genérica, en la medida que no sólo surgen en el curso de la solución de un problema, sino que específicamente en la llamada para definir una infinidad de problemas de clase".


El matemático persa Omar Khayyam desarrolló la geometría algebraica y encontró la solución geométrica de la ecuación cúbica. Otro matemático persa, Sharaf Al-Din al-Tusi, encontró la solución numérica y algebraica a diversos casos de ecuaciones cúbicas. Él también desarrolló el concepto de una función. Los matemáticos indios Mahavirá y Bhaskara II, el matemático persa Al-Karaji, y el matemático chino Zhu Shijie, resolvieron varios casos de cúbicos, quartic, quintic y ecuaciones polinómicas de orden superior mediante métodos numéricos.
Otro acontecimiento clave en el desarrollo del álgebra fue la solución algebraica de las ecuaciones cúbicas y quárticas, desarrollado a mediados del siglo XVI. La idea de un factor determinante fue desarrollada por el matemático japonés Kowa Seki en el siglo XVII, seguido por Gottfried Leibniz diez años más tarde, con el fin de resolver sistemas de ecuaciones lineales simultáneas utilizando matrices. Gabriel Cramer también hizo un trabajo sobre matrices y determinantes en el siglo XVIII. Resumen de álgebra se desarrolló en el siglo XIX, centrándose inicialmente en lo que ahora se llama la teoría de Galois, y en cuestiones de constructibilidad.




[editar] Estructura algebraica


Artículo principal: Estructura algebraica


En matemáticas, una estructura algebraica es un conjunto de elementos con unas propiedades operacionales determinadas; es decir, lo que define a la estructura del conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto y las propiedades matemáticas que dichas operaciones poseen. Un objeto matemático constituido por un conjunto no vacío y algunas leyes de composición interna definida en él es una estructura algebraica. 

No hay comentarios:

Publicar un comentario