2015 Modulo

1- lógica computacional, variables y constantes para almacenamiento de datos y sentencias de control.
La Lógica Computacional es una disciplina que estudia la aplicación de la Lógica Formal para la representación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completes (completeness) de sistemas deproposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software, es decir, especificación, diseño, construcción y verificación formal de programas. La Lógica Computacional, sin embargo, no actúa de manera aislada. Para el establecimiento de fundamentos de las ciencias computacionales concurren conjuntamente con laLógica Computacional, disciplinas como Teoría de la Computación y Análisis de Algoritmos; para el desarrollo de sistemas.
La Lógica Computacional participa con la Ingeniería de Software para el establecimiento de Métodos Formales de Especificación y Verificación de Programas, los cuales pueden ser usados para el desarrollo de sistemas críticos y/o concurrentes. Por otra parte la Lógica Computacionalen conjunción con otras disciplinas permite la resolución eficiente de problemas complejos, así por ejemplo Métodos de Optimización Combinatoria y de Lógica Computacional mezclados adecuadamente con métodos heurísticos de la Inteligencia Artificial ofrecen alternativas de solución a problemas computacionales muy difíciles que se les ha denominado NP completos.
En programación, una variable estáformada por un espacio en el sistema de almacenaje (memoria principal de un ordenador) y un nombre simbólico (un identificador) que está asociado a dicho espacio. Ese espacio contiene una cantidad o información conocida o desconocida, es decir un valor. El nombre de la variable es la forma usual de referirse al valor almacenado: esta separación entre nombre y contenido permite que el nombre seausado independientemente de la información exacta que representa. El identificador, en el código fuente de la computadora puede estar ligado a un valor durante el tiempo de ejecución y el valor de la variable puede por lo tanto cambiar durante el curso de la ejecución del programa. El concepto de variables en computación puede no corresponder directamente al concepto de variables en matemática. Elvalor de una variable en computación no es necesariamente parte de una ecuación o fórmula como en matemáticas. En computación una variable puede ser utilizada en un proceso repetitivo: puede asignársele un valor en un sitio, ser luego utilizada en otro, más adelante reasignársele un nuevo valor para más tarde utilizarla de la misma manera. Procedimientos de este tipo son conocidos con el nombre deiteración.
En programación de computadoras, a las variables, frecuentemente se le asignan nombres largos para hacerlos relativamente descriptivas para su uso, mientras que las variables en matemáticas a menudo tienen nombres escuetos, formados por uno o dos caracteres para hacer breve en su transcripción y manipulación El espacio en el sistema de almacenaje puede ser referido por distintosidentificadores diferentes. Esta situación es conocida entre los angloparlantes como "aliasing" y podría traducirse como "sobre-nombramiento" para los hispanoparlantes.
Asignarle un valor a una variable utilizando uno de los identificadores cambiará el valor al que se puede acceder a través de los otros identificadores. Los compiladores deben reemplazar los nombres simbólicos de las variables con lareal ubicación de los datos. Mientras que el nombre, tipo y ubicación de una variable permanecen fijos, los datos almacenados en la ubicación pueden ser cambiados durante la ejecución del programa.
Las variables pueden ser de longitud:
Fija.- Cuando el tamaño de la misma no variará a lo largo de la ejecución del programa. Todas las variables, sean del tipo que sean tienen longitud fija, salvo...