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:


Mantenida por:
Componentes Red iLógica

© 2001-2007

 

      
  Departamento de Ciencia de
  la Computación e Inteligencia Artificial
English Castellano

  Universidad de Alicante
  Universitat d'Alacant