Asignaturas:

Lógica Computacional

Lógica de Primer Orden

Razonamiento

La Red ilógica es una red de investigación en la docencia universitaria de la lógica, del uso de las tecnologías informáticas en su enseñanza/aprendizaje y su presencia en internet. Nace en octubre de 2004 dentro del programa de Redes de Investigación en Docencia Universitaria del ICE de la Universidad de Alicante.

Esta página sobre lógica pretende ser una herramienta didáctica de apoyo a los estudiantes de las asignaturas relacionadas con la lógica impartidas desde el departamento de Ciencia de la Computación e Inteligencia Artificial de la Universidad de Alicante.

Está estructurada en los siguientes apartados:

• La Lógica en la Universidad de Alicante
• Herramientas Software

• Web de Prácticas de Lógica Computacional

• Tablas de Verdad (TV)

• Asistente para la Deducción Natural (ADN)

• El lenguaje de programación lógica Prolog

• Moros y Cristianos (MyC)

• Ejercicios de cursos anteriores... y + cosas de Lógica

• Ejercicios de repaso con soluciones

• Examinadores con soluciones

• Curiosidades lógicas recomendadas por alumnos

• Actividades complementarias

• Redes de investigación docente

• Conferencias

• Concursos

• Premios

• Foros

• Libros interesantes

Mantenida por:
Componentes Red iLógica

© 2001-2007

      
  Departamento de Ciencia de
  la Computación e Inteligencia Artificial

  Universidad de Alicante
  Universitat d'Alacant