Programa Teorema De Pitagoras

Código Del Programa

Comentarios

Publicar un comentario

Entradas populares de este blog

3.- Programación Lógica

Imagen
3.1.-  Repaso de la lógica de primer orden La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. 3.2.- Unificación y resolución  El Método de Resolución es un intento de mecanizar el proceso de deducción natural de forma eficiente. Las demostraciones se consiguen utilizando el método refutativo (reducción al absurdo), es decir lo que se intenta es encontrar contradicciones. Para probar una sentencia basta con demostrar que su negación nos lleva a una contradicción con las sentencias conocidas...
Leer más

2.- Modelo de Programación Funcional

Imagen
2.1.- Introducción al modelo de programación funcional. El paradigma de programación funcional  es uno de los fundamentales entre los llamados de  programación declarativa . Como tal, permite aunar los componentes de especificación y programación en las tareas de solución automática de problemas. Los lenguajes funcionales ofrecen al programador un buen número de recursos expresivos que permiten resolver problemas complejos  mediante programas pequeños y robustos. Entre ellos cabe destacar: un sistema de tipos polimórficos que permite definir una amplia variedad de estructuras de datos de uso genérico, la posibilidad de definir funciones que aceptan otras funciones como argumentos y devuelven funciones como resultado, facilidades para definir y manipular estructuras de datos infinitas, un modelo computacional simple, claro y bien fundamentado, etc. De no menor importancia es la posibilidad de razonar, de forma sencilla, acerca de las propiedades d...
Leer más

1.- Conceptos Fundamentales

Imagen
1.1.- Diferentes estilos de programación. Se refiere a la forma en que se da formato al código fuente .  Estilo de programación (también llamado estándares de código o convención de código) es un término que describe convenciones para escribir código fuente en ciertos lenguajes de programación. El estilo de programación es frecuentemente dependiente del lenguaje de programación que se haya elegido para escribir. Por ejemplo el estilo del lenguaje de programación C variará con respecto al del lenguaje BASIC.  La programación funcional es un estilo de programación que modela computaciones como la evaluación de las expresiones. En el proceso se lleva a cabo la compilación en el cual se transforma el código en algo que la maquina entiende. ESTILO O MODELO 1.2.- Analizando diferentes de estilos de programación 1.2.1.-  Evaluación de Expresiones En general, salvo que se relacionen co...
Leer más