(Lógica
formal elemental)
|
 |
EQUIPO
DOCENTE
Dra. D.ª Pilar Castrillo.
Profesora Titular
Dra. D.ª Amparo Díez Martínez.
Profesora Asociada
OBJETIVOS
GENERALES DE LA ASIGNATURA
El objetivo de este primer curso de Lógica es doble: se
trata, por una parte, de adquirir un cierto dominio de los métodos y técnicas de
formalización y deducción de lo que constituye la lógica elemental o de primer orden y,
por otra, de lograr un grado de comprensión adecuado de los principales conceptos en
torno a los cuales se articula el discurso de esta materia, así como una familiarización
con los conceptos y principios básicos de algunos de los sitemas formales noclásicos
hoy en desarrollo. |
