lunes, 12 de noviembre de 2012

Tarea 11.

Para esta semana se nos encargo elegir un problema del siguiente pdf referente a la Lógica Temporal Lineal.
Yo elegí lo siguiente:


Y según como se indican los operadores que tenemos:


Entonces tenemos que la propiedad expresada seria la siguiente:

Eventualmente siempre ocurre A.

Referencias:


martes, 6 de noviembre de 2012

Tarea 10.

Expresión Regular y Autómata Buchi


Para esta tarea se nos encargo elaborar una expresión w-regular y crear un NBA

Mi expresión regular es la siguiente:


ABC(A+CB*)

Simbolos utilizados:


  • Asterisco * : El asterisco sirve para encontrar algo que se encuentra repetido 0 o más veces.
  • Suma + : Se utiliza para encontrar una cadena que se encuentre repetida una o más veces. También es posible utilizar este metacarácter en conjunto con el signo de pregunta para limitar hasta donde se efectúa la repetición.

Su NBA es el siguiente:

ABC

ABC(A+CB*)





Referencias:

martes, 30 de octubre de 2012

Sistema de transiciones

Sistema: Maquina de Frituras

Componentes:

  • Botones: Los botones sirven para marcar la clave del articulo deseado 
  • Resortes: Estos sirven para impulsar los productos
  • Validador de monedas: este determina si las monedas son de 1, 2, 5, 10, y marca en pantalla el saldo final
  • Pantalla: Muestra la fecha del dia, ademas de mostrar los precios de los productos, y la cantidad de dinero que se ha ingresado.
  • Persona: Solicitante de productos. 

Diagramas de componentes

1. Persona:
Estados: 
  •        Inicio: Visualizacion de productos.
  •        Insertar monedas
  •        Insertar Codigo del producto (botones)
  •        Espera de producto
  •        Recibe producto
2. Maquina
Estados:  
  •        Inicio
  •        Recibir moneda
  •       Validar monedas
  •       Mostrar Saldo
  •       Recibir código
  •       Buscar la ubicación del cogido
  •       Mover producto (resorte)
  •       Entregar producto y/o cambio.






    

martes, 18 de septiembre de 2012

Demostraciones de Validez

Para la tarea 5 trabajare con demostraciones de validez para esto utilizare el ejemplo 4.19 de The World According to Predicate Logic.

El ejercicio es el siguiente 

The formula  

expresses transitivity of the relation R. Which of the following relations are transitive:

(1) being an ancestor of . . . on the set of human beings,
(2) being a parent of . . . on the set of human beings,
(3) the ‘less than’ relation < on the natural numbers,

**La formula
expresa la transitividad de la relación R. ¿Cuál de las siguientes relaciones son transitivas:

(1) ser un antepasado de. . . en el conjunto de los seres humanos,
(2) ser un padre de. . . en el conjunto de los seres humanos,
(3) la 'menor que' <en relación con los números naturales ** 


Tomando en cuenta que la relacion transitiva se cumple cuando:  "un elemento se relaciona con otro y éste último con un tercero, entonces el primero se relaciona con el tercero"*

El primer inciso sera Transitivo esto es porque existe una relación con el conjunto de seres humanos y sus antepasados.Tanto uno puede tener relación con uno como otro.

Para el segundo inciso un padre podría ser padre de cualquier de los siguientes seres. 

En el tercer inciso si es una relacion transitiva ya que se puede tener "menor que" en cualquier de los siguientes numeros naturales. 





Referencias:

lunes, 10 de septiembre de 2012

Lógica Predicativa

Para la tarea de esta semana trabajare con lógica predictiva, y este fue el ejercicio que elegi:


"All pigs are fat;
Nothing that is fed on barley-water is fat."

"Todos los cerdos son gordos;
nada que se alimente de cebada es gordo."

Lo que haremos con este ejercicio es escribirlo en notación simbólica-lógica, para esto utilizare las siguientes equivalencias:


Ahora utilizando los siguientes cuantificadores: 



Elaboramos las siguientes sentencias:

"Todos los cerdos son gordos"   

"Ninguno se alimenta de cebada entonces no son gordos"




Por lo tanto

"Todos los cerdos gordos no se alimentan de cebada"





Referencias:
Symbolic Logic by Lewis Carroll
Lógica Predicativa


martes, 4 de septiembre de 2012

Diagramas de decisión Binario

Para esta semana la tarea que se nos encargo fue la siguiente:


  • Inventar alguna funcion booleana
  • dibujar su BDD
  • reducir el BDD y construir un ROBDD 
  • y por ultimo dibujar el ROBDD
Para esto mi funcion es la siguiente:

((av¬b)^ (¬c^b)) v ¬a
Y su tabla de verdad 


Árbol de Decisión

A partir de nuestro árbol vamos haciendo una reducción de las hojas que contengan el mismo valor, lo mismo aplica para las ramas de este.











lunes, 27 de agosto de 2012

Lógica proposicional

Que es la lógica proposicional?

La lógica: ciencia que estudia la validez de la inferencia. El desarrollo de la lógica esta ligado a la matemática.

Proposición: es una secuencia finita de signos.


La lógica proposicional es aquella que permite el razonamiento a través de un mecanismo que evalúa sentencias simples y luego sentencias complejas, que están formadas mediante conectivos proposicionales.
La lógica proposicional permite también asignar un valor verdadero o falso para una sentencia completa.

Conectivos proposicionales


A continuación mostrare una tabla con algunos de los conectivos lógicos que utiliza la lógica proposicional, 


Logica proposicional y la computacion


Debido a que las computadoras trabajan con información binaria, la herramienta adecuada para el análisis y diseño de su funcionamiento es el álgebra de Boole.

Algebra de boole es una estructura que esquematiza operaciones lógicas. El álgebra de Boole ha tenido dos aplicaciones al campo de la lógica: el tratamiento de conjuntos mediante las operaciones de unión e intersección que ha servido de base a la teoría de la probabilidad y el diseño de circuitos digitales combinacionales.


Un circuito digital es aquel cuyas entradas y salidas sólo pueden tomar dos niveles distintos de tensión. Estos niveles se pueden representar como 1(verdadero) y 0 (falso).

Un circuito combinacional es aquel en el que sus salidas dependen de las entradas que ocurran en el momento. Un circuito de estas características puede representarse analíticamente, mediante una  función
booleana, o gráficamente, mediante un diagrama de puertas lógicas.







Referencias:
http://www.fismat.iteso.mx/pag_def/estructura/matematicas/asignaturas/logicamatematica2004/apoyos/proposicional3.pdf
http://www.profesormolina.com.ar/electronica/componentes/int/sist_comb.htm
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://translate.google.com.mx/translate?hl=es&langpair=en%7Ces&u=http://www.cse.chalmers.se/edu/year/2011/course/DAT060/pres.pdf
http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
http://es.scribd.com/doc/33509733/Historia-de-la-Logica-Lenguajes-Falacias-Logica-proposicional

martes, 21 de agosto de 2012

domingo, 12 de agosto de 2012

Introduccion - Tarea 1

Validación y Verificación de software


  • Validación: controla que el producto/progrma satisface los requerimentos que el usuario solicito.
  • Verificación: Controla que el producto conforme la especificacion inicial.

Los objetivos de la verificación y validación son valorar y mejorar la calidad de los productos generados durante el desarrollo y la modificación de software.

Hay 2 tipos de verificación: 

  • La verificacion Formal de programas consiste en utilizar tecnicas de comprobacion formales que permiten demostrar si un programa funciona correctamente y puede ser utilizado sin causar perdidas.
  • La verificacion del ciclo de vida:  que es el proceso de determinar el grado de los productos de trabajo de una fase dada del ciclo de desarrollo  cumpla con las especificaciones establecidas previamente. 


Algunos ejemplos de malas validaciones, que a su vez han generado grandes perdidas:

Apagón del 2003 en Norteamérica

Pánico y grandes perdidas económicas, fue lo que dejo un gran apagón generado por un error de software de control, que si se colgaba, enviaba una señal al resto de las centrales para que pudieran reaccionar. El problema era que esta señal hacia que las maquinas que la recibían se colgaran y reiniciaran, enviando a su vez el fatídico mensaje a cada vez mas centrales de distribución  dejando mas de 100 plantas eléctricas bloqueadas y mas de 50 millones de hogares sin electricidad hasta que se detecto el error.

La unica solución fue instalar la versión anterior del programa. 




Generador de claves Kerberos


Los responsables del programa generador de claves de seguridad Kerberos seguramente tuvieron mucho que explicar cuando, después de haberse convertido en la base de muchos sistemas de seguridad informática, se descubrió que la "semilla aleatoria" que utilizaba no era tan aleatoria. Lo que puede parecer algo trivial oculta una realidad terrorífica: cualquiera con mínimos conocimientos de criptografía podía entrar en un sistema protegido con Kerberos. Se desconoce el alcance real de este fallo, ya que cualquier compañía que estuviera protegida con este sistema se cuidaría mucho de decirlo.




Fuentes:
UNO
DOS
TRES