Lógica para Informáticos

LEYES DEL ÁLGEBRA DE PROPOSICIONES: Definición: Son Equivalencias Lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla. También son llamadas leyes lógicas, y representan formas proposicionales en la que si se sustituyen sus variables por los enunciados correspondiente el resultado será una proposición lógicamente verdadera. Con fundamento en el contenido de la definición de ley lógica se evidencia la relación de está con las tautologías: toda tautología es una ley lógica. Existen abundantes equivalencias lógicas. Sin embargo, todas estas pueden deducirse a partir de unas pocas equivalencias fundamentales, llamadas comúnmente leyes del álgebra de proposiciones. JUSTIFICACIÓN Estudiar las leyes del algebra proposicionales, formular sistemas o modelos matemáticos para realizar representaciones verdaderas de determinadas proposiciones, a través de las siguientes leyes poder llegar a inferir conclusiones que nos permitan...

Pascal como lenguaje de programación pascal es un lenguaje creado por el profesor suizo  Niklaus Wirth  entre los años 1968 y 1969 y publicado en 1970. Su objetivo era crear un lenguaje que facilitara el aprendizaje de programación a sus alumnos, utilizando la  programación estructurada  y estructuración de datos. Sin embargo, con el tiempo su utilización excedió el ámbito académico para convertirse en una herramienta para la creación de aplicaciones de todo tipo. Pascal se caracteriza por ser un lenguaje de programación estructurado  fuertemente tipado . Esto implica que: ·          El código está dividido en porciones fácilmente legibles llamadas funciones o procedimientos. De esta forma Pascal facilita la utilización de la programación estructurada en oposición al antiguo estilo de programación monolítica. ·          El tipo de d...

Lenguaje de programación Un lenguaje de programación es un  lenguaje formal  que especifica una serie de instrucciones para que una  computadora produzca diversas clases de datos. Los lenguajes de programación pueden usarse para crear  programas  que pongan en práctica  algoritmos  específicos los cuales controlan el comportamiento físico y lógico de una computadora. Está formado por un conjunto de símbolos y reglas  sintácticas  y  semánticas  que definen su estructura y el significado de sus elementos y expresiones. Al proceso por el cual se escribe,  se prueba ,  se depura ,  se compila  (de ser necesario) y se mantiene el  código fuente  de un  programa informático  se le llama  programación . También la palabra programación se define como el proceso de creación de un  programa  de  computadora , mediante la aplicación de procedimientos lógicos, a...