Month: octubre 2010

  • 6º clase de matematicas (teorica/practica)

    Conceptos mas destacados de la clase teorica de hoy: regla de resolucion de Robinson y la forma clausal. En la clase de practica, hemos aprendido el concepto de predicado dinámico, muy útil para nuestro futuro videojuego Teoria Fórmula satisfacible: una fórmula lógica es satisfacible si existe alguna interpretación que la hace verdadera. Fórmula insatisfacible: una…

  • 5 clase de matematicas (teorica/practica)

    Lo mas destacado de la clase de teorica de esta semana ha sido la demostracion de razonamientos. En la clase de practica, Carlos sigue dandonos herramientas, asi como nuevas sentencias para implementar nuestro videojuego. Teórica Interpretación Una interpretación es una función que asigna un valor de verdad a una proposición a partit de los significados de sus…

  • 4º clase de matematicas (teoria/practica)

    Hoy, lo mas destacado de la clase teorica de matematicas, han sido los cuantificadores. En clase de practica, seguimos con el **** juego de prolog xD Teoría Cuantificadores: Cuantificador universal   : significa que todos los sujetos x si verifican la propiedad P entonces verifican la propiedad Q.  Las expresiones que van acompañadas del cuantificador…