DESCARGAR: PROGRAMACIÓN LÓGICA TEÓRICA Y PRÁCTICA.

DESCARGAR: PROGRAMACIÓN  LÓGICA TEÓRICA Y PRÁCTICA.

CONTENIDO.

1.- UNA PANORÁMICA DE LA PROGRAMACIÓN DECLARATIVA.

2.- SISTEMAS FORMALES, LÓGICA Y LENGUAJES DE PROGRAMACIÓN.

3.- DE LA DEMOSTRACIÓN AUTOMÁTICA A LA PROGRAMACIÓN LÓGICA I: INTRODUCCIÓN Y MÉTODOS SEMÁNTICOS.

4.- DE LA DEMOSTRACIÓN AUTOMÁTICA A LA PROGRAMACIÓN LÓGICA II: EL PRINCIPIO DE LA RESOLUCIÓN DE ROBINSON.

5.- PROGRAMACIÓN LÓGICA.

6.- EL LENGUAJE PROLOG: INTRODUCCIÓN.

7.- EL LENGUAJE PROLOG: ASPECTOS AVANZADOS.

8.- REPRESENTACIÓN DEL CONOCIMIENTO.

9.- RESOLUCIÓN DE PROBLEMAS.

10.- PROGRAMACIÓN LÓGICA Y TECNOLOGÍA SOFTWARE RIGUROSA.

11.- FUNDAMENTOS Y NOTACIONES MATEMÁTICAS.

EMPIEZA A GANAR DINERO CON PAIDVERTS.

GANAR DINERO ACORTANDO LINK CON LINKBUKS.