PROPÓSITO DE LA UNIDAD DE APRENDIZAJE

...

S Si es 0 => No hay salida de agua. Si es 1 => Sale el agua y abre válvula de ingreso E.[pic 11]

[pic 12][pic 13][pic 14]

[pic 15][pic 16]

[pic 17][pic 18][pic 19][pic 20][pic 21]

Inicio -> Inicio ->[pic 22][pic 23][pic 24][pic 25][pic 26][pic 27]

[pic 28]

[pic 29]

Con estas tres variables podemos hacer diferentes diagramas que muestren el comportamiento del sistema, desde un diagrama de flujo (utilizado en la lógica que permite desarrollar programación estructurada} hasta un diagrama de autómata que muestra el comportamiento de este simple sistema. El concepto de autómata se describe con detalle en la siguiente unidad II.

En esta introducción solo queremos mostrar como de forma intuitiva podemos relacionar las tres variables binarias (con valores 0 y 1) cada una de ellas.

Para el mismo ejemplo, ahora mostramos los elementos lógicos que muestran el comportamiento con otros elementos de abstracción.

[pic 30][pic 31][pic 32]

[pic 33][pic 34][pic 35][pic 36][pic 37][pic 38]

[pic 39][pic 40][pic 41][pic 42][pic 43][pic 44][pic 45][pic 46][pic 47][pic 48][pic 49][pic 50][pic 51][pic 52][pic 53][pic 54][pic 55][pic 56][pic 57]

[pic 58]

[pic 59]

Figura. 1.1.8 Modelado mediante un diagrama de flujo del sistema manual mecánico

Con este ejemplo tan conocido, partimos a describir que existen infinidad de sistemas, no solo mecánicos, sino electrónicos, electromecánicos, digitalizados, que reciben estímulos de entrada que pueden ser analógicos (análogos al mundo real) o bien se pueden digitalizar como es el caso de los sistemas computacionales.

Entrando al mundo de los sistemas computacionales, ahí existen elementos que pueden ser tangibles conocidos como hardware o elementos intangibles, lógicos o inteligentes conocidos como software.

[pic 60]

Figura. 1.1.9 Tres elementos básicos de un Sistema Informático FUENTE: erick-martin-ruiz-figueroa.blog Tomada el: 5/jul/2013.

En este tipo de sistemas, podemos entrar a lo que se conoce como software de base, es aquí donde está la necesidad de diseñar abstracciones también conocidas como dibujos, diagramas o abstracciones que representan el comportamiento o la lógica de los sistemas de información. En un sistema de información tenemos aún más elementos, dentro de los cuales se integran elementos como el humano (también definido como el humanware), recursos materiales(como el equipamiento o hardware), elementos financieros ,económicos o dinero y la infraestructura o el entorno como son las instalaciones de cómputo, oficinas, etc. Todo lo anterior es un reflejo de lo que puede ser un sistema de información o sistema que al influir el factor humano, también se le considera un sistema inteligente.

Los sistemas de información inteligente, son aquellos que además dentro del el software, se integran artefactos que emulan en comportamiento y la toma de decisiones que un humano a programado, esto es que ha grabado las instrucciones dentro de los programas que los hacen funcionar. Entramos al mundo de la programación y dentro de la programación se requieren elementos que como ya se mencionaron se conocen como software de base y estos son desde los sistemas operativo y dentro de los elementos que integran a los sistemas operativos están los programas traductores conocido como intérpretes, ensambladores y compiladores. Es aquí donde se han desarrollado miles de estos componentes lógicos.

[pic 61][pic 62]

CONCLUSIÓN SOBRE SISTEMAS FORMALES:

Son los que:

-Aplica la matemática para poder obtener la solución modelada a dicho sistema.[pic 63]

-Formaliza aplicaciones (Factibilidad).

-Se tiene una relación con los Autómatas Matemáticos, los cuales permiten modelar el comportamiento de un sistema.

-Obedece a un lenguaje de símbolos.

-Un ejemplo de este tipo de Sistemas es: La Calculadora.

-Este tipo de Sistemas, se pueden encontrar en Lenguajes de Programación Formales ó Regulares.

-Otro aspecto importante de los Sistemas Formales es que utilizan la Teoría de Conjuntos (Parte de la Matemática).

Figura 1.1.11 Imagen de una calculadora sencilla.

Un Sistema Formal también es considerado como un Sistema Lógico que está constituido por un Lenguaje Formal (Lenguaje cuyos símbolos y reglas están formalmente especificados; además de ser la base de la formación/construcción de un Sistema Formal.), y a partir de esto una de las mayores aplicaciones de un Sistema Formal es la: Demostración.

Para que a un Sistema se le pueda considerar como Formal tiene que presentar una característica principal, la cual es: “Capturar y Abstraer la esencia de determinadas características del mundo real en un modelo (paradigma)”. [pic 64]

Figura 1.1.12 Imagen de la matemática.

Un Sistema Formal necesita de la Matemática para poder desarrollarse, es por ello, que esta (la Matemática) es la encargada del estudio de los Sistemas Formales de forma concreta y directa; además de que esta disciplina considera a los Sistemas Formales como cálculos, y a partir de esto los Sistemas Formales tienen un objetivo, el cual es: “señalar como válidas determinadas cadenas (teoremas) de información ó de símbolos que se estén utilizando dentro del Lenguaje Formal que se encuentra en el mismo sistema”.

Los Sistemas Formales poseen propiedades, las cuales son:

-Coherencia: El sistema formal es coherente si cada teorema ó cadena al ser interpretado no corresponde a una decisión verdadera.

-Completitud: El sistema formal es completo si cada proposición verdadera puede ser representada