Lógica Temporal y Autómatas Finitos

El término máquina evoca algo hecho en metal, usualmente ruidoso y grasoso, que eje-cuta tareas repetitivas que requieren de mucha fuerza o velocidad o precisión. Ejemplos de estas máquinas son las embotelladoras automáticas de refrescos. Su diseño requiere de conocimientos en mecánica, resistencia de materiales, y hasta dinámica de fluidos. Al diseñar tal máquina, el plano en que se le dibuja hace abstracción de algunos detalles presentes en la máquina real, tales como el color con que se pinta, o las imperfecciones en la soldadura. El plano de diseño mecánico de una máquina es una abstracción dé esta, que esútil para representar su forma física. Sin embargo, hay otro enfoque con que se puede modelar la máquina embotelladora: cómo funciona, en el sentido de saber qué secuencia de operaciones ejecuta. Así, la parte que introduce el líquido pasa por un ciclo repetitivo en que primero introduce un tubo en la botella, luego descarga el líquido, y finalmente sale el tubo para permitir la colocación de la cápsula (" corcholata "). El orden en que se efectúa este ciclo es crucial, pues si se descarga el líquido antes de haber introducido el tubo en la botella, el resultado no será satisfactorio. El modelado de una máquina en lo relacionado con secuencias o ciclos de acciones se aproxima más al enfoque que adoptaremos en este curso. Las máquinas que estudiaremos son abstracciones matemáticas que capturan solamente el aspecto referente a las secuencias de eventos que ocurren, sin tomar en cuenta ni la forma de la máquina ni sus dimensiones, ni tampoco si efectúa movimientos rectos o curvos, etc. En esta parte estudiaremos las máquinas abstractas más simples, los autómatas finitos, las cuales están en relación con los lenguajes regulares, como veremos a continuación. 25

Son conjunto de señales recibidas por el procesador de un ordenador, el que está compuesto por un número finito de compuertas(estados), cada una de las cuales pueden utilizar dos condiciones posibles, por lo general denotadas por 0 y 1(transiciones).

Unidad1

Haciendo una comparación con la rama combinacional de Electrónica Digital, el Álgebra de Boole era la herramienta matemática para poder llevar a cabo la reducción de las fórmulas lógicas, y por lo tanto, del circuito de conmutación.

Poiésis, 2013

Haré un esfuerzo de trasmitir las ideas que tengo en mente de un modo claro sin descuidar los conceptos y la profundidad que ellos tienen cuando de un tema como el de las conclusiones se trata. Quiero entonces comentar sobre los elementos que se encuentran en juego en relación a las conclusiones y mostrar un poco como se han leído dentro de la práctica del psicodrama. Lo primero que llega a la mente con la palabra conclusión es una pregunta. ¿Qué significa una conclusión? Debemos pensar la conclusión, en este caso, como un movimiento. Un movimiento del pensamiento, una acción, un acto. Es si se quiere de modo más simple, una decisión.

Este trabaio se propone esclarecer la tensión entre el momento finitista y el momento ontológico en 1á doctiina-del primer Heidegger. Constata que la finitud expresa la referencia recíproca del ser v el ente en la diferencia ontológica. ayudando a unificar los modos alternativos

Introducción En el presente trabajo se presentará La historia de la psicología se puede dividir en 2 periodos de tiempo, este primer periodo de tiempo lo clasificaré como la psicología precientífica. Que se divide en dos, 1.)La etapa clásica de los filósofos griegos que centraban su orientación hacia la práctica del saber, la noción del alma y la naturaleza. 2)Otra etapa pre-científica es la medieval o era cristiana que centro su atención hacia dios y la espiritualidad.