Clculo

De Wikipedia, la enciclopedia libre (Redirigido desde Calculo) Saltar a navegacin, bsqueda Para otros usos de este trmino, vase Clculo (desambiguacin).
y y

Para clculo infinitesimal (diferencial o integral) vase Clculo infinitesimal Para el estudio de los nmeros reales, los complejos, los vectores y sus funciones vase Anlisis matemtico

En general el trmino clculo (del latn calculus = piedra)1 hace referencia, indistintamente, a la accin o el resultado correspondiente a la accin de calcular. Calcular, por su parte, consiste en realizar las operaciones necesarias para prever el resultado de una accin previamente concebida, o conocer las consecuencias que se pueden derivar de unos datos previamente conocidos. No obstante, el uso ms comn del trmino clculo es el lgico-matemtico. Desde esta perspectiva, el clculo consiste en un procedimiento mecnico, o algoritmo, mediante el cual podemos conocer las consecuencias que se derivan de unos datos previamente conocidos.

Contenido
[ocultar]
y y

y y

1 Clculo como razonamiento y clculo lgico-matemtico 2 Historia del clculo o 2.1 De la Roma Clsica a la Edad Media o 2.2 Renacimiento o 2.3 Siglos XVII y XVIII o 2.4 Siglos XIX y XX o 2.5 Actualidad 3 Concepto general de clculo 4 El clculo lgico o 4.1 Sistematizacin de un clculo de deduccin natural  4.1.1 Reglas de formacin de frmulas  4.1.2 Reglas de transformacin de frmulas  4.1.3 Esquemas de inferencia o 4.2 Concepto de modelo  4.2.1 El lenguaje natural como modelo de un clculo lgico 5 Clculos matemticos o 5.1 Clculo aritmtico o 5.2 Algoritmos  5.2.1 Sistema numrico y sistema de numeracin

y y y

5.2.2 Operaciones bsicas del clculo: suma, resta, multiplicacin y divisin  5.2.3 Algoritmo de potencias y races o 5.3 Clculo algebraico o 5.4 Clculo infinitesimal: breve resea 6 Vase tambin 7 Referencias o 7.1 Bibliografa 8 Enlaces externos


[editar] Clculo como razonamiento y clculo lgicomatemtico

Las dos acepciones del clculo (la general y la restringida) arriba definidas estn ntimamente ligadas. El clculo 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 clculo lgico natural como razonamiento es el primer clculo elemental del ser humano. El clculo en sentido lgico-matemtico aparece cuando se toma conciencia de esta capacidad de razonar y trata de formalizarse. Por lo tanto, podemos distinguir dos tipos de operaciones: 1. Operaciones orientadas hacia la consecucin 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 prctica o cognoscitiva. 2. Operaciones formales como algoritmo que se aplica bien directamente a los datos conocidos o a los esquemas simblicos de la interpretacin lgico-matemtica de dichos datos; las posibles conclusiones, inferencias o deducciones de dicho algoritmo son el resultado de la aplicacin de reglas estrictamente establecidas de antemano. Resultado que es: Conclusin de un proceso de razonamiento. Resultado aplicable directamente a los datos iniciales (resolucin de problemas). Modelo de relaciones previamente establecido como teora cientfica y significativo respecto a determinadas realidades (Creacin de modelos cientficos). Mero juego formal simblico de fundamentacin, creacin y aplicacin de las reglas que constituyen el sistema formal del algoritmo (Clculo lgico-matemtico, propiamente dicho). Dada la importancia que histricamente ha adquirido la actividad lgico-matemtica en la cultura humana el presente artculo se refiere a este ltimo sentido. De hecho la palabra, en su uso habitual, casi queda restringida a este mbito de aplicacin; para algunos, incluso,

queda reducida a un solo tipo de clculo matemtico, pues en algunas universidades se llamaba "Clculo" a una asignatura especfica de clculo matemtico. En un artculo general sobre el tema no puede desarrollarse el contenido de lo que supone el clculo lgico-matemtico en la actualidad. Aqu se expone solamente el fundamento de sus elementos ms simples, teniendo en cuenta que sobre estas estructuras simples se construyen los clculos ms complejos tanto en el aspecto lgico como en el matemtico.

[editar] Historia del clculo

[editar] De la Roma Clsica a la Edad Media

Reconstruccin de un baco romano.

Un baco moderno. El trmino "clculo" procede del latn calculus, piedrecita que se mete en el calzado y que produce molestia. Precisamente tales piedrecitas ensartadas en tiras constituan el baco romano que, junto con el suwanpan japons, constituyen las primeras mquinas de calcular en el sentido de contar. Los antecedentes de procedimiento de clculo, como algoritmo, se encuentran en los que utilizaron los gemetras griegos, Eudoxo en particular, en el sentido de llegar por

aproximacin de restos cada vez ms pequeos, a una medida de figuras curvas; as como Diofanto precursor del lgebra. La consideracin del clculo como una forma de razonamiento abstracto aplicado en todos los mbitos del conocimiento se debe a Aristteles, quien en sus escritos lgicos fue el primero en formalizar y simbolizar los tipos de razonamientos categricos (silogismos). Este trabajo sera completado ms tarde por los estoicos, los megricos, la Escolstica. El algoritmo actual de clculo aritmtico como universal es fruto de un largo proceso histrico 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 nmeros en Babilonia, en Egipto, en Grecia o en Roma, haca muy difcil un procedimiento mecnico de clculo.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 funcin 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 mecnica se confeccionaban unas tablas a partir de las cuales se poda generar un algoritmo prcticamente mecnico. Este sistema de tablas ha perdurado en algunas operaciones durante siglos, como las tablas de logaritmos, o las funciones trigonomtricas; las tablas venan a ser como la calculadora de hoy da; un instrumento imprescindible de clculo. Las amortizaciones de los crditos en los bancos, por ejemplo, se calculaban a partir de tablas elementales hasta que se produjo la aplicacin de la informtica en el tercer tercio del siglo XX. A finales de la Edad Media la discusin entre los partidarios del baco y los partidarios del algoritmo se decant claramente por estos ltimos.5 De especial importancia es la creacin del sistema contable por partida doble inventado por Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento.6

[editar] Renacimiento
Ejemplo de aplicacin de un clculo algebraico a la resolucin de un problema segn la interpretacin de una teora fsica La expresin del clculo algebraico y = xt, indica las relaciones sintcticas que existen entre tres variables que no tienen

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 burguesa renacentista.

El desarrollo del lgebra (con la introduccin de un sistema de smbolos por un lado, y la resolucin de problemas por medio de las ecuaciones) vino de la mano de los y 240 kilmetros recorridos = 60 km grandes matemticos renacentistas x4h como Tartaglia, Stvin, Cardano o Vieta y fue esencial para el planteamiento y solucin de los ms diversos problemas que surgieron en la poca como consecuencia de los grandes descubrimientos que hicieron posible el progreso cientfico que surgir en el siglo XVII.7

significado alguno. Pero si interpretamos y como espacio, x como velocidad y t como tiempo, tal ecuacin modeliza una teora fsica que establece que el espacio recorrido por un mvil con velocidad constante es directamente proporcional a la velocidad con que se mueve y al tiempo que dura su movimiento. Al mismo tiempo, segn dicha teora, sirve para resolver el problema de calcular cuntos kilmetros ha recorrido un coche que circula de Madrid a Barcelona a una velocidad constante de 60 km/h durante 4 horas de recorrido.

[editar] Siglos XVII y XVIII

Pgina del artculo de Leibniz "Explication de l'Arithmtique Binaire", 1703/1705. En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms destacados Descartes,8 Pascal9 y, finalmente, Leibniz y Newton10 con el clculo infinitesimal que en muchas ocasiones ha recibido simplemente, por absorcin, el nombre de clculo. El concepto de clculo formal en el sentido de algoritmo reglado para el desarrollo de un razonamiento y su aplicacin al mundo de lo real11 adquiere una importancia y desarrollo enorme respondiendo a una necesidad de establecer relaciones matemticas entre diversas medidas, esencial para el progreso de la ciencia fsica que, debido a esto, es tomada como nuevo modelo de Ciencia frente a la especulacin tradicional filosfica, por el rigor y seguridad que ofrece el clculo matemtico. Cambia as el sentido tradicional de la Fsica 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 clculo permite establecer modelos sobre la realidad fsica, cuya comprobacin experimental12 supone la confirmacin de la teora como sistema. Es el momento de la consolidacin del llamado mtodo cientfico cuyo mejor exponente es en aquel momento la Teora de la Gravitacin Universal y las leyes de la Mecnica de Newton.13

[editar] Siglos XIX y XX

George Boole. Durante el siglo XIX y XX el desarrollo cientfico y la creacin de modelos tericos fundados en sistemas de clculo aplicables tanto en mecnica como en electromagnetismo y radioactividad, etc. as como en astronoma fue impresionante. Las geometras no euclidianas encuentran aplicacin en modelos tericos de astronoma y fsica. El mundo deja de ser un conjunto de infinitas partculas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de configuracin o espacio de fases de n dimensiones que fsicamente se hacen consistentes en la teora de la relatividad, la mecnica cuntica, la teora de cuerdas etc. que cambia por completo la imagen del mundo fsico. La lgica asimismo sufri una transformacin radical.14 La formalizacin simblica fue capaz de integrar las leyes lgicas en un clculo matemtico, hasta el punto que la distincin entre razonamiento lgico-formal y clculo matemtico viene a considerarse como meramente utilitaria. En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalizacin de todo el sistema matemtico, Frege, y de matematizacin de la lgica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalizacin del concepto como clculo lgico. Se lograron mtodos muy potentes de clculo, sobre todo a partir de la posibilidad de tratar como objeto conjuntos de infinitos elementos, dando lugar a los nmeros transfinitos de Cantor. Mediante el clculo la lgica encuentra nuevos desarrollos como lgicas modales y lgicas polivalentes. Los intentos de axiomatizar el clculo como clculo perfecto por parte de Hilbert y Poincar, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a nuevos intentos de axiomatizacin, Axiomas de Zermelo-Fraenkel y a la demostracin de Gdel de la imposibilidad de un sistema de clculo perfecto: consistente, decidible y completo en 1931, de grandes implicaciones lgicas, matemticas y cientficas.

[editar] Actualidad
En la actualidad, el clculo en su sentido ms general, en tanto que clculo lgico interpretado matemticamente como sistema binario, y fsicamente hecho material mediante la lgica de circuitos elctrnicos, ha adquirido una dimensin y desarrollo impresionante por la potencia de clculo conseguida por los ordenadores, propiamente mquinas computadoras. La capacidad y velocidad de clculo de estas mquinas hace lo que humanamente sera imposible: millones de operaciones por segundo. El clculo as utilizado se convierte en un instrumento fundamental de la investigacin cientfica por las posibilidades que ofrece para la modelizacin de las teoras cientficas, adquiriendo especial relevancia en ello el clculo numrico.

[editar] Concepto general de clculo

El clculo es un sistema de smbolos no interpretados, es decir, sin significado alguno, en el que se establecen mediante reglas estrictas, las relaciones sintcticas entre los smbolos para la construccin de frmulas 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 tautologas. Un clculo consiste en: 1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por enumeracin, o definidos por una propiedad tal que permita discernir sin duda alguna cundo un elemento pertenece o no pertenece al sistema. 2. Un conjunto de reglas de formacin de expresiones bien formadas(EBFs) que permitan en todo momento establecer, sin forma de duda, cundo una expresin pertenece al sistema y cundo no. 3. Un conjunto de reglas de transformacin de expresiones, mediante las cuales partiendo de una expresin bien formada del clculo podremos obtener una nueva expresin equivalente y bien formada que pertenece al clculo. Cuando en un clculo as definido se establecen algunas expresiones determinadas como verdades primitivas o axiomas, decimos que es un sistema formal axiomtico. Un clculo as definido si cumple al mismo tiempo estas tres condiciones decimos que es un Clculo Perfecto: 1. Es consistente: No es posible que dada una expresin bien formada del sistema, f, y su negacin, no f, sean ambas teoremas del sistema. No puede haber contradiccin entre las expresiones del sistema. 2. Decidible: Dada cualquier expresin bien formada del sistema podemos encontrar un mtodo que nos permita decidir mediante una serie finita de operaciones si dicha expresin es o no es un teorema del sistema.

3. Completo: Cuando dada cualquier expresin bien formada del sistema, podemos establecer la demostracin o prueba de que es un teorema del sistema. La misma lgica-matemtica ha demostrado que tal sistema de clculo perfecto "no es posible" (vase el Teorema de Gdel).

[editar] El clculo lgico

Artculo principal: Clculo lgico

Entendemos aqu por clculo lgico, un algoritmo que permite cmoda y fcilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como vlidamente verdaderos. La inferencia o deduccin es una operacin lgica que consiste en obtener un enunciado como conclusin a partir de otro(s) (premisas) mediante la aplicacin 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 empricos -supuestamente verdaderos y vlidos- para concluir en otro enunciado que se deriva de aquellos, segn las leyes de la lgica natural.16 La lgica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes, fundamentarlas y convertirlas en las reglas que permiten la transformacin 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 conclusin es necesariamente verdadera. Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento mediante la simbolizacin adecuada de frmulas o Expresiones bien formadas (EBF) construimos un modelo o sistema deductivo.

[editar] Sistematizacin de un clculo de deduccin natural

[editar] Reglas de formacin de frmulas I. Una letra enunciativa (con o sin subndice) es una EBF. II. Si A es una EBF, A tambin lo es. III. Si A es una EBF y B tambin, entonces A son.

B; A

B; A

B; A

B, tambin lo

IV. Ninguna expresin es una frmula del Clculo sino en virtud de I,II,III. Notas:
y

y y

A, B,... con maysculas estn utilizadas como metalenguaje en el que cada variable expresa cualquier proposicin, atmica (p,q,r,s....) o molecular (p/\q), (p\/q)... A, B,... son smbolos que significan variables; , , , , , son smbolos constantes. Existen diversas formas de simbolizacin. Utilizamos aqu la de uso ms frecuente en Espaa.17

[editar] Reglas de transformacin de frmulas 1) Regla de sustitucin (R.T.1): Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del clculo, ser tambin una tesis EBF del clculo. Y ello con una nica restriccin, si bien muy importante: cada variable ha de ser sustituida siempre que aparece y siempre por el mismo sustituto. Veamos el ejemplo: 1 2 3 donde donde Transformacin ; y donde

O viceversa 1 2 3 donde Transformacin donde ; y donde

2) Regla de separacin (R.T.2):

Si X es una tesis EBF del sistema y lo es tambin X sistema. [editar] Esquemas de inferencia

Y, entonces Y es una tesis EBF del

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 conclusin Y con valor de verdad V, siempre y cuando dicho esquema de inferencia sea una ley lgica, es decir su tabla de verdad nos muestre que es una tautologa. Por la regla de separacin podremos concluir Y, de forma independiente como verdad. Dada la poca operatividad de las tablas de verdad, el clculo se construye como una cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes lgicas utilizadas como reglas de transformacin, como se expone en clculo lgico.

[editar] Concepto de modelo

Cuando en un Clculo C, se establece una "correspondencia" de cada smbolo con elementos determinados individuales distinguibles entre s, de un Universo L, real, (tal universo L no es un conjunto vaco, 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 clculo lgico
Artculo principal: Clculo lgico

Naturalmente el clculo lgico es til porque puede tener aplicaciones, pero en qu consisten o cmo 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 formalizacin de tal forma que podamos reducir las expresiones lingsticas del lenguaje natural a EBFs de un clculo mediante reglas estrictas manteniendo el sentido de verdad lgica de dichas expresiones del lenguaje natural. Esto es lo que se expone en clculo lgico. Las diversas formas en que tratemos las expresiones lingsticas dan lugar a sistemas diversos de formalizacin y clculo:

Clculo proposicional o clculo de enunciados Cuando se toma la oracin simple significativa del lenguaje natural con posible valor de verdad o falsedad como una proposicin atmica, como un todo sin analizar.

La oracin simple: "Llueve", o "Las farolas se apagan por la noche" son consideradas como posible valor de verdad o falsedad de una variable "p".
y

Clculo como lgica de clases Cuando se toma la oracin simple significativa del lenguaje natural con posible valor de verdad o falsedad como resultado del anlisis de la oracin como una relacin de individuos o posibles individuos que pertenecen o no pertenecen a una clase. Siendo una clase el criterio, como una propiedad o una definicin, 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 definicin 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 definicin = Caballo con alas; Individuos = ninguno. Esta es la forma en la que en la actualidad se interpreta la lgica silogstica de Aristteles, que queda as se reducida a un clculo segn la lgica de clases.

La oracin 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).
y

Clculo de predicados o cuantificacional Cuando se toma la oracin simple significativa del lenguaje natural con posible valor de verdad o falsedad como resultado del anlisis de la misma de forma que una posible funcin predicativa (P), se predica de unos posibles sujetos variables (x)

[tomados en toda su posible extensin: (Todos los x); o referente a algunos indeterminados: (algunos x)], o de una constante individual existente (a).
La oracin simple "los perros muerden" se formaliza de la siguiente manera: Todos los posibles perros; P = todas las posibles acciones de morder. 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.

y

Clculo como lgica de relaciones Cuando se toma la oracin simple significativa con posible valor de verdad propio, verdado o falso, como resultado del anlisis de la oracin como una relacin "R" que se establece entre un sujeto y un predicado.

As la oracin simple "Antonio es mayor que Pedro", se considera y simboliza bajo la relacin "ser mayor que" (R) que se da entre Antonio (a) y Pedro (p) y se simboliza como

aRp.
La simbolizacin y formacin de EBFs en cada uno de esos clculos, as como las reglas de clculo se trata en clculo lgico.

[editar] Clculos matemticos

[editar] Clculo aritmtico
Artculo principal: Aritmtica

Aritmtica es la rama de las matemticas que estudia ciertas operaciones de los nmeros y sus propiedades elementales. Proviene del griego arithmos y techne que quieren decir respectivamente nmeros y habilidad. El nmero en aritmtica elemental tiene la consideracin de nmero natural referido, en el campo de la experiencia, a la unidad, entendida bien como cantidad bien como medida. De hecho el clculo ms natural y primitivo surge de la necesidad de contar y medir.18 Pero las formas y modos para realizar el clculo han surgido segn las diversas formas de sistemas de numeracin, as como su transcripcin grfica.

[editar] Algoritmos
Artculo principal: Algoritmo
[editar] Sistema numrico y sistema de numeracin

Artculo principal: Sistema numrico Artculo principal: Sistema de numeracin

El sistema de numeracin decimal, considerado como universal en la utilizacin ms 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 nmero.

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 nmero de la posicin.20 El nmero 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 bsicas del clculo: suma, resta, multiplicacin y divisin Las cuatro operaciones suma, resta, multiplicacin y divisin son las operaciones bsicas del clculo, sobre las cuales se construyen todas las dems. Es lo que se ensea en la Escuela Primaria y se conoce como "Las cuatro reglas" y es considerado como la mnima expresin de un conocimiento bsico. Algoritmo de la Suma
Artculo principal: Suma

El algoritmo se construye a partir de unas tablas elementales. La operacin de suma consiste en la unin de las unidades contenidas en dos nmeros, "sumandos", siendo el resultado la "Suma". Las tablas se leen como "una y una dos". Algoritmo de la resta
Artculo principal: Resta

El algoritmo se construye a partir de unas tablas elementales. La operacin de resta se considera como la diferencia entre dos nmeros, uno mayor "Minuendo" y otro menor "Sustraendo", siendo el resultado "Resta". Las tablas se leen como "de tres a cinco 2". Algoritmo de la multiplicacin

Una multiplicacin de ejemplo Artculo principal: Multiplicacin La multiplicacin es una suma reiterativa de un mismo nmero, el "multiplicando", tantas veces como unidades tenga otro nmero, 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.(vase el artculo Tabla de multiplicar) Algoritmo de la divisin
Artculo principal: Divisin

La operacin se realiza entre dos nmeros, "dividendo" y "divisor", cuyo resultado expresa cuntas 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 races

Algoritmo de la raz cuadrada Potencias Por potencia se entiende el resultado de multiplicar un mismo nmero, llamado "base", tantas veces como indica un ndice o "exponente". Se representa como bn, donde b es la base y n el exponente. As: El algoritmo de clculo de una potencia, aplicando las tablas de multiplicar sucesivamente y su algoritmo no ofrecen problema alguno. Races
Artculo principal: Formas de resolver la raz cuadrada

Mayor dificultad ofrece el clculo de races, exponiendo como caso elemental, el algoritmo de la raz cuadrada.

La raz es la operacin inversa de la potencia. Se expresa n y n "raiz", y se trata de calcular un nmero y tal que y hubiera, por no ser la raz exacta.

donde x se llama "radicando"

+ r = x siendo r un resto, si lo

Este algoritmo de clculo aritmtico est en desuso desde la introduccin de las calculadoras electrnicas en el ambiente educativo.

[editar] Clculo algebraico

Artculo principal: lgebra elemental

[editar] Clculo infinitesimal: breve resea

El clculo infinitesimal, llamado por brevedad "clculo", tiene su origen en la antigua geometra griega. Demcrito calcul el volumen de pirmides y conos considerndolos formados por un nmero infinito de secciones de grosor infinitesimal (infinitamente pequeo). Eudoxo y Arqumedes utilizaron el "mtodo de agotamiento" o exhaucin para encontrar el rea de un crculo con la exactitud finita requerida mediante el uso de polgonos regulares inscritos de cada vez mayor nmero de lados. En el periodo tardo de Grecia, el neoplatnico Pappus de Alejandra hizo contribuciones sobresalientes en este mbito. Sin embargo, las dificultades para trabajar con nmeros irracionales y las paradojas de Zenn de Elea impidieron formular una teora sistemtica del clculo 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 (integracin y Derivacin en trminos modernos). Fermat y Barrow tenan la certeza de que ambos clculos 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 clculo. El descubrimiento de Newton, a partir de su teora de la gravitacin universal, fue anterior al de Leibniz, pero el retraso en su publicacin an provoca controversias sobre quin de los dos fue el primero. Newton utiliz el clculo en mecnica en el marco de su tratado "Principios matemticos de filosofa natural", obra cientfica por excelencia, llamando a su mtodo de "fluxiones". Leibniz utiliz el clculo en el problema de la tangente a una curva en un punto, como lmite de aproximaciones sucesivas, dando un carcter ms filosfico a su discurso. Sin embargo, termin por adoptarse la notacin de Leibniz por su versatilidad. En el siglo XVIII aument considerablemente el nmero de aplicaciones del clculo, pero el uso impreciso de las cantidades infinitas e infinitesimales, as como la intuicin geomtrica, causaban todava confusin y duda sobre sus fundamentos. De hecho, la nocin de lmite, central en el estudio del clculo, era aun vaga e imprecisa en ese entonces. Uno de sus crticos ms notables fue el filsofo George Berkeley.

En el siglo XIX el trabajo de los analistas matemticos sustituyeron esas vaguedades por fundamentos slidos basados en cantidades finitas: Bolzano y Cauchy definieron con precisin los conceptos de lmite en trminos de psilon_delta y de derivada, Cauchy y Riemann hicieron lo propio con las integrales, y Dedekind y Weierstrass con los nmeros reales. Fue el periodo de la fundamentacin del clculo. Por ejemplo, se supo que las funciones diferenciables son continuas y que las funciones continuas son integrables, aunque los recprocos son falsos. En el siglo XX, el anlisis no convencional, legitim el uso de los infinitesimales, al mismo tiempo que la aparicin de las Computadoras ha incrementado las aplicaciones y velocidad del clculo. Actualmente, el clculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado su carcter disciplinario en la formacin 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 cientfica que ha desembocado en mbitos tan especializados como el clculo fraccional, la teora de funciones analticas de variable compleja o el anlisis matemtico. El xito del clculo ha sido extendido con el tiempo a las ecuaciones diferenciales, al clculo de vectores, al clculo de variaciones, al anlisis complejo y a las topologa algebraica y topologa diferencial entre muchas otras ramas. El desarrollo y uso del clculo ha tenido efectos muy importantes en casi todas las reas de la vida moderna: es fundamento para el clculo numrico aplicado en casi todos los campos tcnicos y/o cientficos cuya principal caracterstica es la continuidad de sus elementos, en especial en la fsica. Prcticamente todos los desarrollos tcnicos modernos como la construccin, aviacin, transporte, meteorologa, etc. hacen uso del clculo. Muchas frmulas algebraicas se usan hoy en da en balstica, calefaccin, refrigeracin, etc. Como complemento del clculo, en relacin a sistemas tericos o fsicos cuyos elementos carecen de continuidad, se ha desarrollado una rama especial conocida como Matemtica discreta.

Vase tambin
y y y y y y y y y y y y y

Clculo lgico algoritmo de Euclides Lenguaje formalizado Lenguaje formal Lgica proposicional Lgica de primer orden Sistema formal Silogismo Cifra (matemtica) Puerta lgica Tabla de valores de verdad Calculista Teora de conjuntos

y y y y y y y y y y y y y

Historia del hardware de computador Regla de clculo Sistema de numeracin Teora de nmeros Matemticas en el Antiguo Egipto Numeracin egipcia Numeracin griega Numeracin romana acarreo Potenciacin Radicacin Logaritmacin lgebra