![]() |
||
|
||
Asignaturas: 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:
|
© 2001-2007
|
||
|
||
|
||
|