Logica

Universidad de Castilla-La Mancha
Escuela Superior de Informática
Asignatura LO G I C A
ENSAYOS
L ISTA DE TE M AS
01 Aplicaciones de la lógica en los lenguajes deprogramación.
02 Aplicaciones de la lógica en la representación de conocimiento.
03 Aplicaciones de la lógica en la especificación de problemas.
04 Aplicaciones de la lógica en laverificación de software.
05 Aplicaciones de la lógica en la IA.
06 Aplicaciones de la lógica en la resolución de problemas cotidianos.
07 Aplicaciones de la lógica en la resolución depasatiempos.
08 Aplicaciones de la lógica en los juegos digitales.
09 Aplicaciones de la lógica en el uso de Internet.
10 Aplicaciones de la lógica en la búsqueda de informaciónen Internet.
11 Aplicaciones de la lógica en la búsqueda de información en bases de datos.
12 Aplicaciones de la lógica en la construcción y diseño de computadoras.
13Aplicaciones de la lógica en la telefonía digital y las comunicaciones.
14 Aplicaciones de la lógica en los robots.
15 Aplicaciones de la lógica en los sistemas automáticos de coches,aviones o barcos.
16 Historia de la Lógica: Época antigua (hasta el siglo IV).
17 Historia de la Lógica: Época medieval (desde el el siglo IV hasta 1492).
18 Historia de la Lógica.Época moderna (desde 1492 hasta 1850).
19 Historia de la Lógica. Época contemporánea (a partir de 1850 hasta nuestros dias).
20 Los principios de la Lógica Clásica.
21 Lógicasno clásicas.
22 Lógica e Informática.
23 Lógica y métodos formales en las ciencias de la computación.
24 Demostración automática de teoremas.
25 Lenguajes de programaciónlógica.
26 Lenguajes de programación funcional.
27 Lógica y lenguajes de especificación de problemas.
28 Materiales didácticos digitales para el aprendizaje de la Lógica.