Logica Computacional

¿Qué es la lógica computacional?

La lógica computacional es una disciplina que estudia la aplicación de la lógica clásica formal para la representación computacional de argumentos, las técnicas de deducción automática y asistida por computadora; sus fundamentos relacionados con validez y completes de sistemas de proposiciones; y las aplicaciones de esas técnicas a las diferentes áreas de las ciencias computacionales en todas las etapas de desarrollo de software, es decir, en la especificación, diseño, construcción y verificación formal de programas. En este objetivo concurre junto con la teoría de la computación y el análisis de algoritmos.

La sintaxis de una fórmula

es la estructurao el orden de los elementos de una fórmula. Las fórmulas en Excel siguen una sintaxis específica que incluye un signo igual (=) seguido de los elementos quevan a calcularse (los operandos) y los operadores del cálculo. Cada operando puede ser un valor que no cambie (un valor constante), una referencia de celda o de rango, un rótulo, un nombre o unafunción de la hoja de cálculo.

Como valor predeterminado, Microsoft Excel calcula una fórmula de izquierda a derecha, comenzando por el signo igual (=). Puede controlar el orden en que se ejecutará elcálculo cambiando la sintaxis de la fórmula. Por ejemplo, la siguiente fórmula da un resultado de 11 porque Microsoft Excel calcula la multiplicación antes que la suma. La fórmula multiplica 2 por 3(resultando 6) y, a continuación, suma 5.

=5+2*3

Por el contrario, si se utilizan paréntesis para cambiar la sintaxis, pueden sumarse en primer lugar 5 y 2 y, a continuación, multiplicarse el resultadopor 3, resultando 21.

=(5+2)*3

...