Creador:Francisco García Lillo
Categoría: Asignatura
Descripción:
El blog presentado a concurso tiene por objeto relatar la experiencia vivida como alumno de primer curso de la Licenciatura en Matemáticas de un estudiante de la UA, también Profesor Titular de ésta, nuestra Universidad, en el discurrir de la impartición de la asignatura “Lógica de Primer Orden” por parte de la profesora Dña. Mª Jesús Castel de Haro adscrita al Dpto. de Ciencia de la Computación e Inteligencia Artificial.
En él, además de tratar sobre ciertas cuestiones relativas a la Lógica de Primer Orden y otros Sistemas Lógicos, irán apareciendo enlaces de interés sobre dicha materia, recursos didácticos,curiosiodades, etc.
¿Sabías, por ejemplo, que …? Aristóteles fue el primero en establecer una clasificación de las ciencias, que dividió en teoréticas (matemáticas, fisica y metafísica), prácticas (ética, politica y economía) y poéticas (poética, retórica etc.).
En esta clasificación no se incluye la lógica, pues ésta viene a ser el instrumento para el recto discurrir de todas las demás.
La lógica y la metafísica fueron en verdad descubiertas por él, corrigiendo en aspectos fundamentales las teorias de Platón.
Tags:Lógica, LPO, Sistemas Lógicos, Lenguaje ProLog.