FLORA Y FAUNA EN PELIGRO DE EXTINCION
Cálculo infinitesimal: breve reseña[editar · editar código]
El cálculo infinitesimal, llamado por brevedad "cálculo", tiene suorigen 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 vezmayor 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úmerosirracionales y las paradojas de Zenón de Elea impidieron formular una teoría sistemática del cálculo en el periodo antiguo.
El cálculo lógico es un sistema de reglas de inferencia o deducir unenunciado a partir de otro u otros. El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas de inferencia y su propósito es poder deducir algorítmicamente proposiciones lógicas verdaderasa partir de axiomas válidos. La inferencia es una operación lógica que consiste en obtener una proposición lógica como conclusión a partir de otro(s) (premisas) mediante la aplicación de reglas de...
Regístrate para leer el documento completo.