Lógica Computacional
Páginas: 2 (453 palabras)
Publicado: 26 de septiembre de 2013
LÓGICA COMPUTACIONAL
La lógica computacional o lógica formal siempre ha sido una herramienta fundamental para el progreso de las ciencias computacionales, y sus desarrollos son la base paraelaborar soluciones informáticas, tanto en software como en hardware.
Diseñar, desarrollar y mantener software son procesos netamente creativos que se sustentan fundamentalmente en la capacidad derazonamiento, en el pensamiento computacional y algorítmico y en la habilidad para abstraer cualquier problema. Desde la publicación de los trabajos de Herbrand en 1930 la lógica se ha convertido en unvalioso instrumento conceptual al servicio de las ciencias computacionales, en la que ayudan para representar el conocimiento y para soportar el diseño de sistemas de información, es decir, hoy la lógicacomputacional se aborda desde la perspectiva de aplicación a la computación.
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso esfundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
Todo sistemacomputacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemasa este nivel.
SINTAXIS
Una fórmula es una ecuación que calcula un valor nuevo a partir de los valores existentes. El resultado será asignado a la celda en la cual se introduce dicha fórmula.En Excel puede crearse una amplia diversidad de fórmulas, desde fórmulas que ejecuten una simple operación aritmética hasta fórmulas que analicen un modelo complejo de fórmulas. Una fórmula puedecontener números, operadores matemáticos, referencias a celdas o incluso funciones.
Sintaxis de una fórmula
La sintaxis de una fórmula Excel es la estructura o el orden de los elementos de una...
La lógica computacional o lógica formal siempre ha sido una herramienta fundamental para el progreso de las ciencias computacionales, y sus desarrollos son la base paraelaborar soluciones informáticas, tanto en software como en hardware.
Diseñar, desarrollar y mantener software son procesos netamente creativos que se sustentan fundamentalmente en la capacidad derazonamiento, en el pensamiento computacional y algorítmico y en la habilidad para abstraer cualquier problema. Desde la publicación de los trabajos de Herbrand en 1930 la lógica se ha convertido en unvalioso instrumento conceptual al servicio de las ciencias computacionales, en la que ayudan para representar el conocimiento y para soportar el diseño de sistemas de información, es decir, hoy la lógicacomputacional se aborda desde la perspectiva de aplicación a la computación.
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso esfundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
Todo sistemacomputacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemasa este nivel.
SINTAXIS
Una fórmula es una ecuación que calcula un valor nuevo a partir de los valores existentes. El resultado será asignado a la celda en la cual se introduce dicha fórmula.En Excel puede crearse una amplia diversidad de fórmulas, desde fórmulas que ejecuten una simple operación aritmética hasta fórmulas que analicen un modelo complejo de fórmulas. Una fórmula puedecontener números, operadores matemáticos, referencias a celdas o incluso funciones.
Sintaxis de una fórmula
La sintaxis de una fórmula Excel es la estructura o el orden de los elementos de una...
Leer documento completo
Regístrate para leer el documento completo.