Trabajo de Lógica Computacional en la Universidad de Yale

PorJosé A. Alonso

El Departamento de Ciencias de la Computación de la Universidad de Yale
ha pubicado una oferta de trabajo en temas de Lógica Computacional: PostDoc and PhD Positions at Yale University

El objetivo del trabajo es el desarrollo de un nuevo sistema operativo cuyo núcleo esté formalmente certificado. Una descripción detallada del mismo se encuentra en Advanced Development of Certified OS Kernels.

El trabajo se desarrollará en el grupo FLINT y será dirigido por Zhong Shao y Bryan Ford.

I1M2010: Resolución de problemas mediante definiciones básicas de Haskell

PorJosé A. Alonso

El objetivo de la clase de hoy es el mismo de la clase anterior: aprender, resolviendo ejercicios, a definir funciones en Haskell mediante los procedimientos básicos estudiados en el tema 4.

En concreto, se han resuelto los siguientes ejercicios:

  • de la 3ª relación, el ejercicio 2 (xor).
  • de la 4ª relación, los ejercicios 1 (media3), 2 (sumaMonedas), 3 (volumenEsfera), 4 (areaDeCoronaCircular), 5 (intercala), 6 (reagrupa), 7 (rota1), 8 (rota), 9 (rango), 10 (palindromo), 11 (tresIguales), 12 (tresDiferentes), 13 (cuatroIguales), 14 (maxTres), 15 (modulo) y 16 (cuadrante).

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los restantes ejercicios de la 4ª relación.

I1M2010: Resolución de problemas mediante definiciones básicas de Haskell

PorJosé A. Alonso

El objetivo de la clase de hoy es el mismo de la clase anterior: aprender, resolviendo ejercicios, a definir funciones en Haskell mediante los procedimientos básicos estudiados en el tema 4.

En concreto, se han resuelto los ejercicios 7 (mitades), 8 (tailSeguro), 9 (disj), 11 (maxI) y 12 (menorMultiplo) de la 2ª relación y el ejercicio 1 (raices) de la 3ª relación

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los restantes ejercicios de la 3ª relación y los ejercicios de la 4ª relación.

I1M2010: Resolución de problemas de definiciones básicas de Haskell

PorJosé A. Alonso

El objetivo de la de hoy es aprender, resolviendo ejercicios, a definir funciones en Haskell mediante los procedimientos básicos y comprobar sus propiedades con QuickCheck.

En concreto, se han resuelto los ejercicios 4 (iniciales), 5 (prop_iniciales_ultimo), 6.1, 6.2 (cambioEuro), 6.3 (pesetas), 6.4 (euros), 6.5 (prop_EurosPesetas), 6.6, 6.7 y 11.1 (maxI) de la 2ª relación.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los restantes ejercicios de la 2ª relación y los ejercicios de la 3ª relación.

CLA 2010: Concept Lattices and Their Applications

PorJosé A. Alonso

La próxima semana se celebrará en Sevilla el Congreso CLA 2010 (Concept Lattices and Applications).

El CLA es una conferencia internacional dedicada al análisis formal de concepto (en inglés, Formal Concept Analysis) y campos relacionados tales como minería de datos, recuperación de la información, gestión del conocimiento, ingeniería de datos y del conocimiento, lógica y teoría de retículos.

Dentro del CLA se abordan tantos los aspectos teóricos como aplicados del análisis formal de conceptos.

Lo temas que se tratarán se pueden ver en el programa del CLA 2010.

El CLA 2010 ha estado organizado por el Grupo de Lógica Computacional.