Inicial
Temas
Prácticas
Documentación
Sistemas
Exámenes
Exámenes de "Lógica informática"
Cursos anteriores
En
Soluciones de exámenes de Lógica informática
están resueltos los ejercicios de exámenes de años anteriores que se corresponden con el contenido del presente curso.
Curso 2004-2005
Primer parcial (Lógica proposicional):
Grupo 1:
teórico
y
práctico
.
Grupo 2:
teórico
y
práctico
.
Segundo parcial (Lógica de primer orden):
Grupo 1:
teórico
y
práctico
.
Grupo 2:
teórico
y
práctico
.
Examen de Junio
Examen de Septiembre
[
Inicial
|
Temas
|
Prácticas
|
Documentación
|
Sistemas
|
Exámenes
]
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 27-9-2005