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.

I1M2010: Trabajo en el entorno de prácticas

PorJosé A. Alonso

El objetivo de la clase es aprender a usar el entorno de trabajo del aula de informática. En concreto, aprender a

  • acceder a la cuenta personal en Ubuntu,
  • cambiar la contraseña,
  • descargar el enunciado de la relación de ejercicios,
  • abrir la relación de ejercicios en emacs y
  • resolver ejercicios.

En esta clase se han resuelto los 3 primeros ejercicios de la 2ª relación.

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

I1M2010: Definición de funciones

PorJosé A. Alonso

El objetivo de la clase de hoy es aprender a

  • definir funciones eh Haskell usando los patrones básicos de definición: composición, condicionales, guardas y patrones.
  • buscar funciones con Hoogle y ver su definición.
  • realizar el ciclo completo de definición de funciones en el cuaderno de ejercicios: descargar los enunciados, escribir la definición, comprobarla y publicarla en el cuaderno.

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

Las transparencias del tema son

Descargar (PDF, 203KB)

I1M2010: Introducción a la programación con Haskell

PorJosé A. Alonso

En la clase de hoy se ha visto el tema 2: Introducción a la programación con Haskell.

El objetivo del tema es aprender a:

  • usar Haskell como calculadora aritmética (con las funciones +, -, *, /, div y ^).
  • usar Haskell como calculadora de listas (con las funciones head, tail, take, drop, length, sum, product, ++ y reverse).
  • escribir guiones de Haskell en emacs.

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

Las transparencias del tema son

Descargar (PDF, 204KB)

Aprender y enseñar

PorJosé A. Alonso

Hace poco me reencontré con una máxima de Tales de Mileto que figura desde hace tiempo en mi colección de citas. La máxima dice

De todo lo que es posible aprender, elige y aprende lo mejor; y de todo lo que hayas aprendido, elige lo mejor y enséñalo a los demás.

Esta máxima resume perfectamente los objetivos de Vestigium.