Sistemas Formales

1)Sistemas formales

La especificaciòn cuidadosa de la sintaxis y semántica de la lógica de primer orden, se consigue definiendo a esta última como un Sistema formal. Para ello, es necesario considerar tres aspectos:

Lenguaje. Este elemento esta asociado a la sintaxis de la lógica de primer orden y de los programas lógicos. El lenguaje de un sistema formal esta dado por un conjunto de símbolosconocido como Alfabeto y una serie de reglas de construcción Sintácticas. Una expresión es cualquier secuencia de símbolos pertenecientes al alfabeto (primarios). Cualquier expresión es, o no es, una Formula bien formada (fbf). Las formulas bien formadas son las expresiones que pueden formarse con los símbolos del alfabeto a partir de las reglas de construcción y por tanto, pertenecen al lenguajede la lógica de primer orden.

Teoría del modelo

Este elemento esta asociado a la semántica de la lógica de primer orden. La teoría del modelo establece la interpretación de las fbfs en un sistema formal. Su función es relacionar las fbfs con alguna representación simplicidad de la realidad que nos interesa, para establecer cuando una fbf es falsa y cuando verdadera. Esta versión de realidadcorresponde a lo que informalmente llamamos modelo”. Sin embargo, en lógica, el significado de “modelo” esta íntimamente relacionado con el lenguaje del sistema formal: si la interpretación

Teoría de prueba

Este elemento esta asociado con el razonamiento deductivo. La teoría de la prueba tiene como objetivo hacer de cada enunciado matemático una formula demostrable y rigurosamente deducible.Para ello, la actividad matemática deberá quedar reducida a la manipulación de símbolos y sucesiones de símbolos regulados por un conjunto de instrucciones dadas al respecto. La construcción de tal teoría implica, además del lenguaje del sistema formal, un sub conjunto de fbf que tendrían el papel en el sistema, y un conjunto de reglas de inferencia que regulen diversas operaciones sobre losaxiomas. Las fbf obtenidas mediante la aplicación sucesiva de las reglas de inferencia a partir de los axiomas se conocen como teoremas del sistema

2)La complejidad estructurada
es una técnica para escribir programas (programación de computadora) de manera clara. Para ello se utilizan únicamente tres estructuras: secuencia, selección e iteración; siendo innecesario el uso de la instrucción oinstrucciones de transferencia incondicional (GOTO, EXIT FUNCTION, EXIT SUB o múltiples RETURN).
Hoy en día las aplicaciones informáticas son mucho más ambiciosas que las necesidades de programación existentes en los años 1960, principalmente debido a las aplicaciones gráficas, por lo que las técnicas de programación estructurada no son suficientes. Ello ha llevado al desarrollo de nuevas técnicas,tales como la programación orientada a objetos y el desarrollo de entornos de programación que facilitan la programación de grandes aplicaciones.
-------------------------------------------------
Estructuras de datos
Las estructuras de datos se emplean con el objetivo principal de organizar los datos contenidos dentro de la memoria del ordenador. Así, nuestra primera experiencia con estructurascomienza desde el momento mismo en que usamos en nuestros programas variables de tipos primitivos (char, short, int, float, etc). A la memoria del ordenador se le puede considerar como un gran bloque compuesto por una serie de BYTES dispuestos secuencialmente uno detrás de otro. por ejemplo, si un ordenador posee una memoria de 128MB (128 megas) entonces se le puede leer o escribir desde el BYTE 0hasta el BYTE 128MB - 1 ( 0000000H .. 7FFFFFFH ).

La idea de ver la memoria como un serie de bytes es buena, sin embargo no es suficiente ya que en la misma podemos guardar números, cadenas de caracteres, funciones, objetos, etc. de tal manera que surge la necesidad de establecer los mecanismos adecuados para dar cuenta de la forma, tamaño y objetivo de los datos almacenados. Según el tipo...